Safe Haskell	None
Language	Haskell2010

Circus.Types

Synopsis

newtype Schema = Schema {
- schemaModules :: Map ModuleName Module
}
data Module = Module {
- modulePorts :: Map PortName Port
- moduleCells :: Map CellName Cell
}
newtype ModuleName = ModuleName {
- getModuleName :: Text
}
newtype PortName = PortName {
- getPortName :: Text
}
newtype CellName = CellName {
- getCellName :: Text
}
data Port = Port {
- portDirection :: Direction
- portBits :: [Bit]
}
newtype Bit = Bit {
- getBit :: Int
}
data Cell = Cell {
- cellType :: CellType
- cellParameters :: Map Parameter Int
- cellAttributes :: Map Text Value
- cellPortDirections :: Map PortName Direction
- cellConnections :: Map PortName [Bit]
}
data Parameter
- = Width PortName
- | Signed PortName
data Direction
- = Input
- | Output
data CellType = CellGeneric Text
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
mkCell' :: CellType -> Map Text Value -> Map PortName (Direction, [Bit]) -> Cell

Documentation

newtype Schema Source #

A collection of modules.

Constructors

Schema
Fields schemaModules :: Map ModuleName Module

Instances

Instances details

Eq Schema Source #
Instance details Defined in Circus.Types Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Data Schema Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
Semigroup Schema Source #
Instance details Defined in Circus.Types Methods (<>) :: Schema -> Schema -> Schema # sconcat :: NonEmpty Schema -> Schema # stimes :: Integral b => b -> Schema -> Schema #
Monoid Schema Source #
Instance details Defined in Circus.Types Methods mempty :: Schema # mappend :: Schema -> Schema -> Schema # mconcat :: [Schema] -> Schema #
ToJSON Schema Source #
Instance details Defined in Circus.Types Methods toJSON :: Schema -> Value # toEncoding :: Schema -> Encoding # toJSONList :: [Schema] -> Value # toEncodingList :: [Schema] -> Encoding #
FromJSON Schema Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Schema # parseJSONList :: Value -> Parser [Schema] #

data Module Source #

Constructors

Module
Fields modulePorts :: Map PortName Port Inputs and outputs moduleCells :: Map CellName Cell Components

Instances

Instances details

Eq Module Source #
Instance details Defined in Circus.Types Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Data Module Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Semigroup Module Source #
Instance details Defined in Circus.Types Methods (<>) :: Module -> Module -> Module # sconcat :: NonEmpty Module -> Module # stimes :: Integral b => b -> Module -> Module #
Monoid Module Source #
Instance details Defined in Circus.Types Methods mempty :: Module # mappend :: Module -> Module -> Module # mconcat :: [Module] -> Module #
ToJSON Module Source #
Instance details Defined in Circus.Types Methods toJSON :: Module -> Value # toEncoding :: Module -> Encoding # toJSONList :: [Module] -> Value # toEncodingList :: [Module] -> Encoding #
FromJSON Module Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Module # parseJSONList :: Value -> Parser [Module] #

newtype ModuleName Source #

Constructors

ModuleName
Fields getModuleName :: Text

Instances

Instances details

Eq ModuleName Source #
Instance details Defined in Circus.Types Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Data ModuleName Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #
IsString ModuleName Source #
Instance details Defined in Circus.Types Methods fromString :: String -> ModuleName #
ToJSON ModuleName Source #
Instance details Defined in Circus.Types Methods toJSON :: ModuleName -> Value # toEncoding :: ModuleName -> Encoding # toJSONList :: [ModuleName] -> Value # toEncodingList :: [ModuleName] -> Encoding #
ToJSONKey ModuleName Source #
Instance details Defined in Circus.Types Methods toJSONKey :: ToJSONKeyFunction ModuleName # toJSONKeyList :: ToJSONKeyFunction [ModuleName] #
FromJSON ModuleName Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser ModuleName # parseJSONList :: Value -> Parser [ModuleName] #
FromJSONKey ModuleName Source #
Instance details Defined in Circus.Types Methods fromJSONKey :: FromJSONKeyFunction ModuleName # fromJSONKeyList :: FromJSONKeyFunction [ModuleName] #

newtype PortName Source #

Constructors

PortName
Fields getPortName :: Text

Instances

Instances details

Eq PortName Source #
Instance details Defined in Circus.Types Methods (==) :: PortName -> PortName -> Bool # (/=) :: PortName -> PortName -> Bool #
Data PortName Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> PortName -> ShowS # show :: PortName -> String # showList :: [PortName] -> ShowS #
IsString PortName Source #
Instance details Defined in Circus.Types Methods fromString :: String -> PortName #
ToJSON PortName Source #
Instance details Defined in Circus.Types Methods toJSON :: PortName -> Value # toEncoding :: PortName -> Encoding # toJSONList :: [PortName] -> Value # toEncodingList :: [PortName] -> Encoding #
ToJSONKey PortName Source #
Instance details Defined in Circus.Types Methods toJSONKey :: ToJSONKeyFunction PortName # toJSONKeyList :: ToJSONKeyFunction [PortName] #
FromJSON PortName Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser PortName # parseJSONList :: Value -> Parser [PortName] #
FromJSONKey PortName Source #
Instance details Defined in Circus.Types Methods fromJSONKey :: FromJSONKeyFunction PortName # fromJSONKeyList :: FromJSONKeyFunction [PortName] #

newtype CellName Source #

Constructors

CellName
Fields getCellName :: Text

Instances

Instances details

