| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
CLaSH.Netlist.BlackBox.Types
Description
Types used in BlackBox modules
- type BlackBoxTemplate = [Element]
- data Element
- data Decl = Decl !Int [(BlackBoxTemplate, BlackBoxTemplate)]
Documentation
type BlackBoxTemplate = [Element] Source
A BlackBox Template is a List of Elements
Elements of a blackbox context
Constructors
| C !Text | Constant |
| D !Decl | Component instantiation hole |
| O | Output hole |
| I !Int | Input hole |
| L !Int | Literal hole |
| Sym !Int | Symbol hole |
| Clk !(Maybe Int) | Clock hole (Maybe clk corresponding to input, clk corresponding to output if Nothing) |
| Rst !(Maybe Int) | Reset hole |
| Typ !(Maybe Int) | Type declaration hole |
| TypM !(Maybe Int) | Type root hole |
| Err !(Maybe Int) | Error value hole |
| TypElem !Element | Select element type from a vector type |
| CompName | Hole for the name of the component in which the blackbox is instantiated |
| Size !Element | Size of a type hole |
| Length !Element | Length of a vector hole |
| FilePath !Element | Hole containing a filepath for a data file |
| Gen !Bool | Hole marking beginning (True) or end (False) of a generative construct |
| SigD [Element] !(Maybe Int) |
Component instantiation hole. First argument indicates which function argument to instantiate. Second argument corresponds to output and input assignments, where the first element is the output assignment, and the subsequent elements are the consecutive input assignments.
The LHS of the tuple is the name of the signal, while the RHS of the tuple is the type of the signal
Constructors
| Decl !Int [(BlackBoxTemplate, BlackBoxTemplate)] |