| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Circus.DSL
Synopsis
- data GraphState = GraphState {
- gs_next_port :: Bit
- gs_module :: Module
- freshBit :: MonadState GraphState m => m Bit
- addCell :: MonadState GraphState m => Cell -> m ()
- unifyBitsPure :: Data a => Map Bit Bit -> a -> a
- unifyBits :: MonadState GraphState m => Map Bit Bit -> m ()
Documentation
data GraphState Source #
Constructors
| GraphState | |
Fields
| |
Instances
| Generic GraphState Source # | |
Defined in Circus.DSL Associated Types type Rep GraphState :: Type -> Type # | |
| Semigroup GraphState Source # | |
Defined in Circus.DSL Methods (<>) :: GraphState -> GraphState -> GraphState # sconcat :: NonEmpty GraphState -> GraphState # stimes :: Integral b => b -> GraphState -> GraphState # | |
| Monoid GraphState Source # | |
Defined in Circus.DSL Methods mempty :: GraphState # mappend :: GraphState -> GraphState -> GraphState # mconcat :: [GraphState] -> GraphState # | |
| type Rep GraphState Source # | |
Defined in Circus.DSL type Rep GraphState = D1 ('MetaData "GraphState" "Circus.DSL" "circus-0.1.0.0-7gwvoNsbnBR3ebwlAtgx3C" 'False) (C1 ('MetaCons "GraphState" 'PrefixI 'True) (S1 ('MetaSel ('Just "gs_next_port") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit) :*: S1 ('MetaSel ('Just "gs_module") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module))) | |
freshBit :: MonadState GraphState m => m Bit Source #
addCell :: MonadState GraphState m => Cell -> m () Source #
unifyBitsPure :: Data a => Map Bit Bit -> a -> a Source #
Like unifyBits, but works in pure contexts.
unifyBits :: MonadState GraphState m => Map Bit Bit -> m () Source #