CLaSH.Netlist.BlackBox

Functions to create BlackBox Contexts and fill in BlackBox templates

Documentation

mkBlackBoxContext

Arguments

:: Id

Identifier binding the primitive/blackbox application

-> [Term]

Arguments of the primitive/blackbox application

-> NetlistMonad (BlackBoxContext, [Declaration])

Generate the context for a BlackBox instantiation.

prepareBlackBox :: Text -> Text -> BlackBoxContext -> NetlistMonad BlackBoxTemplate

mkArgument :: Term -> NetlistMonad ((SyncExpr, HWType, Bool), [Declaration])

mkPrimitive

Arguments

:: Bool

Put BlackBox expression in parenthesis

-> Bool

Treat BlackBox expression as declaration

-> Text

-> [Either Term Type]

-> Type

-> NetlistMonad (Expr, [Declaration])

mkFunInput

Arguments

:: Id

Identifier binding the encompassing primitive/blackbox application

-> Term

The function argument term

-> NetlistMonad ((Either BlackBoxTemplate Declaration, BlackBoxContext), [Declaration])

Create an template instantiation text and a partial blackbox content for an argument term, given that the term is a function. Errors if the term is not a function

instantiateSym :: BlackBoxTemplate -> NetlistMonad BlackBoxTemplate

Instantiate symbols references with a new symbol and increment symbol counter

instantiateCompName :: BlackBoxTemplate -> NetlistMonad BlackBoxTemplate

collectFilePaths :: BlackBoxContext -> BlackBoxTemplate -> NetlistMonad BlackBoxTemplate