Circus.Types

Documentation

newtype Schema

A collection of modules.

Constructors

Schema

Fields

• schemaModules :: Map ModuleName Module

Instances

Eq Schema

Defined in Circus.Types

Methods

(==) :: Schema -> Schema -> Bool

(/=) :: Schema -> Schema -> Bool

Data Schema

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Schema -> c Schema

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Schema

toConstr :: Schema -> Constr

dataTypeOf :: Schema -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Schema)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Schema)

gmapT :: (forall b. Data b => b -> b) -> Schema -> Schema

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r

gmapQ :: (forall d. Data d => d -> u) -> Schema -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Schema -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Schema -> m Schema

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema

Show Schema

Defined in Circus.Types

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Semigroup Schema

Defined in Circus.Types

Methods

(<>) :: Schema -> Schema -> Schema

sconcat :: NonEmpty Schema -> Schema

stimes :: Integral b => b -> Schema -> Schema

Monoid Schema

Defined in Circus.Types

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

ToJSON Schema

Defined in Circus.Types

Methods

toJSON :: Schema -> Value

toEncoding :: Schema -> Encoding

toJSONList :: [Schema] -> Value

toEncodingList :: [Schema] -> Encoding

FromJSON Schema

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Schema

parseJSONList :: Value -> Parser [Schema]

data Module

Constructors

Module

Fields

• modulePorts :: Map PortName Port

  Inputs and outputs

• moduleCells :: Map CellName Cell

  Components

Instances

Eq Module

Defined in Circus.Types

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Data Module

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module

toConstr :: Module -> Constr

dataTypeOf :: Module -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Module)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module)

gmapT :: (forall b. Data b => b -> b) -> Module -> Module

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r

gmapQ :: (forall d. Data d => d -> u) -> Module -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module

Show Module

Defined in Circus.Types

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

Semigroup Module

Defined in Circus.Types

Methods

(<>) :: Module -> Module -> Module

sconcat :: NonEmpty Module -> Module

stimes :: Integral b => b -> Module -> Module

Monoid Module

Defined in Circus.Types

Methods

mempty :: Module

mappend :: Module -> Module -> Module

mconcat :: [Module] -> Module

ToJSON Module

Defined in Circus.Types

Methods

toJSON :: Module -> Value

toEncoding :: Module -> Encoding

toJSONList :: [Module] -> Value

toEncodingList :: [Module] -> Encoding

FromJSON Module

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Module

parseJSONList :: Value -> Parser [Module]

newtype ModuleName

Constructors

ModuleName

Fields

• getModuleName :: Text

Instances

Eq ModuleName

Defined in Circus.Types

Methods

(==) :: ModuleName -> ModuleName -> Bool

(/=) :: ModuleName -> ModuleName -> Bool

Data ModuleName

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleName -> c ModuleName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleName

toConstr :: ModuleName -> Constr

dataTypeOf :: ModuleName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleName)

gmapT :: (forall b. Data b => b -> b) -> ModuleName -> ModuleName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r

gmapQ :: (forall d. Data d => d -> u) -> ModuleName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName

Ord ModuleName

Defined in Circus.Types

Methods

compare :: ModuleName -> ModuleName -> Ordering

(<) :: ModuleName -> ModuleName -> Bool

(<=) :: ModuleName -> ModuleName -> Bool

(>) :: ModuleName -> ModuleName -> Bool

(>=) :: ModuleName -> ModuleName -> Bool

max :: ModuleName -> ModuleName -> ModuleName

min :: ModuleName -> ModuleName -> ModuleName

Show ModuleName

Defined in Circus.Types

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

IsString ModuleName

Defined in Circus.Types

Methods

fromString :: String -> ModuleName

ToJSON ModuleName

Defined in Circus.Types

Methods

toJSON :: ModuleName -> Value

toEncoding :: ModuleName -> Encoding

toJSONList :: [ModuleName] -> Value

toEncodingList :: [ModuleName] -> Encoding

ToJSONKey ModuleName

Defined in Circus.Types

Methods

