Clash.Netlist.BlackBox.Util

Utilties to verify blackbox contexts against templates and rendering filled in templates

Documentation

inputHole :: Element -> Maybe Int

verifyBlackBoxContext

Arguments

:: BlackBoxContext

Blackbox to verify

-> BlackBox

Template to check against

-> Maybe String

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.

extractLiterals :: BlackBoxContext -> [Expr]

setSym :: forall m. IdentifierSetMonad m => BlackBoxContext -> BlackBoxTemplate -> m (BlackBoxTemplate, [Declaration])

Update all the symbol references in a template, and increment the symbol counter for every newly encountered symbol.

selectNewName

Arguments

:: Foldable t

=> t String

Set of existing names

-> FilePath

Name for new file (

-> String

renderFilePath :: [(String, FilePath)] -> String -> ([(String, FilePath)], String)

renderTemplate

Arguments

:: Backend backend

=> BlackBoxContext

Context used to fill in the hole

-> BlackBoxTemplate

Blackbox template

-> State backend (Int -> Text)

Render a blackbox given a certain context. Returns a filled out template and a list of hidden inputs that must be added to the encompassing component.

renderBlackBox :: Backend backend => [BlackBoxTemplate] -> [BlackBoxTemplate] -> [((Text, Text), BlackBox)] -> BlackBox -> BlackBoxContext -> State backend (Int -> Doc)

renderElem :: HasCallStack => Backend backend => BlackBoxContext -> Element -> State backend (Int -> Text)

Render a single template element

getDomainConf :: (Backend backend, HasCallStack) => HWType -> State backend VDomainConfiguration

generalGetDomainConf

Arguments

:: forall m. (Monad m, HasCallStack)

=> m DomainMap

a way to get the DomainMap

-> HWType

-> m VDomainConfiguration

parseFail :: Text -> BlackBoxTemplate

idToExpr :: (Text, HWType) -> (Expr, HWType, Bool)

bbResult :: HasCallStack => String -> BlackBoxContext -> (Expr, HWType)

lineToIdentifier :: Backend backend => BlackBoxContext -> BlackBoxTemplate -> State backend Text

Fill out the template corresponding to an output/input assignment of a component instantiation, and turn it into a single identifier so it can be used for a new blackbox context.

lineToType :: BlackBoxContext -> BlackBoxTemplate -> HWType

renderTag :: Backend backend => BlackBoxContext -> Element -> State backend Text

Give a context and a tagged hole (of a template), returns part of the context that matches the tag of the hole.

elementsToText :: BlackBoxContext -> [Element] -> Either String Text

Compute string from a list of elements. Can interpret ~NAME string literals on template level (constants).

elementToText :: BlackBoxContext -> Element -> Either String Text

exprToString :: Expr -> Maybe String

Extracts string from SSymbol or string literals

prettyBlackBox :: Monad m => BlackBoxTemplate -> Ap m Text

prettyElem :: (HasCallStack, Monad m) => Element -> Ap m Text

walkElement :: (Element -> Maybe a) -> Element -> [a]

Recursively walk Element, applying f to each element in the tree.

usedVariables :: Expr -> [IdentifierText]

Determine variables used in an expression. Used for VHDL sensitivity list. Also see: https://github.com/clash-lang/clash-compiler/issues/365

getUsedArguments :: BlackBox -> [Int]

Collect arguments (e.g., ~ARG, ~LIT) used in this blackbox

onBlackBox :: (BlackBoxTemplate -> r) -> (BBName -> BBHash -> TemplateFunction -> r) -> BlackBox -> r

checkUndefined :: Expr -> Bool

Is the value of the Expr fully undefined?