Cont package:clash-lib
Continuous assignment, which occurs in a concurrent context.
Syntactical position of the DataCon in the type definition
A list of CoreContext describes the complete navigation path
from the top-level to a specific sub-expression.
Context :: Text -> [(Expr, HWType)] -> [(Expr, HWType, Bool)] -> IntMap [(Either BlackBox (Identifier, [Declaration]), Usage, [BlackBoxTemplate], [BlackBoxTemplate], [((Text, Text), BlackBox)], BlackBoxContext)] -> [IdentifierText] -> Int -> Identifier -> Maybe IdentifierText -> BlackBoxContext Select a sub-range from a range
Attempt to continuously assign an expression to the given identifier.
If the assignment is not allowed for the backend being used, a new
signal is created which allows the assignment. The identifier which
holds the result of the assignment is returned alongside the new
declarations.
This function assumes the identifier being assigned is already
declared. If the identifier is not in the usage map then an error is
thrown.
The id of the term currently under evaluation.
marking navigation to a different context
Context in which a term appears
Make a Type out of a TyCon
Generate the context for a BlackBox instantiation.
Determine if the number of normal/literal/function inputs of a
blackbox context at least matches the number of argument that is
expected by the template.
Context used to fill in the holes of a BlackBox template