Eq CellName Source #
Instance details Defined in Circus.Types Methods (==) :: CellName -> CellName -> Bool # (/=) :: CellName -> CellName -> Bool #
Data CellName Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> CellName -> ShowS # show :: CellName -> String # showList :: [CellName] -> ShowS #
IsString CellName Source #
Instance details Defined in Circus.Types Methods fromString :: String -> CellName #
ToJSON CellName Source #
Instance details Defined in Circus.Types Methods toJSON :: CellName -> Value # toEncoding :: CellName -> Encoding # toJSONList :: [CellName] -> Value # toEncodingList :: [CellName] -> Encoding #
ToJSONKey CellName Source #
Instance details Defined in Circus.Types Methods toJSONKey :: ToJSONKeyFunction CellName # toJSONKeyList :: ToJSONKeyFunction [CellName] #
FromJSON CellName Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser CellName # parseJSONList :: Value -> Parser [CellName] #
FromJSONKey CellName Source #
Instance details Defined in Circus.Types Methods fromJSONKey :: FromJSONKeyFunction CellName # fromJSONKeyList :: FromJSONKeyFunction [CellName] #

data Port Source #

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

Instances details

Eq Port Source #
Instance details Defined in Circus.Types Methods (==) :: Port -> Port -> Bool # (/=) :: Port -> Port -> Bool #
Data Port Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Port -> ShowS # show :: Port -> String # showList :: [Port] -> ShowS #
ToJSON Port Source #
Instance details Defined in Circus.Types Methods toJSON :: Port -> Value # toEncoding :: Port -> Encoding # toJSONList :: [Port] -> Value # toEncodingList :: [Port] -> Encoding #
FromJSON Port Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Port # parseJSONList :: Value -> Parser [Port] #

newtype Bit Source #

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

Instances details

Eq Bit Source #
Instance details Defined in Circus.Types Methods (==) :: Bit -> Bit -> Bool # (/=) :: Bit -> Bit -> Bool #
Data Bit Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Bit -> ShowS # show :: Bit -> String # showList :: [Bit] -> ShowS #
ToJSON Bit Source #
Instance details Defined in Circus.Types Methods toJSON :: Bit -> Value # toEncoding :: Bit -> Encoding # toJSONList :: [Bit] -> Value # toEncodingList :: [Bit] -> Encoding #
FromJSON Bit Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Bit # parseJSONList :: Value -> Parser [Bit] #

data Cell Source #

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

Instances details

Eq Cell Source #
Instance details Defined in Circus.Types Methods (==) :: Cell -> Cell -> Bool # (/=) :: Cell -> Cell -> Bool #
Data Cell Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Cell -> ShowS # show :: Cell -> String # showList :: [Cell] -> ShowS #
ToJSON Cell Source #
Instance details Defined in Circus.Types Methods toJSON :: Cell -> Value # toEncoding :: Cell -> Encoding # toJSONList :: [Cell] -> Value # toEncodingList :: [Cell] -> Encoding #
FromJSON Cell Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Cell # parseJSONList :: Value -> Parser [Cell] #

data Parameter Source #

Constructors

Width PortName	How many bits wide is the given `Port`?
Signed PortName	Is the given `Port` signed?

Instances

Instances details

Eq Parameter Source #
Instance details Defined in Circus.Types Methods (==) :: Parameter -> Parameter -> Bool # (/=) :: Parameter -> Parameter -> Bool #
Data Parameter Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #
Generic Parameter Source #
Instance details Defined in Circus.Types Associated Types type Rep Parameter :: Type -> Type # Methods from :: Parameter -> Rep Parameter x # to :: Rep Parameter x -> Parameter #
ToJSON Parameter Source #
Instance details Defined in Circus.Types Methods toJSON :: Parameter -> Value # toEncoding :: Parameter -> Encoding # toJSONList :: [Parameter] -> Value # toEncodingList :: [Parameter] -> Encoding #
ToJSONKey Parameter Source #
Instance details Defined in Circus.Types Methods toJSONKey :: ToJSONKeyFunction Parameter # toJSONKeyList :: ToJSONKeyFunction [Parameter] #
FromJSON Parameter Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Parameter # parseJSONList :: Value -> Parser [Parameter] #
FromJSONKey Parameter Source #
Instance details Defined in Circus.Types Methods fromJSONKey :: FromJSONKeyFunction Parameter # fromJSONKeyList :: FromJSONKeyFunction [Parameter] #
type Rep Parameter Source #
Instance details 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 Source #

Constructors

Input
Output

Instances

Instances details

Bounded Direction Source #
Instance details Defined in Circus.Types Methods minBound :: Direction # maxBound :: Direction #
Enum Direction Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Data Direction Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods readsPrec :: Int -> ReadS Direction # readList :: ReadS [Direction] # readPrec :: ReadPrec Direction # readListPrec :: ReadPrec [Direction] #
Show Direction Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
ToJSON Direction Source #
Instance details Defined in Circus.Types Methods toJSON :: Direction -> Value # toEncoding :: Direction -> Encoding # toJSONList :: [Direction] -> Value # toEncodingList :: [Direction] -> Encoding #
FromJSON Direction Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser Direction # parseJSONList :: Value -> Parser [Direction] #

data CellType Source #

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

Instances details

Eq CellType Source #
Instance details Defined in Circus.Types Methods (==) :: CellType -> CellType -> Bool # (/=) :: CellType -> CellType -> Bool #
Data CellType Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Circus.Types Methods showsPrec :: Int -> CellType -> ShowS # show :: CellType -> String # showList :: [CellType] -> ShowS #
ToJSON CellType Source #
Instance details Defined in Circus.Types Methods toJSON :: CellType -> Value # toEncoding :: CellType -> Encoding # toJSONList :: [CellType] -> Value # toEncodingList :: [CellType] -> Encoding #
FromJSON CellType Source #
Instance details Defined in Circus.Types Methods parseJSON :: Value -> Parser CellType # parseJSONList :: Value -> Parser [CellType] #