Copyright	(C) 2012-2016 University of Twente 2017 Myrtle Software Ltd 2017-2018 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Netlist.Types

Description

Type and instance definitions for Netlist modules

Synopsis

data Declaration where
- Assignment !Identifier !Expr
- CondAssignment !Identifier !HWType !Expr !HWType [(Maybe Literal, Expr)]
- InstDecl EntityOrComponent (Maybe Comment) !Identifier !Identifier [(Expr, HWType, Expr)] [(Expr, PortDirection, HWType, Expr)]
- BlackBoxD !Text [BlackBoxTemplate] [BlackBoxTemplate] [((Text, Text), BlackBox)] !BlackBox BlackBoxContext
- NetDecl' (Maybe Comment) WireOrReg !Identifier (Either Identifier HWType)
- TickDecl Comment
- pattern NetDecl :: Maybe Comment -> Identifier -> HWType -> Declaration
newtype NetlistMonad a = NetlistMonad {
- runNetlist :: StateT NetlistState (ReaderT NetlistEnv IO) a
}
data BlackBox
- = BBTemplate BlackBoxTemplate
- | BBFunction BBName BBHash TemplateFunction
data Expr
- = Literal !(Maybe (HWType, Size)) !Literal
- | DataCon !HWType !Modifier [Expr]
- | Identifier !Identifier !(Maybe Modifier)
- | DataTag !HWType !(Either Identifier Identifier)
- | BlackBoxE !Text [BlackBoxTemplate] [BlackBoxTemplate] [((Text, Text), BlackBox)] !BlackBox !BlackBoxContext !Bool
- | ConvBV (Maybe Identifier) HWType Bool Expr
- | IfThenElse Expr Expr Expr
data Component = Component {
- componentName :: !Identifier
- inputs :: [(Identifier, HWType)]
- outputs :: [(WireOrReg, (Identifier, HWType))]
- declarations :: [Declaration]
}
data Declaration
- = Assignment !Identifier !Expr
- | CondAssignment !Identifier !HWType !Expr !HWType [(Maybe Literal, Expr)]
- | InstDecl EntityOrComponent (Maybe Comment) !Identifier !Identifier [(Expr, HWType, Expr)] [(Expr, PortDirection, HWType, Expr)]
- | BlackBoxD !Text [BlackBoxTemplate] [BlackBoxTemplate] [((Text, Text), BlackBox)] !BlackBox BlackBoxContext
- | NetDecl' (Maybe Comment) WireOrReg !Identifier (Either Identifier HWType)
- | TickDecl Comment
data HWType
- = Void (Maybe HWType)
- | String
- | Integer
- | Bool
- | Bit
- | BitVector !Size
- | Index !Integer
- | Signed !Size
- | Unsigned !Size
- | Vector !Size !HWType
- | RTree !Size !HWType
- | Sum !Identifier [Identifier]
- | Product !Identifier (Maybe [Text]) [HWType]
- | SP !Identifier [(Identifier, [HWType])]
- | Clock !Identifier
- | Reset !Identifier
- | BiDirectional !PortDirection !HWType
- | CustomSP !Identifier !DataRepr' !Size [(ConstrRepr', Identifier, [HWType])]
- | CustomSum !Identifier !DataRepr' !Size [(ConstrRepr', Identifier)]
- | Annotated [Attr'] !HWType
- | KnownDomain !Identifier !Integer !ActiveEdge !ResetKind !InitBehavior !ResetPolarity
type Identifier = Text
data TemplateFunction where
- TemplateFunction :: [Int] -> (BlackBoxContext -> Bool) -> (forall s. Backend s => BlackBoxContext -> State s Doc) -> TemplateFunction
type BBHash = Int
type BBName = String
data BlackBoxContext = Context {
- bbName :: Text
- bbResult :: (Expr, HWType)
- bbInputs :: [(Expr, HWType, Bool)]
- bbFunctions :: IntMap (Either BlackBox (Identifier, [Declaration]), WireOrReg, [BlackBoxTemplate], [BlackBoxTemplate], [((Text, Text), BlackBox)], BlackBoxContext)
- bbQsysIncName :: [Identifier]
- bbLevel :: Int
- bbCompName :: Identifier
}
data Bit
- = H
- | L
- | U
- | Z
data Literal
- = NumLit !Integer
- | BitLit !Bit
- | BitVecLit !Integer !Integer
- | BoolLit !Bool
- | VecLit [Literal]
- | StringLit !String
data Modifier
- = Indexed (HWType, Int, Int)
- | DC (HWType, Int)
- | VecAppend
- | RTreeAppend
- | Sliced (HWType, Int, Int)
- | Nested Modifier Modifier
data PortDirection
- = In
- | Out
data WireOrReg
- = Wire
- | Reg
data EntityOrComponent
- = Entity
- | Comp
- | Empty
data FilteredHWType = FilteredHWType HWType [[(IsVoid, FilteredHWType)]]
type IsVoid = Bool
type Size = Int
type Comment = Text
data NetlistState = NetlistState {
- _bindings :: BindingMap
- _varCount :: !Int
- _components :: VarEnv ([Bool], SrcSpan, HashMap Identifier Word, Component)
- _primitives :: CompiledPrimMap
- _typeTranslator :: CustomReprs -> TyConMap -> Type -> State HWMap (Maybe (Either String FilteredHWType))
- _tcCache :: TyConMap
- _curCompNm :: !(Identifier, SrcSpan)
- _intWidth :: Int
- _mkIdentifierFn :: IdType -> Identifier -> Identifier
- _extendIdentifierFn :: IdType -> Identifier -> Identifier -> Identifier
- _seenIds :: HashMap Identifier Word
- _seenComps :: HashMap Identifier Word
- _seenPrimitives :: Set Text
- _componentNames :: VarEnv Identifier
- _topEntityAnns :: VarEnv (Type, Maybe TopEntity)
- _hdlDir :: FilePath
- _curBBlvl :: Int
- _componentPrefix :: (Maybe Identifier, Maybe Identifier)
- _customReprs :: CustomReprs
- _clashOpts :: ClashOpts
- _isTestBench :: Bool
- _backEndITE :: Bool
- _htyCache :: HWMap
}
data NetlistEnv = NetlistEnv {
- _prefixName :: Identifier
- _suffixName :: Identifier
- _setName :: Maybe Identifier
}
type HWMap = HashMap Type (Either String FilteredHWType)
pattern NetDecl :: Maybe Comment -> Identifier -> HWType -> Declaration
hwTypeAttrs :: HWType -> [Attr']
toBit :: Integer -> Integer -> Bit
emptyBBContext :: Text -> BlackBoxContext
prefixName :: Lens' NetlistEnv Identifier
setName :: Lens' NetlistEnv (Maybe Identifier)
suffixName :: Lens' NetlistEnv Identifier
backEndITE :: Lens' NetlistState Bool
bindings :: Lens' NetlistState BindingMap
clashOpts :: Lens' NetlistState ClashOpts
componentNames :: Lens' NetlistState (VarEnv Identifier)
componentPrefix :: Lens' NetlistState (Maybe Identifier, Maybe Identifier)
components :: Lens' NetlistState (VarEnv ([Bool], SrcSpan, HashMap Identifier Word, Component))
curBBlvl :: Lens' NetlistState Int
curCompNm :: Lens' NetlistState (Identifier, SrcSpan)
customReprs :: Lens' NetlistState CustomReprs
extendIdentifierFn :: Lens' NetlistState (IdType -> Identifier -> Identifier -> Identifier)
hdlDir :: Lens' NetlistState FilePath
htyCache :: Lens' NetlistState HWMap
intWidth :: Lens' NetlistState Int
isTestBench :: Lens' NetlistState Bool
mkIdentifierFn :: Lens' NetlistState (IdType -> Identifier -> Identifier)
primitives :: Lens' NetlistState CompiledPrimMap
seenComps :: Lens' NetlistState (HashMap Identifier Word)
seenIds :: Lens' NetlistState (HashMap Identifier Word)
seenPrimitives :: Lens' NetlistState (Set Text)
tcCache :: Lens' NetlistState TyConMap
topEntityAnns :: Lens' NetlistState (VarEnv (Type, Maybe TopEntity))
typeTranslator :: Lens' NetlistState (CustomReprs -> TyConMap -> Type -> State HWMap (Maybe (Either String FilteredHWType)))
varCount :: Lens' NetlistState Int

Documentation

data Declaration Source #

Internals of a Component

Constructors

Assignment	Signal assignment
Fields !Identifier Signal to assign !Expr Assigned expression
CondAssignment	Conditional signal assignment:
Fields !Identifier Signal to assign !HWType Type of the result/alternatives !Expr Scrutinized expression !HWType Type of the scrutinee [(Maybe Literal, Expr)] List of: (Maybe expression scrutinized expression is compared with,RHS of alternative)
InstDecl	Instantiation of another component:
Fields EntityOrComponent Whether it's an entity or a component (Maybe Comment) Comment to add to the generated code !Identifier The component's (or entity's) name !Identifier Instance label [(Expr, HWType, Expr)] List of parameters for this component (param name, param type, param value) [(Expr, PortDirection, HWType, Expr)] Ports (port name, port direction, type, assignment)
BlackBoxD	Instantiation of blackbox declaration
Fields !Text Primitive name [BlackBoxTemplate] VHDL only: add `library` declarations [BlackBoxTemplate] VHDL only: add `use` declarations [((Text, Text), BlackBox)] Intel Quartus only: create a `.qsys` file from given template !BlackBox Template tokens BlackBoxContext Context in which tokens should be rendered
NetDecl'	Signal declaration
Fields (Maybe Comment) Note; will be inserted as a comment in target hdl WireOrReg Wire or register !Identifier Name of signal (Either Identifier HWType) Pointer to type of signal or type of signal ^ Signal declaration
TickDecl Comment	HDL tick corresponding to a Core tick

Bundled Patterns

pattern NetDecl
Fields :: Maybe Comment Note; will be inserted as a comment in target hdl -> Identifier Name of signal -> HWType Type of signal -> Declaration

Instances

Instances details

Show Declaration Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
NFData Declaration Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: Declaration -> () #

newtype NetlistMonad a Source #

Monad that caches generated components (StateT) and remembers hidden inputs of components that are being generated (WriterT)

Constructors

NetlistMonad
Fields runNetlist :: StateT NetlistState (ReaderT NetlistEnv IO) a

Instances

Instances details

Monad NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods (>>=) :: NetlistMonad a -> (a -> NetlistMonad b) -> NetlistMonad b # (>>) :: NetlistMonad a -> NetlistMonad b -> NetlistMonad b # return :: a -> NetlistMonad a #
Functor NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods fmap :: (a -> b) -> NetlistMonad a -> NetlistMonad b # (<$) :: a -> NetlistMonad b -> NetlistMonad a #
MonadFail NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods fail :: String -> NetlistMonad a #
Applicative NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods pure :: a -> NetlistMonad a # (<>) :: NetlistMonad (a -> b) -> NetlistMonad a -> NetlistMonad b # liftA2 :: (a -> b -> c) -> NetlistMonad a -> NetlistMonad b -> NetlistMonad c # (>) :: NetlistMonad a -> NetlistMonad b -> NetlistMonad b # (<*) :: NetlistMonad a -> NetlistMonad b -> NetlistMonad a #
MonadIO NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods liftIO :: IO a -> NetlistMonad a #
MonadReader NetlistEnv NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods ask :: NetlistMonad NetlistEnv # local :: (NetlistEnv -> NetlistEnv) -> NetlistMonad a -> NetlistMonad a # reader :: (NetlistEnv -> a) -> NetlistMonad a #
MonadState NetlistState NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods get :: NetlistMonad NetlistState # put :: NetlistState -> NetlistMonad () # state :: (NetlistState -> (a, NetlistState)) -> NetlistMonad a #

data BlackBox Source #

Constructors

BBTemplate BlackBoxTemplate
BBFunction BBName BBHash TemplateFunction

Instances

Instances details

Show BlackBox Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> BlackBox -> ShowS # show :: BlackBox -> String # showList :: [BlackBox] -> ShowS #
Generic BlackBox Source #
Instance details Defined in Clash.Netlist.Types Associated Types type Rep BlackBox :: Type -> Type # Methods from :: BlackBox -> Rep BlackBox x # to :: Rep BlackBox x -> BlackBox #
Binary BlackBox Source #
Instance details Defined in Clash.Netlist.Types Methods put :: BlackBox -> Put # get :: Get BlackBox # putList :: [BlackBox] -> Put #
NFData BlackBox Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: BlackBox -> () #
type Rep BlackBox Source #
Instance details Defined in Clash.Netlist.Types type Rep BlackBox = D1 ('MetaData "BlackBox" "Clash.Netlist.Types" "clash-lib-0.9999-inplace" 'False) (C1 ('MetaCons "BBTemplate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlackBoxTemplate)) :+: C1 ('MetaCons "BBFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BBName) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BBHash) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TemplateFunction))))

data Expr Source #

Expression used in RHS of a declaration

Constructors

Literal !(Maybe (HWType, Size)) !Literal	Literal expression
DataCon !HWType !Modifier [Expr]	DataCon application
Identifier !Identifier !(Maybe Modifier)	Signal reference
DataTag !HWType !(Either Identifier Identifier)	`Left e`: tagToEnum#, `Right e`: dataToTag#
BlackBoxE	Instantiation of a BlackBox expression
Fields !Text Primitive name [BlackBoxTemplate] VHDL only: add `library` declarations [BlackBoxTemplate] VHDL only: add `use` declarations: [((Text, Text), BlackBox)] Intel/Quartus only: create a `.qsys` file from given template. !BlackBox Template tokens !BlackBoxContext Context in which tokens should be rendered !Bool Wrap in paretheses?
ConvBV (Maybe Identifier) HWType Bool Expr
IfThenElse Expr Expr Expr

Instances

Instances details

Show Expr Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

data Component Source #

Component: base unit of a Netlist

Constructors

Component
Fields componentName :: !Identifier Name of the component inputs :: [(Identifier, HWType)] Input ports outputs :: [(WireOrReg, (Identifier, HWType))] Output ports declarations :: [Declaration] Internal declarations

Instances

Instances details

Show Component Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Component -> ShowS # show :: Component -> String # showList :: [Component] -> ShowS #
NFData Component Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: Component -> () #

data Declaration Source #

Internals of a Component

Constructors

Assignment	Signal assignment
Fields !Identifier Signal to assign !Expr Assigned expression
CondAssignment	Conditional signal assignment:
Fields !Identifier Signal to assign !HWType Type of the result/alternatives !Expr Scrutinized expression !HWType Type of the scrutinee [(Maybe Literal, Expr)] List of: (Maybe expression scrutinized expression is compared with,RHS of alternative)
InstDecl	Instantiation of another component:
Fields EntityOrComponent Whether it's an entity or a component (Maybe Comment) Comment to add to the generated code !Identifier The component's (or entity's) name !Identifier Instance label [(Expr, HWType, Expr)] List of parameters for this component (param name, param type, param value) [(Expr, PortDirection, HWType, Expr)] Ports (port name, port direction, type, assignment)
BlackBoxD	Instantiation of blackbox declaration
Fields !Text Primitive name [BlackBoxTemplate] VHDL only: add `library` declarations [BlackBoxTemplate] VHDL only: add `use` declarations [((Text, Text), BlackBox)] Intel Quartus only: create a `.qsys` file from given template !BlackBox Template tokens BlackBoxContext Context in which tokens should be rendered
NetDecl'	Signal declaration
Fields (Maybe Comment) Note; will be inserted as a comment in target hdl WireOrReg Wire or register !Identifier Name of signal (Either Identifier HWType) Pointer to type of signal or type of signal ^ Signal declaration
TickDecl Comment	HDL tick corresponding to a Core tick

Instances

Instances details

Show Declaration Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
NFData Declaration Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: Declaration -> () #

data HWType Source #

Representable hardware types

Constructors

Void (Maybe HWType)	Empty type. `Just Size` for "empty" Vectors so we can still have primitives that can traverse e.g. Vectors of unit and know the length of that vector.
String	String type
Integer	Integer type (for parameters only)
Bool	Boolean type
Bit	Bit type
BitVector !Size	BitVector of a specified size
Index !Integer	Unsigned integer with specified (exclusive) upper bounder
Signed !Size	Signed integer of a specified size
Unsigned !Size	Unsigned integer of a specified size
Vector !Size !HWType	Vector type
RTree !Size !HWType	RTree type
Sum !Identifier [Identifier]	Sum type: Name and Constructor names
Product !Identifier (Maybe [Text]) [HWType]	Product type: Name, field names, and field types. Field names will be populated when using records.
SP !Identifier [(Identifier, [HWType])]	Sum-of-Product type: Name and Constructor names + field types
Clock !Identifier	Clock type corresponding to domain Identifier
Reset !Identifier	Reset type corresponding to domain Identifier
BiDirectional !PortDirection !HWType	Tagging type indicating a bidirectional (inout) port
CustomSP !Identifier !DataRepr' !Size [(ConstrRepr', Identifier, [HWType])]	Same as Sum-Of-Product, but with a user specified bit representation. For more info, see: Clash.Annotations.BitRepresentations.
CustomSum !Identifier !DataRepr' !Size [(ConstrRepr', Identifier)]	Same as Sum, but with a user specified bit representation. For more info, see: Clash.Annotations.BitRepresentations.
Annotated [Attr'] !HWType	Annotated with HDL attributes
KnownDomain !Identifier !Integer !ActiveEdge !ResetKind !InitBehavior !ResetPolarity	Domain name, period, active edge, reset kind, initial value behavior

Instances

Instances details

Eq HWType Source #
Instance details Defined in Clash.Netlist.Types Methods (==) :: HWType -> HWType -> Bool # (/=) :: HWType -> HWType -> Bool #
Ord HWType Source #
Instance details Defined in Clash.Netlist.Types Methods compare :: HWType -> HWType -> Ordering # (<) :: HWType -> HWType -> Bool # (<=) :: HWType -> HWType -> Bool # (>) :: HWType -> HWType -> Bool # (>=) :: HWType -> HWType -> Bool # max :: HWType -> HWType -> HWType # min :: HWType -> HWType -> HWType #
Show HWType Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> HWType -> ShowS # show :: HWType -> String # showList :: [HWType] -> ShowS #
Generic HWType Source #
Instance details Defined in Clash.Netlist.Types Associated Types type Rep HWType :: Type -> Type # Methods from :: HWType -> Rep HWType x # to :: Rep HWType x -> HWType #
Hashable HWType Source #
Instance details Defined in Clash.Netlist.Types Methods hashWithSalt :: Int -> HWType -> Int # hash :: HWType -> Int #
NFData HWType Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: HWType -> () #
type Rep HWType Source #
Instance details Defined in Clash.Netlist.Types type Rep HWType = D1 ('MetaData "HWType" "Clash.Netlist.Types" "clash-lib-0.9999-inplace" 'False) ((((C1 ('MetaCons "Void" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HWType))) :+: C1 ('MetaCons "String" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Integer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bit" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BitVector" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size)) :+: C1 ('MetaCons "Index" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))) :+: (C1 ('MetaCons "Signed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size)) :+: (C1 ('MetaCons "Unsigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size)) :+: C1 ('MetaCons "Vector" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HWType)))))) :+: (((C1 ('MetaCons "RTree" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HWType)) :+: C1 ('MetaCons "Sum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Identifier]))) :+: (C1 ('MetaCons "Product" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Text])) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HWType]))) :+: (C1 ('MetaCons "SP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Identifier, [HWType])])) :+: C1 ('MetaCons "Clock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier))))) :+: ((C1 ('MetaCons "Reset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier)) :+: (C1 ('MetaCons "BiDirectional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PortDirection) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HWType)) :+: C1 ('MetaCons "CustomSP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataRepr')) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ConstrRepr', Identifier, [HWType])]))))) :+: (C1 ('MetaCons "CustomSum" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataRepr')) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ConstrRepr', Identifier)]))) :+: (C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Attr']) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HWType)) :+: C1 ('MetaCons "KnownDomain" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveEdge))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ResetKind) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InitBehavior) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ResetPolarity)))))))))

type Identifier = Text Source #

Signal reference

data TemplateFunction where Source #

Constructors

TemplateFunction :: [Int] -> (BlackBoxContext -> Bool) -> (forall s. Backend s => BlackBoxContext -> State s Doc) -> TemplateFunction

Instances

Instances details

Binary TemplateFunction Source #	NB: serialisation doesn't preserve the embedded function
Instance details Defined in Clash.Netlist.Types Methods put :: TemplateFunction -> Put # get :: Get TemplateFunction # putList :: [TemplateFunction] -> Put #
NFData TemplateFunction Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: TemplateFunction -> () #

type BBHash = Int Source #

type BBName = String Source #

data BlackBoxContext Source #

Context used to fill in the holes of a BlackBox template

Constructors

Context

Fields

bbName :: Text
Blackbox function name (for error reporting)
bbResult :: (Expr, HWType)
Result name and type
bbInputs :: [(Expr, HWType, Bool)]
Argument names, types, and whether it is a literal
bbFunctions :: IntMap (Either BlackBox (Identifier, [Declaration]), WireOrReg, [BlackBoxTemplate], [BlackBoxTemplate], [((Text, Text), BlackBox)], BlackBoxContext)
Function arguments (subset of inputs):
- ( Blackbox Template , Whether the result should be reg or a wire (Verilog only) , Partial Blackbox Context )
bbQsysIncName :: [Identifier]
bbLevel :: Int
The scoping level this context is associated with, ensures that ~ARGN[k][n] holes are only filled with values from this context if k is equal to the scoping level of this context.
bbCompName :: Identifier
The component the BlackBox is instantiated in

Instances

Instances details

Show BlackBoxContext Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> BlackBoxContext -> ShowS # show :: BlackBoxContext -> String # showList :: [BlackBoxContext] -> ShowS #

data Bit Source #

Bit literal

Constructors

H	High
L	Low
U	Undefined
Z	High-impedance

Instances

Instances details

Eq Bit Source #
Instance details Defined in Clash.Netlist.Types Methods (==) :: Bit -> Bit -> Bool # (/=) :: Bit -> Bit -> Bool #
Show Bit Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Bit -> ShowS # show :: Bit -> String # showList :: [Bit] -> ShowS #
Lift Bit Source #
Instance details Defined in Clash.Netlist.Types Methods lift :: Bit -> Q Exp #

data Literal Source #

Literals used in an expression

Constructors

NumLit !Integer	Number literal
BitLit !Bit	Bit literal
BitVecLit !Integer !Integer	BitVector literal
BoolLit !Bool	Boolean literal
VecLit [Literal]	Vector literal
StringLit !String	String literal

Instances

Instances details

Eq Literal Source #
Instance details Defined in Clash.Netlist.Types Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Show Literal Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #

data Modifier Source #

Expression Modifier

Constructors

Indexed (HWType, Int, Int)	Index the expression: (Type of expression,DataCon tag,Field Tag)
DC (HWType, Int)	See expression in a DataCon context: (Type of the expression, DataCon tag)
VecAppend	See the expression in the context of a Vector append operation
RTreeAppend	See the expression in the context of a Tree append operation
Sliced (HWType, Int, Int)	Slice the identifier of the given type from start to end
Nested Modifier Modifier

Instances

Instances details

Show Modifier Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> Modifier -> ShowS # show :: Modifier -> String # showList :: [Modifier] -> ShowS #

data PortDirection Source #

Constructors

In
Out

Instances

Instances details

Eq PortDirection Source #
Instance details Defined in Clash.Netlist.Types Methods (==) :: PortDirection -> PortDirection -> Bool # (/=) :: PortDirection -> PortDirection -> Bool #
Ord PortDirection Source #
Instance details Defined in Clash.Netlist.Types Methods compare :: PortDirection -> PortDirection -> Ordering # (<) :: PortDirection -> PortDirection -> Bool # (<=) :: PortDirection -> PortDirection -> Bool # (>) :: PortDirection -> PortDirection -> Bool # (>=) :: PortDirection -> PortDirection -> Bool # max :: PortDirection -> PortDirection -> PortDirection # min :: PortDirection -> PortDirection -> PortDirection #
Show PortDirection Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> PortDirection -> ShowS # show :: PortDirection -> String # showList :: [PortDirection] -> ShowS #
Generic PortDirection Source #
Instance details Defined in Clash.Netlist.Types Associated Types type Rep PortDirection :: Type -> Type # Methods from :: PortDirection -> Rep PortDirection x # to :: Rep PortDirection x -> PortDirection #
Hashable PortDirection Source #
Instance details Defined in Clash.Netlist.Types Methods hashWithSalt :: Int -> PortDirection -> Int # hash :: PortDirection -> Int #
NFData PortDirection Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: PortDirection -> () #
type Rep PortDirection Source #
Instance details Defined in Clash.Netlist.Types type Rep PortDirection = D1 ('MetaData "PortDirection" "Clash.Netlist.Types" "clash-lib-0.9999-inplace" 'False) (C1 ('MetaCons "In" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Out" 'PrefixI 'False) (U1 :: Type -> Type))

data WireOrReg Source #

Constructors

Wire
Reg

Instances

Instances details

Show WireOrReg Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> WireOrReg -> ShowS # show :: WireOrReg -> String # showList :: [WireOrReg] -> ShowS #
Generic WireOrReg Source #
Instance details Defined in Clash.Netlist.Types Associated Types type Rep WireOrReg :: Type -> Type # Methods from :: WireOrReg -> Rep WireOrReg x # to :: Rep WireOrReg x -> WireOrReg #
NFData WireOrReg Source #
Instance details Defined in Clash.Netlist.Types Methods rnf :: WireOrReg -> () #
type Rep WireOrReg Source #
Instance details Defined in Clash.Netlist.Types type Rep WireOrReg = D1 ('MetaData "WireOrReg" "Clash.Netlist.Types" "clash-lib-0.9999-inplace" 'False) (C1 ('MetaCons "Wire" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reg" 'PrefixI 'False) (U1 :: Type -> Type))

data EntityOrComponent Source #

Constructors

Entity
Comp
Empty

Instances

Instances details

Show EntityOrComponent Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> EntityOrComponent -> ShowS # show :: EntityOrComponent -> String # showList :: [EntityOrComponent] -> ShowS #

data FilteredHWType Source #

Tree structure indicating which constructor fields were filtered from a type due to them being void. We need this information to generate stable and/or user-defined port mappings.

Constructors

FilteredHWType HWType [[(IsVoid, FilteredHWType)]]

Instances

Instances details

Eq FilteredHWType Source #
Instance details Defined in Clash.Netlist.Types Methods (==) :: FilteredHWType -> FilteredHWType -> Bool # (/=) :: FilteredHWType -> FilteredHWType -> Bool #
Show FilteredHWType Source #
Instance details Defined in Clash.Netlist.Types Methods showsPrec :: Int -> FilteredHWType -> ShowS # show :: FilteredHWType -> String # showList :: [FilteredHWType] -> ShowS #

type IsVoid = Bool Source #

type Size = Int Source #

Size indication of a type (e.g. bit-size or number of elements)

type Comment = Text Source #

data NetlistState Source #

State of the NetlistMonad

Constructors

NetlistState

Fields

_bindings :: BindingMap
Global binders
_varCount :: !Int
Number of signal declarations
_components :: VarEnv ([Bool], SrcSpan, HashMap Identifier Word, Component)
Cached components
_primitives :: CompiledPrimMap
Primitive Definitions
_typeTranslator :: CustomReprs -> TyConMap -> Type -> State HWMap (Maybe (Either String FilteredHWType))
Hardcoded Type -> HWType translator
_tcCache :: TyConMap
TyCon cache
_curCompNm :: !(Identifier, SrcSpan)
_intWidth :: Int
_mkIdentifierFn :: IdType -> Identifier -> Identifier
_extendIdentifierFn :: IdType -> Identifier -> Identifier -> Identifier
_seenIds :: HashMap Identifier Word
_seenComps :: HashMap Identifier Word
_seenPrimitives :: Set Text
Keeps track of invocations of ´mkPrimitive´. It is currently used to filter duplicate warning invocations for dubious blackbox instantiations, see GitHub pull request #286.
_componentNames :: VarEnv Identifier
_topEntityAnns :: VarEnv (Type, Maybe TopEntity)
_hdlDir :: FilePath
_curBBlvl :: Int
The current scoping level assigned to black box contexts
_componentPrefix :: (Maybe Identifier, Maybe Identifier)
Prefix for top-level components, and prefix for all other components
_customReprs :: CustomReprs
_clashOpts :: ClashOpts
Settings Clash was called with
_isTestBench :: Bool
Whether we're compiling a testbench (suppresses some warnings)
_backEndITE :: Bool
Whether the backend supports ifThenElse expressions
_htyCache :: HWMap

Instances

Instances details

MonadState NetlistState NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods get :: NetlistMonad NetlistState # put :: NetlistState -> NetlistMonad () # state :: (NetlistState -> (a, NetlistState)) -> NetlistMonad a #

data NetlistEnv Source #

Environment of the NetlistMonad

Constructors

NetlistEnv
Fields _prefixName :: Identifier Prefix for instance/register names _suffixName :: Identifier Postfix for instance/register names _setName :: Maybe Identifier (Maybe) user given instance/register name

Instances

Instances details

MonadReader NetlistEnv NetlistMonad Source #
Instance details Defined in Clash.Netlist.Types Methods ask :: NetlistMonad NetlistEnv # local :: (NetlistEnv -> NetlistEnv) -> NetlistMonad a -> NetlistMonad a # reader :: (NetlistEnv -> a) -> NetlistMonad a #