toJSONKey :: ToJSONKeyFunction ModuleName

toJSONKeyList :: ToJSONKeyFunction [ModuleName]

FromJSON ModuleName

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser ModuleName

parseJSONList :: Value -> Parser [ModuleName]

FromJSONKey ModuleName

Defined in Circus.Types

Methods

fromJSONKey :: FromJSONKeyFunction ModuleName

fromJSONKeyList :: FromJSONKeyFunction [ModuleName]

newtype PortName

Constructors

PortName

Fields

• getPortName :: Text

Instances

Eq PortName

Defined in Circus.Types

Methods

(==) :: PortName -> PortName -> Bool

(/=) :: PortName -> PortName -> Bool

Data PortName

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PortName -> c PortName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PortName

toConstr :: PortName -> Constr

dataTypeOf :: PortName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PortName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PortName)

gmapT :: (forall b. Data b => b -> b) -> PortName -> PortName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PortName -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PortName -> r

gmapQ :: (forall d. Data d => d -> u) -> PortName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PortName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PortName -> m PortName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PortName -> m PortName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PortName -> m PortName

Ord PortName

Defined in Circus.Types

Methods

compare :: PortName -> PortName -> Ordering

(<) :: PortName -> PortName -> Bool

(<=) :: PortName -> PortName -> Bool

(>) :: PortName -> PortName -> Bool

(>=) :: PortName -> PortName -> Bool

max :: PortName -> PortName -> PortName

min :: PortName -> PortName -> PortName

Show PortName

Defined in Circus.Types

Methods

showsPrec :: Int -> PortName -> ShowS

show :: PortName -> String

showList :: [PortName] -> ShowS

IsString PortName

Defined in Circus.Types

Methods

fromString :: String -> PortName

ToJSON PortName

Defined in Circus.Types

Methods

toJSON :: PortName -> Value

toEncoding :: PortName -> Encoding

toJSONList :: [PortName] -> Value

toEncodingList :: [PortName] -> Encoding

ToJSONKey PortName

Defined in Circus.Types

Methods

toJSONKey :: ToJSONKeyFunction PortName

toJSONKeyList :: ToJSONKeyFunction [PortName]

FromJSON PortName

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser PortName

parseJSONList :: Value -> Parser [PortName]

FromJSONKey PortName

Defined in Circus.Types

Methods

fromJSONKey :: FromJSONKeyFunction PortName

fromJSONKeyList :: FromJSONKeyFunction [PortName]

newtype CellName

Constructors

CellName

Fields

• getCellName :: Text

Instances

Eq CellName

Defined in Circus.Types

Methods

(==) :: CellName -> CellName -> Bool

(/=) :: CellName -> CellName -> Bool

Data CellName

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CellName -> c CellName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellName

toConstr :: CellName -> Constr

dataTypeOf :: CellName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellName)

gmapT :: (forall b. Data b => b -> b) -> CellName -> CellName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellName -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellName -> r

gmapQ :: (forall d. Data d => d -> u) -> CellName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CellName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellName -> m CellName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellName -> m CellName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellName -> m CellName

Ord CellName

Defined in Circus.Types

Methods

compare :: CellName -> CellName -> Ordering

(<) :: CellName -> CellName -> Bool

(<=) :: CellName -> CellName -> Bool

(>) :: CellName -> CellName -> Bool

(>=) :: CellName -> CellName -> Bool

max :: CellName -> CellName -> CellName

min :: CellName -> CellName -> CellName

Show CellName

Defined in Circus.Types

Methods

showsPrec :: Int -> CellName -> ShowS

show :: CellName -> String

showList :: [CellName] -> ShowS

IsString CellName

Defined in Circus.Types

Methods

fromString :: String -> CellName

ToJSON CellName

Defined in Circus.Types

Methods

toJSON :: CellName -> Value

toEncoding :: CellName -> Encoding

toJSONList :: [CellName] -> Value

toEncodingList :: [CellName] -> Encoding

ToJSONKey CellName

Defined in Circus.Types

Methods

toJSONKey :: ToJSONKeyFunction CellName

