Contents
Index
clash-lib-0.99.1: 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
addImports
Clash.Backend
addInclude
Clash.Backend
addLibraries
Clash.Backend
addNewInline
Clash.Normalize.Util
algTcRhs
Clash.Core.TyCon
AlgTyCon
Clash.Core.TyCon
AlgTyConRhs
Clash.Core.TyCon
allocate
Clash.Core.Evaluator
allowZero
Clash.Rewrite.Types
allR
Clash.Rewrite.Combinators
alreadyInlined
Clash.Normalize.Util
Alt
Clash.Core.Term
And
Clash.Netlist.BlackBox.Types
App
Clash.Core.Term
AppArg
Clash.Rewrite.Types
appendIdentifier
Clash.Netlist.Util
appendNumber
Clash.Netlist.Util
appendToName
Clash.Core.Name
appendToVec
Clash.Core.Util
AppFun
Clash.Rewrite.Types
Applicative
Clash.Util
Apply
Clash.Core.Evaluator
apply
1 (Function)
Clash.Core.Evaluator
2 (Function)
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
argBV
Clash.Netlist.Util
argCastSpec
Clash.Normalize.Transformations
Arrow
Clash.Core.Type
Assignment
Clash.Netlist.Types
Backend
Clash.Backend
Basic
Clash.Netlist.Id
bbFunctions
Clash.Netlist.Types
bbInputs
Clash.Netlist.Types
bbQsysIncName
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
1 (Type/Class)
Clash.Netlist.Types
2 (Data Constructor)
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
blockDecl
Clash.Backend
Bool
Clash.Netlist.Types
BoolLit
Clash.Netlist.Types
bottomupR
Clash.Rewrite.Combinators
bottomupWhenR
Clash.Rewrite.Combinators
buildSNat
Clash.Normalize.PrimitiveReductions
BV
Clash.Netlist.BlackBox.Types
C
Clash.Netlist.BlackBox.Types
CallGraph
Clash.Normalize.Util
callGraph
Clash.Normalize.Util
callGraphBindings
Clash.Driver
CallTree
Clash.Normalize
callTreeToList
Clash.Normalize
Case
Clash.Core.Term
CaseAlt
Clash.Rewrite.Types
caseCase
Clash.Normalize.Transformations
caseCast
Clash.Normalize.Transformations
caseCon
Clash.Normalize.Transformations
caseFlat
Clash.Normalize.Transformations
caseLet
Clash.Normalize.Transformations
CaseScrut
Clash.Rewrite.Types
Cast
Clash.Core.Term
CastBody
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
classifyFunction
Clash.Normalize.Util
CLeaf
Clash.Normalize
cleanupGraph
Clash.Normalize
Clock
Clash.Netlist.Types
clockResetErrors
Clash.Normalize
clogBase
Clash.Util
cloneVar
Clash.Rewrite.Util
closestLetBinder
Clash.Rewrite.Util
coerceName
Clash.Core.Name
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
1 (Function)
Clash.Driver.Types
2 (Function)
Clash.Netlist.Types
components
Clash.Netlist.Types
concatPortDecls3
Clash.Netlist.Util
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
ConvBV
Clash.Netlist.Types
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
1 (Data Constructor)
Clash.Netlist.Types
2 (Data Constructor)
Clash.Core.Evaluator
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.Driver.Types
DebugApplied
Clash.Driver.Types
DebugFinal
Clash.Driver.Types
DebugLevel
Clash.Driver.Types
DebugName
Clash.Driver.Types
DebugNone
Clash.Driver.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
Depth
Clash.Netlist.BlackBox.Types
disjointExpressionConsolidation
Clash.Normalize.Transformations
doConv
Clash.Netlist.Util
dot
Clash.Util
DoubleLiteral
Clash.Core.Literal
doublePrimTy
Clash.Core.TysPrim
Element
Clash.Netlist.BlackBox.Types
eliminateCastCast
Clash.Normalize.Transformations
emptyBBContext
Clash.Netlist.Types
Err
Clash.Netlist.BlackBox.Types
escapeTemplate
Clash.Backend
etaExpansionTL
Clash.Normalize.Transformations
evaluator
Clash.Rewrite.Types
Expr
Clash.Netlist.Types
expr
Clash.Backend
exprToText
Clash.Netlist.BlackBox.Util
Extended
Clash.Netlist.Id
extendIdentifier
1 (Function)
Clash.Backend
2 (Function)
Clash.Netlist.Util
extendIdentifierFn
Clash.Netlist.Types
extendPorts
Clash.Netlist.Util
extension
Clash.Backend
External
Clash.Backend
extra
Clash.Rewrite.Types
extractElems
Clash.Core.Util
extractLiterals
Clash.Netlist.BlackBox.Util
extractTElems
Clash.Core.Util
extractTypes
Clash.Backend
FilePath
Clash.Netlist.BlackBox.Types
filterVoid
Clash.Netlist.Util
findAndSetDataFiles
Clash.Netlist.BlackBox.Util
findFunSubst
Clash.Core.Type
first
Clash.Util
firstM
Clash.Util
flattenCallTree
Clash.Normalize
flattenLet
Clash.Normalize.Transformations
flattenNode
Clash.Normalize
FloatLiteral
Clash.Core.Literal
floatPrimTy
Clash.Core.TysPrim
flogBase
Clash.Util
ForAllTy
Clash.Core.Type
force
Clash.Core.Evaluator
fromBV
Clash.Backend
function
Clash.Normalize.Types
FunTy
Clash.Core.Type
FunTyCon
Clash.Core.TyCon
Gamma
Clash.Core.Util
Gen
Clash.Netlist.BlackBox.Types
genComponent
Clash.Netlist
genComponentName
Clash.Netlist.Util
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
getSrcSpan
Clash.Backend
getUniqueM
Clash.Util
H
Clash.Netlist.Types
hdlDir
Clash.Netlist.Types
hdlKind
Clash.Backend
hdlRecSel
Clash.Backend
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
Heap
1 (Type/Class)
Clash.Core.Evaluator
2 (Data Constructor)
Clash.Core.Evaluator
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
idToExpr
Clash.Netlist.BlackBox.Util
idToPort
Clash.Netlist.Util
idToVar
Clash.Core.Util
IdType
Clash.Netlist.Id
IF
Clash.Netlist.BlackBox.Types
ifThenElse
Clash.Util
imports
Clash.Primitives.Types
In
Clash.Netlist.Types
include
1 (Function)
Clash.Primitives.Types
2 (Function)
Clash.Backend.Verilog
IncludeName
Clash.Netlist.BlackBox.Types
Index
Clash.Netlist.Types
Indexed
Clash.Netlist.Types
indexMaybe
Clash.Util
indexNote
Clash.Util
IndexType
Clash.Netlist.BlackBox.Types
initBackend
Clash.Backend
inlineBinders
Clash.Rewrite.Util
inlineCast
Clash.Normalize.Transformations
inlineCleanup
Clash.Normalize.Transformations
inlineConstantLimit
Clash.Normalize.Types
inlineFunctionLimit
Clash.Normalize.Types
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
inlineWorkFree
Clash.Normalize.Transformations
innerMost
Clash.Normalize.Strategy
inputs
Clash.Netlist.Types
inst
Clash.Backend
Instantiate
Clash.Core.Evaluator
instantiate
Clash.Core.Evaluator
instantiateCompName
Clash.Netlist.BlackBox
InstDecl
Clash.Netlist.Types
Int64Literal
Clash.Core.Literal
int64PrimTy
Clash.Core.TysPrim
IntegerLiteral
Clash.Core.Literal
integerPrimTy
Clash.Core.TysPrim
Internal
1 (Data Constructor)
Clash.Core.Name
2 (Data Constructor)
Clash.Backend
IntLiteral
Clash.Core.Literal
intPrimTy
Clash.Core.TysPrim
intWidth
Clash.Netlist.Types
isCheapFunction
Clash.Normalize.Util
isClockOrReset
Clash.Core.Util
isClosed
Clash.Normalize.Util
isCon
Clash.Core.Util
isConstant
Clash.Normalize.Util
isConstantNotClockReset
Clash.Normalize.Util
isDisjoint
Clash.Normalize.DEC
isFun
Clash.Core.Util
isFunTy
Clash.Core.Type
IsGated
Clash.Netlist.BlackBox.Types
isIntegerTy
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
isScrut
Clash.Core.Evaluator
isSignalType
Clash.Core.Util
IsSync
Clash.Netlist.BlackBox.Types
isTupleTyConLike
Clash.Core.TyCon
isUntranslatable
Clash.Rewrite.Util
isUntranslatableType
Clash.Rewrite.Util
IsVar
Clash.Netlist.BlackBox.Types
isVar
Clash.Core.Util
isVoid
Clash.Netlist.Util
isVoidWrapper
Clash.Rewrite.Util
IW64
Clash.Netlist.BlackBox.Types
iwWidth
Clash.Backend
KiName
Clash.Core.Type
Kind
Clash.Core.Type
KindOrType
Clash.Core.Type
KiOccName
Clash.Core.Type
L
1 (Data Constructor)
Clash.Netlist.BlackBox.Types
2 (Data Constructor)
Clash.Netlist.Types
Lam
Clash.Core.Term
Lambda
Clash.Core.Evaluator
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
letCast
Clash.Normalize.Transformations
Letrec
Clash.Core.Term
letSubst
Clash.Core.Evaluator
library
Clash.Primitives.Types
liftBinding
Clash.Rewrite.Util
liftedTypeKind
Clash.Core.TysPrim
liftState
Clash.Util
lineToIdentifier
Clash.Netlist.BlackBox.Util
lineToType
Clash.Netlist.BlackBox.Util
Lit
Clash.Core.Evaluator
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
makeOccName
Clash.Core.Name
makeSystemName
Clash.Core.Name
Manifest
1 (Type/Class)
Clash.Driver.Types
2 (Data Constructor)
Clash.Driver.Types
manifestHash
Clash.Driver.Types
mapAccumLM
Clash.Util
matchLit
Clash.Core.Evaluator
mkAbstr
Clash.Core.Evaluator
mkAbstraction
Clash.Core.Util
mkADT
Clash.Netlist.Util
mkApps
Clash.Core.Util
mkArgument
Clash.Netlist.BlackBox
mkBasicId'
Clash.Netlist.Id
mkBinderFor
Clash.Rewrite.Util
mkBlackBoxContext
Clash.Netlist.BlackBox
mkCallTree
Clash.Normalize
MkData
Clash.Core.DataCon
mkDcApplication
Clash.Netlist
mkDeclarations
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
mkIdentifier
1 (Function)
Clash.Backend
2 (Function)
Clash.Netlist.Util
mkIdentifierFn
Clash.Netlist.Types
mkInput
Clash.Netlist.Util
mkInternalVar
Clash.Rewrite.Util
mkKindTyCon
Clash.Core.TyCon
mkLams
Clash.Core.Util
mkNetDecl
Clash.Netlist
mkOutput
Clash.Netlist.Util
mkPrimitive
Clash.Netlist.BlackBox
mkProjection
Clash.Netlist
mkRTree
Clash.Core.Util
mkRTreeChain
Clash.Netlist.Util
mkSelection
Clash.Netlist
mkSelectorCase
Clash.Rewrite.Util
mkTmApps
Clash.Core.Util
mkTmBinderFor
Clash.Rewrite.Util
mkTopInput
Clash.Netlist.Util
mkTopOutput
Clash.Netlist.Util
mkTopUnWrapper
Clash.Netlist.Util
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
mkUniqueArguments
Clash.Netlist.Util
mkUniqueIdentifier
Clash.Netlist.Util
mkUniqueNormalized
Clash.Netlist.Util
mkUniqueResult
Clash.Netlist.Util
mkVec
Clash.Core.Util
mkVectorChain
Clash.Netlist.Util
mkWildValBinder
Clash.Rewrite.Util
Modifier
Clash.Netlist.Types
modifyVarName
Clash.Core.Var
ModName
Clash.Backend
MonadUnique
Clash.Util
N
Clash.Netlist.BlackBox.Types
Name
1 (Type/Class)
Clash.Core.Name
2 (Data Constructor)
Clash.Core.Name
name
1 (Function)
Clash.Primitives.Types
2 (Function)
Clash.Backend
name2Integer
Clash.Core.Name
name2String
Clash.Core.Name
nameCounter
Clash.Rewrite.Types
nameLoc
Clash.Core.Name
nameOcc
Clash.Core.Name
NameSort
Clash.Core.Name
nameSort
Clash.Core.Name
NaturalLiteral
Clash.Core.Literal
naturalPrimTy
Clash.Core.TysPrim
Nested
Clash.Netlist.Types
nestM
Clash.Backend
NetDecl
Clash.Netlist.Types
,
Clash.Netlist.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
newLetBinding
Clash.Core.Evaluator
newLetBindings'
Clash.Core.Evaluator
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
normalizeEntity
Clash.Driver
normalizeId
Clash.Rewrite.Util
NormalizeMonad
Clash.Normalize.Types
NormalizeSession
Clash.Normalize.Types
NormalizeState
1 (Type/Class)
Clash.Normalize.Types
2 (Data Constructor)
Clash.Normalize.Types
normalizeTermTypes
Clash.Rewrite.Util
normalizeType
Clash.Core.Type
NormRewrite
Clash.Normalize.Types
noSrcSpan
Clash.Core.Name
,
Clash.Driver.Types
ntEtadRhs
Clash.Core.TyCon
NumLit
Clash.Netlist.Types
NumTy
Clash.Core.Type
O
Clash.Netlist.BlackBox.Types
OccName
Clash.Core.Name
on
Clash.Util
opt_allowZero
Clash.Driver.Types
opt_cachehdl
Clash.Driver.Types
opt_cleanhdl
Clash.Driver.Types
opt_dbgLevel
Clash.Driver.Types
opt_errorExtra
Clash.Driver.Types
opt_floatSupport
Clash.Driver.Types
opt_hdlDir
Clash.Driver.Types
opt_hdlSyn
Clash.Driver.Types
opt_importPaths
Clash.Driver.Types
opt_inlineConstantLimit
Clash.Driver.Types
opt_inlineFunctionLimit
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
outputReg
Clash.Primitives.Types
outputs
Clash.Netlist.Types
OutputWireReg
Clash.Netlist.BlackBox.Types
parseFail
Clash.Netlist.BlackBox.Util
parsePrimitive
1 (Function)
Clash.Primitives.Util
2 (Function)
Clash.Driver
partitionM
Clash.Util
Pat
Clash.Core.Term
patIds
Clash.Core.Util
PortDirection
Clash.Netlist.Types
portInNames
Clash.Driver.Types
portInTypes
Clash.Driver.Types
portName
Clash.Netlist.Util
portOutNames
Clash.Driver.Types
portOutTypes
Clash.Driver.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
PrimApply
Clash.Core.Evaluator
primDirs
Clash.Backend
PrimEvaluator
Clash.Core.Evaluator
Primitive
1 (Type/Class)
Clash.Primitives.Types
2 (Data Constructor)
Clash.Primitives.Types
primitive
Clash.Normalize.Types
primitives
1 (Function)
Clash.Netlist.Types
2 (Function)
Clash.Normalize.Types
PrimMap
Clash.Primitives.Types
primop
Clash.Core.Evaluator
PrimTyCon
Clash.Core.TyCon
primType
Clash.Primitives.Types
PrimVal
Clash.Core.Evaluator
Product
Clash.Netlist.Types
pure
Clash.Util
PureHeap
Clash.Core.Evaluator
R
Clash.Rewrite.Types
recToLetRec
Clash.Normalize.Transformations
recursiveComponents
Clash.Normalize.Types
reduceAppend
Clash.Normalize.PrimitiveReductions
reduceConst
Clash.Normalize.Transformations
reduceDFold
Clash.Normalize.PrimitiveReductions
reduceDTFold
Clash.Normalize.PrimitiveReductions
reduceFold
Clash.Normalize.PrimitiveReductions
reduceFoldr
Clash.Normalize.PrimitiveReductions
reduceHead
Clash.Normalize.PrimitiveReductions
reduceImap
Clash.Normalize.PrimitiveReductions
reduceInit
Clash.Normalize.PrimitiveReductions
reduceLast
Clash.Normalize.PrimitiveReductions
reduceMap
Clash.Normalize.PrimitiveReductions
reduceNonRepPrim
Clash.Normalize.Transformations
reduceReplicate
Clash.Normalize.PrimitiveReductions
reduceTail
Clash.Normalize.PrimitiveReductions
reduceTFold
Clash.Normalize.PrimitiveReductions
reduceTranspose
Clash.Normalize.PrimitiveReductions
reduceTraverse
Clash.Normalize.PrimitiveReductions
reduceTReplicate
Clash.Normalize.PrimitiveReductions
reduceTypeFamily
Clash.Core.Type
reduceUnconcat
Clash.Normalize.PrimitiveReductions
reduceZipWith
Clash.Normalize.PrimitiveReductions
Reg
Clash.Netlist.Types
removeUnusedExpr
Clash.Normalize.Transformations
renderBlackBox
Clash.Netlist.BlackBox.Util
renderElem
Clash.Netlist.BlackBox.Util
renderFilePath
Clash.Netlist.BlackBox.Util
renderTag
Clash.Netlist.BlackBox.Util
renderTemplate
Clash.Netlist.BlackBox.Util
repeatR
Clash.Rewrite.Combinators
repName
Clash.Netlist.Util
representableType
Clash.Netlist.Util
resBV
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
RTree
Clash.Netlist.Types
RTreeAppend
Clash.Netlist.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
Scrutinise
Clash.Core.Evaluator
scrutinise
Clash.Core.Evaluator
second
Clash.Util
secondM
Clash.Util
seenComps
Clash.Netlist.Types
seenIds
Clash.Netlist.Types
Sel
Clash.Netlist.BlackBox.Types
selection
Clash.Normalize.Types
setChanged
Clash.Rewrite.Util
setCompName
Clash.Netlist.BlackBox.Util
setModName
Clash.Backend
setSimpleVar
Clash.Netlist.BlackBox.Util
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
splitCastWork
Clash.Normalize.Transformations
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
Stack
Clash.Core.Evaluator
StackFrame
Clash.Core.Evaluator
State
Clash.Core.Evaluator
step
Clash.Core.Evaluator
StrCmp
Clash.Netlist.BlackBox.Types
String
Clash.Netlist.Types
string2InternalName
Clash.Core.Name
string2OccName
Clash.Core.Name
string2SystemName
Clash.Core.Name
StringLit
Clash.Netlist.Types
StringLiteral
Clash.Core.Literal
stringPrimTy
Clash.Core.TysPrim
stripArgs
Clash.Normalize
stripDollarPrefixes
Clash.Netlist.Id
substAlt
Clash.Core.Evaluator
substBndr
Clash.Core.Subst
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
synchronizedClk
Clash.Netlist.Util
System
Clash.Core.Name
SystemVerilogState
Clash.Backend.SystemVerilog
tailCalls
Clash.Rewrite.Util
tcCache
1 (Function)
Clash.Netlist.Types
2 (Function)
Clash.Rewrite.Types
template
Clash.Primitives.Types
Term
Clash.Core.Term
TermClassification
1 (Type/Class)
Clash.Normalize.Types
2 (Data Constructor)
Clash.Normalize.Types
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
TmOccName
Clash.Core.Term
toBV
Clash.Backend
topdownR
Clash.Rewrite.Combinators
topdownSucR
Clash.Normalize.Strategy
topEntities
Clash.Rewrite.Types
topEntityAnns
Clash.Netlist.Types
topLet
Clash.Normalize.Transformations
toSimpleVar
Clash.Netlist
toType
Clash.Core.Evaluator
toVar
Clash.Core.Evaluator
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
TyConMap
Clash.Core.TyCon
TyConName
Clash.Core.TyCon
tyConName
Clash.Core.TyCon
TyConOccName
Clash.Core.TyCon
tyConSubst
Clash.Core.TyCon
TyLam
Clash.Core.Term
TyLambda
Clash.Core.Evaluator
TyLamBody
Clash.Rewrite.Types
TyName
Clash.Core.Type
tyNatSize
Clash.Core.Util
TyOccName
Clash.Core.Type
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
unextend
Clash.Backend
uniqSupply
Clash.Rewrite.Types
uniqueInHeap
Clash.Core.Evaluator
uniquePortName
Clash.Netlist.Util
unsafeBottomupR
Clash.Rewrite.Combinators
unsafeCoreTypeToHWType
Clash.Netlist.Util
unsafeCoreTypeToHWTypeM
Clash.Netlist.Util
unsafeTopdownR
Clash.Rewrite.Combinators
Unsigned
Clash.Netlist.Types
unwind
Clash.Core.Evaluator
unwindStack
Clash.Core.Evaluator
Update
Clash.Core.Evaluator
update
Clash.Core.Evaluator
Usage
Clash.Backend
usedArguments
Clash.Netlist.BlackBox.Util
User
Clash.Core.Name
valToTerm
Clash.Core.Evaluator
Value
Clash.Core.Evaluator
Var
1 (Data Constructor)
Clash.Netlist.BlackBox.Types
2 (Type/Class)
Clash.Core.Var
3 (Data Constructor)
Clash.Core.Term
varCount
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
VerilogState
Clash.Backend.Verilog
VHDLState
Clash.Backend.VHDL
Vivado
Clash.Netlist.BlackBox.Types
Void
Clash.Netlist.Types
voidPrimTy
Clash.Core.TysPrim
whenR
Clash.Rewrite.Combinators
whnf
Clash.Core.Evaluator
whnf'
Clash.Core.Evaluator
Wire
Clash.Netlist.Types
WireOrReg
Clash.Netlist.Types
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
_allowZero
Clash.Rewrite.Types
_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
_extendIdentifierFn
Clash.Netlist.Types
_extra
Clash.Rewrite.Types
_function
Clash.Normalize.Types
_hdlDir
Clash.Netlist.Types
_inlineConstantLimit
Clash.Normalize.Types
_inlineFunctionLimit
Clash.Normalize.Types
_inlineHistory
Clash.Normalize.Types
_inlineLimit
Clash.Normalize.Types
_intWidth
Clash.Netlist.Types
_mkIdentifierFn
Clash.Netlist.Types
_nameCounter
Clash.Rewrite.Types
_normalized
Clash.Normalize.Types
_primitive
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
_selection
Clash.Normalize.Types
_specialisationCache
Clash.Normalize.Types
_specialisationHistory
Clash.Normalize.Types
_specialisationLimit
Clash.Normalize.Types
_tcCache
1 (Function)
Clash.Netlist.Types
2 (Function)
Clash.Rewrite.Types
_topEntities
Clash.Rewrite.Types
_topEntityAnns
Clash.Netlist.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