clash-lib-0.6.13: CAES Language for Synchronous Hardware - As a Library

Copyright(C) 2012-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellSafe
LanguageHaskell2010

CLaSH.Netlist.BlackBox.Types

Description

Types used in BlackBox modules

Synopsis

Documentation

type BlackBoxTemplate = [Element] Source

A BlackBox Template is a List of Elements

data Element Source

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 !Text !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

IndexType !Element

Index data type hole, the field is the (exclusive) maximum index

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

IF !Element [Element] [Element] 
And [Element] 
IW64

Hole indicating whether IntWordInteger are 64-Bit

HdlSyn HdlSyn

Hole indicating which synthesis tool we're generating HDL for

BV !Bool [Element] !Element

Convert to (True)/from(False) a bit-vector

IsLit !Int 
IsVar !Int 
Vars !Int 
GenSym [Element] !Int 
SigD [Element] !(Maybe Int) 

Instances

data Decl Source

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

Instances