toJSONKeyList :: ToJSONKeyFunction [CellName]

FromJSON CellName

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser CellName

parseJSONList :: Value -> Parser [CellName]

FromJSONKey CellName

Defined in Circus.Types

Methods

fromJSONKey :: FromJSONKeyFunction CellName

fromJSONKeyList :: FromJSONKeyFunction [CellName]

data Port

Constructors

Port

Fields

• portDirection :: Direction

  Whether this port is an input or an output

• portBits :: [Bit]

  The individual wires connected to this port. They are numbered in the same order they are described here.

Instances

Eq Port

Defined in Circus.Types

Methods

(==) :: Port -> Port -> Bool

(/=) :: Port -> Port -> Bool

Data Port

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Port -> c Port

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Port

toConstr :: Port -> Constr

dataTypeOf :: Port -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Port)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Port)

gmapT :: (forall b. Data b => b -> b) -> Port -> Port

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Port -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Port -> r

gmapQ :: (forall d. Data d => d -> u) -> Port -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Port -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Port -> m Port

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Port -> m Port

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Port -> m Port

Show Port

Defined in Circus.Types

Methods

showsPrec :: Int -> Port -> ShowS

show :: Port -> String

showList :: [Port] -> ShowS

ToJSON Port

Defined in Circus.Types

Methods

toJSON :: Port -> Value

toEncoding :: Port -> Encoding

toJSONList :: [Port] -> Value

toEncodingList :: [Port] -> Encoding

FromJSON Port

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Port

parseJSONList :: Value -> Parser [Port]

newtype Bit

A single wire. Bits are defined implicitly by a unique ID. Every component that references the bit will be connected with a common node.

Constructors

Bit

Fields

• getBit :: Int

Instances

Eq Bit

Defined in Circus.Types

Methods

(==) :: Bit -> Bit -> Bool

(/=) :: Bit -> Bit -> Bool

Data Bit

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bit -> c Bit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bit

toConstr :: Bit -> Constr

dataTypeOf :: Bit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bit)

gmapT :: (forall b. Data b => b -> b) -> Bit -> Bit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r

gmapQ :: (forall d. Data d => d -> u) -> Bit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bit -> m Bit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit

Num Bit

Defined in Circus.Types

Methods

(+) :: Bit -> Bit -> Bit

(-) :: Bit -> Bit -> Bit

(*) :: Bit -> Bit -> Bit

negate :: Bit -> Bit

abs :: Bit -> Bit

signum :: Bit -> Bit

fromInteger :: Integer -> Bit

Ord Bit

Defined in Circus.Types

Methods

compare :: Bit -> Bit -> Ordering

(<) :: Bit -> Bit -> Bool

(<=) :: Bit -> Bit -> Bool

(>) :: Bit -> Bit -> Bool

(>=) :: Bit -> Bit -> Bool

max :: Bit -> Bit -> Bit

min :: Bit -> Bit -> Bit

Show Bit

Defined in Circus.Types

Methods

showsPrec :: Int -> Bit -> ShowS

show :: Bit -> String

showList :: [Bit] -> ShowS

ToJSON Bit

Defined in Circus.Types

Methods

toJSON :: Bit -> Value

toEncoding :: Bit -> Encoding

toJSONList :: [Bit] -> Value

toEncodingList :: [Bit] -> Encoding

FromJSON Bit

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Bit

parseJSONList :: Value -> Parser [Bit]

data Cell

Constructors

Cell

Fields

• cellType :: CellType

  The symbol to use when drawing this cell.

• cellParameters :: Map Parameter Int
• cellAttributes :: Map Text Value
• cellPortDirections :: Map PortName Direction

  Which ports are inputs and outputs.

• cellConnections :: Map PortName [Bit]

  What are the ports connected to? Each port may connect to several bits, but make sure you set the Width cell Parameter if this is the case.

Instances

Eq Cell

Defined in Circus.Types

Methods

(==) :: Cell -> Cell -> Bool

(/=) :: Cell -> Cell -> Bool

