Contents
Index
clash-lib-0.6.21: CAES Language for Synchronous Hardware - As a Library
Index
!->
CLaSH.Rewrite.Combinators
***
CLaSH.Util
<$>
CLaSH.Util
<*>
CLaSH.Util
<:>
CLaSH.Util
<=<
CLaSH.Util
>-!
CLaSH.Rewrite.Combinators
>-!->
CLaSH.Rewrite.Combinators
>->
CLaSH.Rewrite.Combinators
>=>
CLaSH.Util
addGlobalBind
CLaSH.Rewrite.Util
addNewInline
CLaSH.Normalize.Util
algTcRhs
CLaSH.Core.TyCon
AlgTyCon
CLaSH.Core.TyCon
AlgTyConRhs
CLaSH.Core.TyCon
allR
CLaSH.Rewrite.Combinators
alreadyInlined
CLaSH.Normalize.Util
And
CLaSH.Netlist.BlackBox.Types
App
CLaSH.Core.Term
AppArg
CLaSH.Rewrite.Types
appendToName
CLaSH.Netlist.Util
appendToVec
CLaSH.Core.Util
AppFun
CLaSH.Rewrite.Types
Applicative
CLaSH.Util
apply
CLaSH.Rewrite.Util
applyFunTy
CLaSH.Core.Type
applyMany
CLaSH.Normalize.Strategy
applyTy
CLaSH.Core.Type
applyTypeToArgs
CLaSH.Core.Util
appProp
CLaSH.Normalize.Transformations
AppTy
CLaSH.Core.Type
Arrow
CLaSH.Core.Type
Assignment
CLaSH.Netlist.Types
Backend
CLaSH.Backend
bbFunctions
CLaSH.Netlist.Types
bbInputs
CLaSH.Netlist.Types
bbResult
CLaSH.Netlist.Types
bindConstantVar
CLaSH.Normalize.Transformations
BindingMap
CLaSH.Driver.Types
bindings
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
Bit
CLaSH.Netlist.Types
BitLit
CLaSH.Netlist.Types
BitVector
CLaSH.Netlist.Types
BlackBox
CLaSH.Primitives.Types
BlackBoxContext
CLaSH.Netlist.Types
BlackBoxD
CLaSH.Netlist.Types
BlackBoxE
CLaSH.Netlist.Types
BlackBoxTemplate
CLaSH.Netlist.BlackBox.Types
blockSink
CLaSH.Normalize.Util
Bool
CLaSH.Netlist.Types
BoolLit
CLaSH.Netlist.Types
bottomupR
CLaSH.Rewrite.Combinators
bottomupWhenR
CLaSH.Rewrite.Combinators
BV
CLaSH.Netlist.BlackBox.Types
C
CLaSH.Netlist.BlackBox.Types
callGraph
CLaSH.Normalize.Util
CallTree
CLaSH.Normalize
callTreeToList
CLaSH.Normalize
Case
CLaSH.Core.Term
CaseAlt
CLaSH.Rewrite.Types
caseCase
CLaSH.Normalize.Transformations
caseCon
CLaSH.Normalize.Transformations
caseFlat
CLaSH.Normalize.Transformations
caseLet
CLaSH.Normalize.Transformations
CaseScrut
CLaSH.Rewrite.Types
CBranch
CLaSH.Normalize
changed
CLaSH.Rewrite.Util
CharLiteral
CLaSH.Core.Literal
charPrimTy
CLaSH.Core.TysPrim
checkNonRecursive
CLaSH.Normalize
CLaSHException
1 (Type/Class)
CLaSH.Driver.Types
2 (Data Constructor)
CLaSH.Driver.Types
clashLibVersion
CLaSH.Util
CLaSHOpts
1 (Type/Class)
CLaSH.Driver.Types
2 (Data Constructor)
CLaSH.Driver.Types
CLeaf
CLaSH.Normalize
cleanupGraph
CLaSH.Normalize
Clk
CLaSH.Netlist.BlackBox.Types
clkSyncId
CLaSH.Netlist.BlackBox.Util
Clock
CLaSH.Netlist.Types
clockPorts
CLaSH.Driver.TopWrapper
clogBase
CLaSH.Util
cloneVar
CLaSH.Rewrite.Util
closestLetBinder
CLaSH.Rewrite.Util
collectArgs
CLaSH.Core.Util
collectBndrs
CLaSH.Core.Util
collectFilePaths
CLaSH.Netlist.BlackBox
collectGlobals
CLaSH.Normalize.DEC
combineM
CLaSH.Util
CompName
CLaSH.Netlist.BlackBox.Types
Component
1 (Type/Class)
CLaSH.Netlist.Types
2 (Data Constructor)
CLaSH.Netlist.Types
componentName
CLaSH.Netlist.Types
componentNames
CLaSH.Netlist.Types
components
CLaSH.Netlist.Types
CondAssignment
CLaSH.Netlist.Types
conSize
CLaSH.Netlist.Util
constantPropgation
CLaSH.Normalize.Strategy
constantSpec
CLaSH.Normalize.Transformations
ConstTy
1 (Type/Class)
CLaSH.Core.Type
2 (Data Constructor)
CLaSH.Core.Type
ConTag
CLaSH.Core.DataCon
Context
CLaSH.Netlist.Types
contextEnv
CLaSH.Rewrite.Util
copyDataFiles
CLaSH.Driver
CoreContext
CLaSH.Rewrite.Types
coreTypeToHWType
CLaSH.Netlist.Util
coreTypeToHWTypeM
CLaSH.Netlist.Util
coreView
CLaSH.Core.Type
createHDL
CLaSH.Driver
curCompNm
CLaSH.Netlist.Types
curFun
CLaSH.Rewrite.Types
curLoc
CLaSH.Util
D
CLaSH.Netlist.BlackBox.Types
Data
CLaSH.Core.Term
DataCon
1 (Type/Class)
CLaSH.Core.DataCon
2 (Data Constructor)
CLaSH.Netlist.Types
dataCon
CLaSH.Core.TyCon
dataConInstArgTys
CLaSH.Core.DataCon
dataCons
CLaSH.Core.TyCon
dataFiles
CLaSH.Netlist.Types
DataPat
CLaSH.Core.Term
DataTag
CLaSH.Netlist.Types
DataTyCon
CLaSH.Core.TyCon
dbgLevel
CLaSH.Rewrite.Types
DC
CLaSH.Netlist.Types
dcArgTys
CLaSH.Core.DataCon
dcExtTyVars
CLaSH.Core.DataCon
DcName
CLaSH.Core.DataCon
dcName
CLaSH.Core.DataCon
dcTag
CLaSH.Core.DataCon
dcToLiteral
CLaSH.Netlist.Util
dcType
CLaSH.Core.DataCon
dcUnivTyVars
CLaSH.Core.DataCon
deadCode
CLaSH.Normalize.Transformations
DebugAll
CLaSH.Rewrite.Types
DebugApplied
CLaSH.Rewrite.Types
DebugFinal
CLaSH.Rewrite.Types
DebugLevel
CLaSH.Rewrite.Types
DebugName
CLaSH.Rewrite.Types
DebugNone
CLaSH.Rewrite.Types
Decl
1 (Type/Class)
CLaSH.Netlist.BlackBox.Types
2 (Data Constructor)
CLaSH.Netlist.BlackBox.Types
Declaration
CLaSH.Netlist.Types
declarations
CLaSH.Netlist.Types
DefaultPat
CLaSH.Core.Term
Delta
CLaSH.Core.Util
disjointExpressionConsolidation
CLaSH.Normalize.Transformations
dominator
CLaSH.Normalize.Util
dot
CLaSH.Util
Element
CLaSH.Netlist.BlackBox.Types
emptyBBContext
CLaSH.Netlist.Types
Err
CLaSH.Netlist.BlackBox.Types
etaExpansionTL
CLaSH.Normalize.Transformations
evaluator
CLaSH.Rewrite.Types
Expr
CLaSH.Netlist.Types
expr
CLaSH.Backend
extension
CLaSH.Backend
extra
CLaSH.Rewrite.Types
extractElems
CLaSH.Core.Util
extractLiterals
CLaSH.Netlist.BlackBox.Util
extractTypes
CLaSH.Backend
extraIn
CLaSH.Driver.TopWrapper
extraOut
CLaSH.Driver.TopWrapper
FilePath
CLaSH.Netlist.BlackBox.Types
findAndSetDataFiles
CLaSH.Netlist.BlackBox.Util
findFunSubst
CLaSH.Core.Type
first
CLaSH.Util
firstM
CLaSH.Util
flattenCallTree
CLaSH.Normalize
flattenNode
CLaSH.Normalize
ForAllTy
CLaSH.Core.Type
fromBV
CLaSH.Backend
FunTy
CLaSH.Core.Type
FunTyCon
CLaSH.Core.TyCon
Gamma
CLaSH.Core.Util
Gen
CLaSH.Netlist.BlackBox.Types
genComponent
CLaSH.Netlist
genComponentName
CLaSH.Netlist
genComponentT
CLaSH.Netlist
generateHDL
CLaSH.Driver
generatePrimMap
CLaSH.Primitives.Util
genHDL
CLaSH.Backend
genNames
CLaSH.Netlist
genNetlist
CLaSH.Netlist
genStmt
CLaSH.Backend
GenSym
CLaSH.Netlist.BlackBox.Types
genSyncReset
CLaSH.Driver.TopWrapper
genTestBench
CLaSH.Driver.TestbenchGen
getSrcSpan
CLaSH.Backend
getUniqueM
CLaSH.Util
H
CLaSH.Netlist.Types
hdlSig
CLaSH.Backend
HdlSyn
1 (Type/Class)
CLaSH.Netlist.BlackBox.Types
2 (Data Constructor)
CLaSH.Netlist.BlackBox.Types
hdlSyn
CLaSH.Backend
hdlType
CLaSH.Backend
hdlTypeErrValue
CLaSH.Backend
hdlTypeMark
CLaSH.Backend
hiddenPorts
CLaSH.Netlist.Types
HWType
CLaSH.Netlist.Types
I
CLaSH.Netlist.BlackBox.Types
Id
1 (Type/Class)
CLaSH.Core.Var
2 (Data Constructor)
CLaSH.Core.Var
Identifier
1 (Data Constructor)
CLaSH.Netlist.Types
2 (Type/Class)
CLaSH.Netlist.Types
idToVar
CLaSH.Core.Util
IF
CLaSH.Netlist.BlackBox.Types
ifThenElse
CLaSH.Util
In
CLaSH.Netlist.Types
Index
CLaSH.Netlist.Types
Indexed
CLaSH.Netlist.Types
indexMaybe
CLaSH.Util
indexNote
CLaSH.Util
IndexType
CLaSH.Netlist.BlackBox.Types
initBackend
CLaSH.Backend
inlineBelow
CLaSH.Normalize.Types
inlineBinders
CLaSH.Rewrite.Util
inlineClosed
CLaSH.Normalize.Transformations
inlineHistory
CLaSH.Normalize.Types
inlineHO
CLaSH.Normalize.Transformations
inlineLimit
CLaSH.Normalize.Types
inlineNonRep
CLaSH.Normalize.Transformations
inlineOrLiftBinders
CLaSH.Rewrite.Util
inlineOrLiftNonRep
CLaSH.Normalize.Transformations
inlineSmall
CLaSH.Normalize.Transformations
innerMost
CLaSH.Normalize.Strategy
inputs
CLaSH.Netlist.Types
inst
CLaSH.Backend
instantiateCompName
CLaSH.Netlist.BlackBox
InstDecl
CLaSH.Netlist.Types
Int64Literal
CLaSH.Core.Literal
int64PrimTy
CLaSH.Core.TysPrim
IntegerLiteral
CLaSH.Core.Literal
integerPrimTy
CLaSH.Core.TysPrim
IntLiteral
CLaSH.Core.Literal
intPrimTy
CLaSH.Core.TysPrim
intWidth
CLaSH.Netlist.Types
isClosed
CLaSH.Normalize.Util
isCon
CLaSH.Core.Util
isConstant
CLaSH.Normalize.Util
isDisjoint
CLaSH.Normalize.DEC
isFun
CLaSH.Core.Util
isFunTy
CLaSH.Core.Type
isJoinPointIn
CLaSH.Rewrite.Util
isLam
CLaSH.Core.Util
isLambdaBodyCtx
CLaSH.Rewrite.Util
isLet
CLaSH.Core.Util
IsLit
CLaSH.Netlist.BlackBox.Types
isLocalVar
CLaSH.Rewrite.Util
isPolyFun
CLaSH.Core.Util
isPolyFunCoreTy
CLaSH.Core.Type
isPolyFunTy
CLaSH.Core.Type
isPolyTy
CLaSH.Core.Type
isPrim
CLaSH.Core.Util
isRecursiveBndr
CLaSH.Normalize.Util
isRecursiveTy
CLaSH.Netlist.Util
isSignalType
CLaSH.Core.Util
isTupleTyConLike
CLaSH.Core.TyCon
isUntranslatable
CLaSH.Rewrite.Util
isUntranslatableType
CLaSH.Rewrite.Util
IsVar
CLaSH.Netlist.BlackBox.Types
isVar
CLaSH.Core.Util
IW64
CLaSH.Netlist.BlackBox.Types
iwWidth
CLaSH.Backend
KiName
CLaSH.Core.Type
Kind
CLaSH.Core.Type
KindOrType
CLaSH.Core.Type
L
1 (Data Constructor)
CLaSH.Netlist.BlackBox.Types
2 (Data Constructor)
CLaSH.Netlist.Types
Lam
CLaSH.Core.Term
lambdaDrop
CLaSH.Normalize.Util
lambdaDropPrep
CLaSH.Normalize.Util
LamBody
CLaSH.Rewrite.Types
Length
CLaSH.Netlist.BlackBox.Types
LetBinding
1 (Type/Class)
CLaSH.Core.Term
2 (Data Constructor)
CLaSH.Rewrite.Types
LetBody
CLaSH.Rewrite.Types
Letrec
CLaSH.Core.Term
liftBinding
CLaSH.Rewrite.Util
liftedTypeKind
CLaSH.Core.TysPrim
liftState
CLaSH.Util
lineToIdentifier
CLaSH.Netlist.BlackBox.Util
lineToType
CLaSH.Netlist.BlackBox.Util
Literal
1 (Type/Class)
CLaSH.Core.Literal
2 (Data Constructor)
CLaSH.Core.Term
3 (Type/Class)
CLaSH.Netlist.Types
4 (Data Constructor)
CLaSH.Netlist.Types
literalType
CLaSH.Core.Literal
LitPat
CLaSH.Core.Term
LitTy
1 (Type/Class)
CLaSH.Core.Type
2 (Data Constructor)
CLaSH.Core.Type
localFreeIds
CLaSH.Rewrite.Util
makeANF
CLaSH.Normalize.Transformations
makeCached
CLaSH.Util
makeCachedT3
CLaSH.Util
makeCachedT3S
CLaSH.Util
makeLenses
CLaSH.Util
mapAccumLM
CLaSH.Util
mkAbstraction
CLaSH.Core.Util
mkADT
CLaSH.Netlist.Util
mkApps
CLaSH.Core.Util
mkArgument
CLaSH.Netlist.BlackBox
mkBasicId
1 (Function)
CLaSH.Netlist.Util
2 (Function)
CLaSH.Backend
mkBasicId'
CLaSH.Netlist.Id
mkBasicIdFn
CLaSH.Netlist.Types
mkBinderFor
CLaSH.Rewrite.Util
mkBlackBoxContext
CLaSH.Netlist.BlackBox
mkCallTree
CLaSH.Normalize
mkClock
CLaSH.Driver.TopWrapper
mkClockDecl
CLaSH.Driver.TopWrapper
mkClocks
CLaSH.Driver.TopWrapper
MkData
CLaSH.Core.DataCon
mkDcApplication
CLaSH.Netlist
mkDeclarations
CLaSH.Netlist
mkDerivedName
CLaSH.Rewrite.Util
mkDisjointGroup
CLaSH.Normalize.DEC
mkEnv
CLaSH.Rewrite.Util
mkExpr
CLaSH.Netlist
mkFunApp
CLaSH.Netlist
mkFunction
CLaSH.Rewrite.Util
mkFunInput
CLaSH.Netlist.BlackBox
mkFunTy
CLaSH.Core.Type
mkId
CLaSH.Core.Util
mkInput
CLaSH.Driver.TopWrapper
mkInternalVar
CLaSH.Rewrite.Util
mkKindTyCon
CLaSH.Core.TyCon
mkLams
CLaSH.Core.Util
mkOutput
CLaSH.Driver.TopWrapper
mkPrimitive
CLaSH.Netlist.BlackBox
mkRecursiveComponents
CLaSH.Normalize.Util
mkResets
CLaSH.Driver.TopWrapper
mkSelectorCase
CLaSH.Rewrite.Util
mkTmApps
CLaSH.Core.Util
mkTmBinderFor
CLaSH.Rewrite.Util
mkTopWrapper
CLaSH.Driver.TopWrapper
mkTravVec
CLaSH.Normalize.PrimitiveReductions
mkTyApps
CLaSH.Core.Util
mkTyConApp
CLaSH.Core.Type
mkTyConTy
CLaSH.Core.Type
mkTyLams
CLaSH.Core.Util
mkTyPackage
CLaSH.Backend
mkTyVar
CLaSH.Core.Util
mkUnique
CLaSH.Netlist.Util
mkUniqueIdentifier
CLaSH.Netlist.Util
mkUniqueNormalized
CLaSH.Netlist.Util
mkVec
CLaSH.Core.Util
mkVectorChain
CLaSH.Driver.TopWrapper
mkWildValBinder
CLaSH.Rewrite.Util
Modifier
CLaSH.Netlist.Types
modifyVarName
CLaSH.Core.Var
ModName
CLaSH.Backend
MonadUnique
CLaSH.Util
name
1 (Function)
CLaSH.Primitives.Types
2 (Function)
CLaSH.Backend
nameCounter
CLaSH.Rewrite.Types
NetDecl
CLaSH.Netlist.Types
NetlistMonad
1 (Type/Class)
CLaSH.Netlist.Types
2 (Data Constructor)
CLaSH.Netlist.Types
NetlistState
1 (Type/Class)
CLaSH.Netlist.Types
2 (Data Constructor)
CLaSH.Netlist.Types
NewTyCon
CLaSH.Core.TyCon
nonRepANF
CLaSH.Normalize.Transformations
nonRepSpec
CLaSH.Normalize.Transformations
normalization
CLaSH.Normalize.Strategy
normalize
CLaSH.Normalize
normalize'
CLaSH.Normalize
normalized
CLaSH.Normalize.Types
NormalizeMonad
CLaSH.Normalize.Types
NormalizeSession
CLaSH.Normalize.Types
NormalizeState
1 (Type/Class)
CLaSH.Normalize.Types
2 (Data Constructor)
CLaSH.Normalize.Types
NormRewrite
CLaSH.Normalize.Types
noSrcSpan
CLaSH.Driver.Types
ntEtadRhs
CLaSH.Core.TyCon
NumLit
CLaSH.Netlist.Types
NumTy
CLaSH.Core.Type
O
CLaSH.Netlist.BlackBox.Types
on
CLaSH.Util
opt_cleanhdl
CLaSH.Driver.Types
opt_dbgLevel
CLaSH.Driver.Types
opt_errorExtra
CLaSH.Driver.Types
opt_hdlDir
CLaSH.Driver.Types
opt_hdlSyn
CLaSH.Driver.Types
opt_inlineBelow
CLaSH.Driver.Types
opt_inlineLimit
CLaSH.Driver.Types
opt_intWidth
CLaSH.Driver.Types
opt_specLimit
CLaSH.Driver.Types
Other
CLaSH.Netlist.BlackBox.Types
OtherType
CLaSH.Core.Type
Out
CLaSH.Netlist.Types
outputs
CLaSH.Netlist.Types
parseFail
CLaSH.Netlist.BlackBox.Util
parsePrimitive
CLaSH.Driver
partitionM
CLaSH.Util
Pat
CLaSH.Core.Term
patIds
CLaSH.Core.Util
PortDirection
CLaSH.Netlist.Types
ppr
CLaSH.Core.Pretty
pprPrec
CLaSH.Core.Pretty
prepareBlackBox
CLaSH.Netlist.BlackBox
prepareDir
CLaSH.Driver
preserveVarEnv
CLaSH.Netlist.Util
Pretty
CLaSH.Core.Pretty
prettyBlackBox
CLaSH.Netlist.BlackBox.Util
prettyElem
CLaSH.Netlist.BlackBox.Util
Prim
CLaSH.Core.Term
primDir
CLaSH.Backend
Primitive
1 (Type/Class)
CLaSH.Primitives.Types
2 (Data Constructor)
CLaSH.Primitives.Types
primitives
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Normalize.Types
PrimMap
CLaSH.Primitives.Types
PrimTyCon
CLaSH.Core.TyCon
primType
CLaSH.Primitives.Types
Product
CLaSH.Netlist.Types
pure
CLaSH.Util
R
CLaSH.Rewrite.Types
RationalLiteral
CLaSH.Core.Literal
recToLetRec
CLaSH.Normalize.Transformations
recursiveComponents
CLaSH.Normalize.Types
reduceAppend
CLaSH.Normalize.PrimitiveReductions
reduceConst
CLaSH.Normalize.Transformations
reduceDFold
CLaSH.Normalize.PrimitiveReductions
reduceFold
CLaSH.Normalize.PrimitiveReductions
reduceFoldr
CLaSH.Normalize.PrimitiveReductions
reduceHead
CLaSH.Normalize.PrimitiveReductions
reduceImap
CLaSH.Normalize.PrimitiveReductions
reduceMap
CLaSH.Normalize.PrimitiveReductions
reduceNonRepPrim
CLaSH.Normalize.Transformations
reduceReplicate
CLaSH.Normalize.PrimitiveReductions
reduceTail
CLaSH.Normalize.PrimitiveReductions
reduceTranspose
CLaSH.Normalize.PrimitiveReductions
reduceTraverse
CLaSH.Normalize.PrimitiveReductions
reduceTypeFamily
CLaSH.Core.Type
reduceUnconcat
CLaSH.Normalize.PrimitiveReductions
reduceZipWith
CLaSH.Normalize.PrimitiveReductions
removeUnusedExpr
CLaSH.Normalize.Transformations
renderBlackBox
CLaSH.Netlist.BlackBox.Util
renderElem
CLaSH.Netlist.BlackBox.Util
renderFilePath
CLaSH.Netlist.BlackBox.Util
renderTag
CLaSH.Netlist.BlackBox.Util
repeatR
CLaSH.Rewrite.Combinators
representableType
CLaSH.Netlist.Util
Reset
CLaSH.Netlist.Types
Rewrite
CLaSH.Rewrite.Types
RewriteEnv
1 (Type/Class)
CLaSH.Rewrite.Types
2 (Data Constructor)
CLaSH.Rewrite.Types
rewriteExpr
CLaSH.Normalize
RewriteMonad
CLaSH.Rewrite.Types
RewriteState
1 (Type/Class)
CLaSH.Rewrite.Types
2 (Data Constructor)
CLaSH.Rewrite.Types
Rst
CLaSH.Netlist.BlackBox.Types
runNetlist
CLaSH.Netlist.Types
runNetlistMonad
CLaSH.Netlist
runNormalization
CLaSH.Normalize
runParse
CLaSH.Netlist.BlackBox.Parser
runR
CLaSH.Rewrite.Types
runRewrite
CLaSH.Rewrite.Util
runRewriteSession
CLaSH.Rewrite.Util
second
CLaSH.Util
secondM
CLaSH.Util
seenComps
CLaSH.Netlist.Types
seenIds
CLaSH.Netlist.Types
setChanged
CLaSH.Rewrite.Util
setClocks
CLaSH.Netlist.BlackBox.Util
setCompName
CLaSH.Netlist.BlackBox.Util
setModName
CLaSH.Backend
setSrcSpan
CLaSH.Backend
setSym
CLaSH.Netlist.BlackBox.Util
showDoc
CLaSH.Core.Pretty
SigD
CLaSH.Netlist.BlackBox.Types
Signed
CLaSH.Netlist.Types
simpleCSE
CLaSH.Normalize.Transformations
Size
1 (Data Constructor)
CLaSH.Netlist.BlackBox.Types
2 (Type/Class)
CLaSH.Netlist.Types
SP
CLaSH.Netlist.Types
specArgBndrsAndVars
CLaSH.Rewrite.Util
specialisationCache
CLaSH.Normalize.Types
specialisationHistory
CLaSH.Normalize.Types
specialisationLimit
CLaSH.Normalize.Types
specialise
CLaSH.Rewrite.Util
specialise'
CLaSH.Rewrite.Util
specializeNorm
CLaSH.Normalize.Util
splitAtList
CLaSH.Util
splitCoreFunForallTy
CLaSH.Core.Type
splitFunForallTy
CLaSH.Core.Type
splitFunTy
CLaSH.Core.Type
splitFunTys
CLaSH.Core.Type
splitNormalized
CLaSH.Netlist.Util
splitTyConAppM
CLaSH.Core.Type
SrcSpan
CLaSH.Driver.Types
String
CLaSH.Netlist.Types
StringLit
CLaSH.Netlist.Types
StringLiteral
CLaSH.Core.Literal
stringPrimTy
CLaSH.Core.TysPrim
stringToVar
CLaSH.Driver.TopWrapper
stripArgs
CLaSH.Normalize
stripDollarPrefixes
CLaSH.Netlist.Id
substituteBinders
CLaSH.Rewrite.Util
substKindWith
CLaSH.Core.Subst
substTm
CLaSH.Core.Subst
substTms
CLaSH.Core.Subst
substTy
CLaSH.Core.Subst
substTyInTm
CLaSH.Core.Subst
substTys
CLaSH.Core.Subst
substTysinTm
CLaSH.Core.Subst
Sum
CLaSH.Netlist.Types
SuperKindTyCon
CLaSH.Core.TyCon
Sym
CLaSH.Netlist.BlackBox.Types
SymTy
CLaSH.Core.Type
SyncExpr
CLaSH.Netlist.Types
synchronizedClk
CLaSH.Netlist.Util
SyncIdentifier
CLaSH.Netlist.Types
syncIdToSyncExpr
CLaSH.Netlist.BlackBox.Util
tailCalls
CLaSH.Rewrite.Util
tcCache
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
template
CLaSH.Primitives.Types
Term
CLaSH.Core.Term
termFreeIds
CLaSH.Core.FreeVars
termFreeTyVars
CLaSH.Core.FreeVars
termHWType
CLaSH.Netlist.Util
termHWTypeM
CLaSH.Netlist.Util
termSize
CLaSH.Core.Util
termType
CLaSH.Core.Util
TmName
CLaSH.Core.Term
toBV
CLaSH.Backend
topdownR
CLaSH.Rewrite.Combinators
topdownSucR
CLaSH.Normalize.Strategy
topLet
CLaSH.Normalize.Transformations
toSimpleVar
CLaSH.Netlist
traceIf
CLaSH.Util
Transform
CLaSH.Rewrite.Types
transformCounter
CLaSH.Rewrite.Types
tupleTcCache
CLaSH.Rewrite.Types
TyApp
CLaSH.Core.Term
TyAppC
CLaSH.Rewrite.Types
TyCon
1 (Type/Class)
CLaSH.Core.TyCon
2 (Data Constructor)
CLaSH.Core.Type
TyConApp
CLaSH.Core.Type
tyConArity
CLaSH.Core.TyCon
tyConDataCons
CLaSH.Core.TyCon
tyConKind
CLaSH.Core.TyCon
TyConName
CLaSH.Core.TyCon
tyConName
CLaSH.Core.TyCon
tyConSubst
CLaSH.Core.TyCon
TyLam
CLaSH.Core.Term
TyLamBody
CLaSH.Rewrite.Types
TyName
CLaSH.Core.Type
tyNatSize
CLaSH.Core.Util
Typ
CLaSH.Netlist.BlackBox.Types
Type
CLaSH.Core.Type
typeFreeVars
CLaSH.Core.FreeVars
typeKind
CLaSH.Core.Type
TypElem
CLaSH.Netlist.BlackBox.Types
typeLength
CLaSH.Netlist.Util
typeNatKind
CLaSH.Core.TysPrim
typeSize
CLaSH.Netlist.Util
typeSpec
CLaSH.Normalize.Transformations
typeSymbolKind
CLaSH.Core.TysPrim
typeTranslator
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
TypeView
CLaSH.Core.Type
TypM
CLaSH.Netlist.BlackBox.Types
tysPrimMap
CLaSH.Core.TysPrim
TyVar
1 (Type/Class)
CLaSH.Core.Var
,
CLaSH.Core.Type
2 (Data Constructor)
CLaSH.Core.Var
tyView
CLaSH.Core.Type
U
CLaSH.Netlist.Types
undefinedTy
CLaSH.Core.Type
uniqSupply
CLaSH.Rewrite.Types
unsafeBottomupR
CLaSH.Rewrite.Combinators
unsafeCoreTypeToHWType
CLaSH.Netlist.Util
unsafeCoreTypeToHWTypeM
CLaSH.Netlist.Util
unsafeRunNetlist
CLaSH.Driver.TopWrapper
unsafeTopdownR
CLaSH.Rewrite.Combinators
Unsigned
CLaSH.Netlist.Types
usedArguments
CLaSH.Netlist.BlackBox.Util
Var
1 (Type/Class)
CLaSH.Core.Var
2 (Data Constructor)
CLaSH.Core.Term
varCount
CLaSH.Netlist.Types
varEnv
CLaSH.Netlist.Types
varKind
CLaSH.Core.Var
varName
CLaSH.Core.Var
Vars
CLaSH.Netlist.BlackBox.Types
varToId
CLaSH.Core.Util
VarTy
CLaSH.Core.Type
varType
CLaSH.Core.Var
VecAppend
CLaSH.Netlist.Types
VecLit
CLaSH.Netlist.Types
Vector
CLaSH.Netlist.Types
verifyBlackBoxContext
CLaSH.Netlist.BlackBox.Util
Vivado
CLaSH.Netlist.BlackBox.Types
Void
CLaSH.Netlist.Types
voidPrimTy
CLaSH.Core.TysPrim
whenR
CLaSH.Rewrite.Combinators
Word64Literal
CLaSH.Core.Literal
word64PrimTy
CLaSH.Core.TysPrim
WordLiteral
CLaSH.Core.Literal
wordPrimTy
CLaSH.Core.TysPrim
writeHDL
CLaSH.Driver
Z
CLaSH.Netlist.Types
zoomExtra
CLaSH.Rewrite.Util
_bindings
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
_componentNames
CLaSH.Netlist.Types
_components
CLaSH.Netlist.Types
_curCompNm
CLaSH.Netlist.Types
_curFun
CLaSH.Rewrite.Types
_dataFiles
CLaSH.Netlist.Types
_dbgLevel
CLaSH.Rewrite.Types
_evaluator
CLaSH.Rewrite.Types
_extra
CLaSH.Rewrite.Types
_inlineBelow
CLaSH.Normalize.Types
_inlineHistory
CLaSH.Normalize.Types
_inlineLimit
CLaSH.Normalize.Types
_intWidth
CLaSH.Netlist.Types
_mkBasicIdFn
CLaSH.Netlist.Types
_nameCounter
CLaSH.Rewrite.Types
_normalized
CLaSH.Normalize.Types
_primitives
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Normalize.Types
_recursiveComponents
CLaSH.Normalize.Types
_seenComps
CLaSH.Netlist.Types
_seenIds
CLaSH.Netlist.Types
_specialisationCache
CLaSH.Normalize.Types
_specialisationHistory
CLaSH.Normalize.Types
_specialisationLimit
CLaSH.Normalize.Types
_tcCache
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
_transformCounter
CLaSH.Rewrite.Types
_tupleTcCache
CLaSH.Rewrite.Types
_typeTranslator
1 (Function)
CLaSH.Netlist.Types
2 (Function)
CLaSH.Rewrite.Types
_uniqSupply
CLaSH.Rewrite.Types
_varCount
CLaSH.Netlist.Types
_varEnv
CLaSH.Netlist.Types