Data Cell

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Cell -> c Cell

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cell

toConstr :: Cell -> Constr

dataTypeOf :: Cell -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cell)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Cell)

gmapT :: (forall b. Data b => b -> b) -> Cell -> Cell

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cell -> r

gmapQ :: (forall d. Data d => d -> u) -> Cell -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cell -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cell -> m Cell

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cell -> m Cell

Show Cell

Defined in Circus.Types

Methods

showsPrec :: Int -> Cell -> ShowS

show :: Cell -> String

showList :: [Cell] -> ShowS

ToJSON Cell

Defined in Circus.Types

Methods

toJSON :: Cell -> Value

toEncoding :: Cell -> Encoding

toJSONList :: [Cell] -> Value

toEncodingList :: [Cell] -> Encoding

FromJSON Cell

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Cell

parseJSONList :: Value -> Parser [Cell]

data Parameter

Constructors

Width PortName

How many bits wide is the given Port?

Signed PortName

Is the given Port signed?

Instances

Eq Parameter

Defined in Circus.Types

Methods

(==) :: Parameter -> Parameter -> Bool

(/=) :: Parameter -> Parameter -> Bool

Data Parameter

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Parameter -> c Parameter

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Parameter

toConstr :: Parameter -> Constr

dataTypeOf :: Parameter -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Parameter)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Parameter)

gmapT :: (forall b. Data b => b -> b) -> Parameter -> Parameter

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQ :: (forall d. Data d => d -> u) -> Parameter -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Parameter -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

Ord Parameter

Defined in Circus.Types

Methods

compare :: Parameter -> Parameter -> Ordering

(<) :: Parameter -> Parameter -> Bool

(<=) :: Parameter -> Parameter -> Bool

(>) :: Parameter -> Parameter -> Bool

(>=) :: Parameter -> Parameter -> Bool

max :: Parameter -> Parameter -> Parameter

min :: Parameter -> Parameter -> Parameter

Show Parameter

Defined in Circus.Types

Methods

showsPrec :: Int -> Parameter -> ShowS

show :: Parameter -> String

showList :: [Parameter] -> ShowS

Generic Parameter

Defined in Circus.Types

Associated Types

type Rep Parameter :: Type -> Type

Methods

from :: Parameter -> Rep Parameter x

to :: Rep Parameter x -> Parameter

ToJSON Parameter

Defined in Circus.Types

Methods

toJSON :: Parameter -> Value

toEncoding :: Parameter -> Encoding

toJSONList :: [Parameter] -> Value

toEncodingList :: [Parameter] -> Encoding

ToJSONKey Parameter

Defined in Circus.Types

Methods

toJSONKey :: ToJSONKeyFunction Parameter

toJSONKeyList :: ToJSONKeyFunction [Parameter]

FromJSON Parameter

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Parameter

parseJSONList :: Value -> Parser [Parameter]

FromJSONKey Parameter

Defined in Circus.Types

Methods

fromJSONKey :: FromJSONKeyFunction Parameter

fromJSONKeyList :: FromJSONKeyFunction [Parameter]

type Rep Parameter

Defined in Circus.Types

type Rep Parameter = D1 ('MetaData "Parameter" "Circus.Types" "circus-0.1.0.0-7gwvoNsbnBR3ebwlAtgx3C" 'False) (C1 ('MetaCons "Width" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PortName)) :+: C1 ('MetaCons "Signed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PortName)))

data Direction

Constructors

Input

Output

Instances

Bounded Direction

Defined in Circus.Types

Methods

minBound :: Direction

maxBound :: Direction

Enum Direction

Defined in Circus.Types

Methods

succ :: Direction -> Direction

pred :: Direction -> Direction

toEnum :: Int -> Direction

fromEnum :: Direction -> Int

enumFrom :: Direction -> [Direction]

enumFromThen :: Direction -> Direction -> [Direction]

enumFromTo :: Direction -> Direction -> [Direction]

enumFromThenTo :: Direction -> Direction -> Direction -> [Direction]

Eq Direction

Defined in Circus.Types

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

Data Direction

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Direction -> c Direction

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Direction

toConstr :: Direction -> Constr

dataTypeOf :: Direction -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Direction)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Direction)

gmapT :: (forall b. Data b => b -> b) -> Direction -> Direction

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Direction -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Direction -> r

gmapQ :: (forall d. Data d => d -> u) -> Direction -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Direction -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Direction -> m Direction

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Direction -> m Direction

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Direction -> m Direction

Ord Direction

Defined in Circus.Types

Methods

compare :: Direction -> Direction -> Ordering

(<) :: Direction -> Direction -> Bool

(<=) :: Direction -> Direction -> Bool

(>) :: Direction -> Direction -> Bool

(>=) :: Direction -> Direction -> Bool

max :: Direction -> Direction -> Direction

min :: Direction -> Direction -> Direction

Read Direction

Defined in Circus.Types

Methods

readsPrec :: Int -> ReadS Direction

readList :: ReadS [Direction]

readPrec :: ReadPrec Direction

readListPrec :: ReadPrec [Direction]

Show Direction

Defined in Circus.Types

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

ToJSON Direction

Defined in Circus.Types

Methods

toJSON :: Direction -> Value

toEncoding :: Direction -> Encoding

toJSONList :: [Direction] -> Value

toEncodingList :: [Direction] -> Encoding

FromJSON Direction

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser Direction

parseJSONList :: Value -> Parser [Direction]

data CellType

Master list of cells, and their associated names is available here:

https://raw.githubusercontent.com/nturley/netlistsvg/master/lib/default.svg?sanitize=true

Constructors

CellGeneric Text

Instances

Eq CellType

Defined in Circus.Types

Methods

(==) :: CellType -> CellType -> Bool

(/=) :: CellType -> CellType -> Bool

Data CellType

Defined in Circus.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CellType -> c CellType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellType

toConstr :: CellType -> Constr

dataTypeOf :: CellType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellType)

gmapT :: (forall b. Data b => b -> b) -> CellType -> CellType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellType -> r

gmapQ :: (forall d. Data d => d -> u) -> CellType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CellType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellType -> m CellType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellType -> m CellType

Ord CellType

Defined in Circus.Types

Methods

compare :: CellType -> CellType -> Ordering

(<) :: CellType -> CellType -> Bool

(<=) :: CellType -> CellType -> Bool

(>) :: CellType -> CellType -> Bool

(>=) :: CellType -> CellType -> Bool

max :: CellType -> CellType -> CellType

min :: CellType -> CellType -> CellType

Show CellType

Defined in Circus.Types

Methods

showsPrec :: Int -> CellType -> ShowS

show :: CellType -> String

showList :: [CellType] -> ShowS

ToJSON CellType

Defined in Circus.Types

Methods

toJSON :: CellType -> Value

toEncoding :: CellType -> Encoding

toJSONList :: [CellType] -> Value

toEncodingList :: [CellType] -> Encoding

FromJSON CellType

Defined in Circus.Types

Methods

parseJSON :: Value -> Parser CellType

parseJSONList :: Value -> Parser [CellType]

pattern CellMux :: CellType

pattern CellMuxBus :: CellType

pattern CellTribuf :: CellType

pattern CellAnd :: CellType

pattern CellOr :: CellType

pattern CellNand :: CellType

pattern CellNor :: CellType

pattern CellXor :: CellType

pattern CellXnor :: CellType

pattern CellNot :: CellType

pattern CellAdd :: CellType

pattern CellEq :: CellType

pattern CellDff :: CellType

pattern CellDffn :: CellType

pattern CellLt :: CellType

pattern CellGe :: CellType

pattern CellConstant :: CellType

renderModuleBS :: Module -> ByteString

renderModuleString :: Module -> String

mkCell :: CellType -> Map PortName (Direction, [Bit]) -> Cell

Helper function for constructing Cells.

mkCell'

Arguments

:: CellType

-> Map Text Value

Attributes

-> Map PortName (Direction, [Bit])

-> Cell

Helper function for constructing Cells with explicit attributes.