Index

!->	CLaSH.Rewrite.Combinators
***	CLaSH.Util
<$>	CLaSH.Util
<*>	CLaSH.Util
<:>	CLaSH.Util
<=<	CLaSH.Util
>-!	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
App	CLaSH.Core.Term
AppArg	CLaSH.Rewrite.Types
appendToName	CLaSH.Netlist.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
bindNonRep	CLaSH.Normalize.Transformations
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
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
caseLet	CLaSH.Normalize.Transformations
CaseScrut	CLaSH.Rewrite.Types
CBranch	CLaSH.Normalize
changed	CLaSH.Rewrite.Util
checkNonRecursive	CLaSH.Normalize
clashLibVersion	CLaSH.Util
CLeaf	CLaSH.Normalize
cleanupGraph	CLaSH.Normalize
Clk	CLaSH.Netlist.BlackBox.Types
clkSyncId	CLaSH.Netlist.BlackBox.Util
Clock	CLaSH.Netlist.Types
clog2	CLaSH.Util
cloneVar	CLaSH.Rewrite.Util
cmpCount	CLaSH.Netlist.Types
collectArgs	CLaSH.Core.Util
collectBndrs	CLaSH.Core.Util
combineM	CLaSH.Util
Component
1 (Type/Class)	CLaSH.Netlist.Types
2 (Data Constructor)	CLaSH.Netlist.Types
componentName	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
CoreContext	CLaSH.Rewrite.Types
coreTypeToHWType	CLaSH.Netlist.Util
coreTypeToHWTypeM	CLaSH.Netlist.Util
coreView	CLaSH.Core.Type
createHDL	CLaSH.Driver
curFun	CLaSH.Normalize.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
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
decodeAndReport	CLaSH.Primitives.Util
DefaultPat	CLaSH.Core.Term
Delta	CLaSH.Core.Util
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
extractLiterals	CLaSH.Netlist.BlackBox.Util
extractTypes	CLaSH.Backend
findFunSubst	CLaSH.Core.Type
first	CLaSH.Util
firstM	CLaSH.Util
flattenCallTree	CLaSH.Normalize
flattenNode	CLaSH.Normalize
ForAllTy	CLaSH.Core.Type
FunTy	CLaSH.Core.Type
FunTyCon	CLaSH.Core.TyCon
Gamma	CLaSH.Core.Util
genComponent	CLaSH.Netlist
genComponentT	CLaSH.Netlist
generateHDL	CLaSH.Driver
generatePrimMap	CLaSH.Primitives.Util
genHDL	CLaSH.Backend
genNetlist	CLaSH.Netlist
genTestBench	CLaSH.Driver.TestbenchGen
getUniqueM	CLaSH.Util
H	CLaSH.Netlist.Types
hdlSig	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
ifThenElse	CLaSH.Util
Index	CLaSH.Netlist.Types
Indexed	CLaSH.Netlist.Types
indexMaybe	CLaSH.Util
indexNote	CLaSH.Util
initBackend	CLaSH.Backend
inlineBinders	CLaSH.Rewrite.Util
inlineClosed	CLaSH.Normalize.Transformations
inlineHistory	CLaSH.Normalize.Types
inlineHO	CLaSH.Normalize.Transformations
inlineLimit	CLaSH.Normalize.Types
inlineNonRep	CLaSH.Normalize.Transformations
inlineSmall	CLaSH.Normalize.Transformations
innerMost	CLaSH.Normalize.Strategy
inputs	CLaSH.Netlist.Types
inst	CLaSH.Backend
instantiateSym	CLaSH.Netlist.BlackBox
InstDecl	CLaSH.Netlist.Types
Integer	CLaSH.Netlist.Types
IntegerLiteral	CLaSH.Core.Literal
intPrimTy	CLaSH.Core.TysPrim
isClosed	CLaSH.Normalize.Util
isCon	CLaSH.Core.Util
isConstant	CLaSH.Normalize.Util
isFun	CLaSH.Core.Util
isFunTy	CLaSH.Core.Type
isLam	CLaSH.Core.Util
isLambdaBodyCtx	CLaSH.Rewrite.Util
isLet	CLaSH.Core.Util
isLocalVar	CLaSH.Rewrite.Util
isPolyFun	CLaSH.Core.Util
isPolyFunCoreTy	CLaSH.Core.Type
isPolyFunTy	CLaSH.Core.Type
isPolyTy	CLaSH.Core.Type
isPrim	CLaSH.Core.Util
isRecursiveTy	CLaSH.Netlist.Util
isTupleTyConLike	CLaSH.Core.TyCon
isUntranslatable	CLaSH.Rewrite.Util
isVar	CLaSH.Core.Util
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
LetBinding
1 (Type/Class)	CLaSH.Core.Term
2 (Data Constructor)	CLaSH.Rewrite.Types
LetBody	CLaSH.Rewrite.Types
Letrec	CLaSH.Core.Term
liftBinders	CLaSH.Rewrite.Util
liftBinding	CLaSH.Rewrite.Util
liftedTypeKind	CLaSH.Core.TysPrim
liftNonRep	CLaSH.Normalize.Transformations
liftR	CLaSH.Rewrite.Util
liftRS	CLaSH.Rewrite.Util
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	CLaSH.Netlist.Id
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
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
mkInternalVar	CLaSH.Rewrite.Util
mkKindTyCon	CLaSH.Core.TyCon
mkLams	CLaSH.Core.Util
mkPrimitive	CLaSH.Netlist.BlackBox
mkSelectorCase	CLaSH.Rewrite.Util
mkTmApps	CLaSH.Core.Util
mkTmBinderFor	CLaSH.Rewrite.Util
mkTyApps	CLaSH.Core.Util
mkTyConApp	CLaSH.Core.Type
mkTyConTy	CLaSH.Core.Type
mkTyLams	CLaSH.Core.Util
mkTyPackage	CLaSH.Backend
mkTyVar	CLaSH.Core.Util
mkUniqueNormalized	CLaSH.Netlist.Util
mkWildValBinder	CLaSH.Rewrite.Util
Modifier	CLaSH.Netlist.Types
modifyVarName	CLaSH.Core.Var
MonadUnique	CLaSH.Util
name
1 (Function)	CLaSH.Primitives.Types
2 (Function)	CLaSH.Backend
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
ntEtadRhs	CLaSH.Core.TyCon
NumLit	CLaSH.Netlist.Types
NumTy	CLaSH.Core.Type
O	CLaSH.Netlist.BlackBox.Types
on	CLaSH.Util
OtherType	CLaSH.Core.Type
output	CLaSH.Netlist.Types
parseFail	CLaSH.Netlist.BlackBox.Util
partitionM	CLaSH.Util
Pat	CLaSH.Core.Term
patIds	CLaSH.Core.Util
ppr	CLaSH.Core.Pretty
pprPrec	CLaSH.Core.Pretty
prepareBlackBox	CLaSH.Netlist.BlackBox
prepareDir	CLaSH.Driver
preserveVarEnv	CLaSH.Netlist.Util
Pretty	CLaSH.Core.Pretty
Prim	CLaSH.Core.Term
primDir	CLaSH.Backend
Primitive
1 (Type/Class)	CLaSH.Primitives.Types
2 (Data Constructor)	CLaSH.Primitives.Types
primitives	CLaSH.Netlist.Types
PrimMap	CLaSH.Primitives.Types
PrimTyCon	CLaSH.Core.TyCon
primType	CLaSH.Primitives.Types
Product	CLaSH.Netlist.Types
pure	CLaSH.Util
R
1 (Type/Class)	CLaSH.Rewrite.Types
2 (Data Constructor)	CLaSH.Rewrite.Types
RationalLiteral	CLaSH.Core.Literal
RE	CLaSH.Rewrite.Types
recToLetRec	CLaSH.Normalize.Transformations
recursiveComponents	CLaSH.Normalize.Util
reduceConst	CLaSH.Normalize.Transformations
renderBlackBox	CLaSH.Netlist.BlackBox.Util
renderElem	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	CLaSH.Rewrite.Types
rewriteExpr	CLaSH.Normalize
RewriteMonad	CLaSH.Rewrite.Types
RewriteSession	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
setChanged	CLaSH.Rewrite.Util
setClocks	CLaSH.Netlist.BlackBox.Util
setSym	CLaSH.Netlist.BlackBox.Util
showDoc	CLaSH.Core.Pretty
SigD	CLaSH.Netlist.BlackBox.Types
Signed	CLaSH.Netlist.Types
simpleCSE	CLaSH.Normalize.Transformations
Size	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
splitFunForallTy	CLaSH.Core.Type
splitFunTy	CLaSH.Core.Type
splitFunTys	CLaSH.Core.Type
splitNormalized	CLaSH.Netlist.Util
splitTyConAppM	CLaSH.Core.Type
StringLiteral	CLaSH.Core.Literal
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
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
topdownR	CLaSH.Rewrite.Combinators
topdownSucR	CLaSH.Normalize.Strategy
topLet	CLaSH.Normalize.Transformations
traceIf	CLaSH.Util
Transform	CLaSH.Rewrite.Types
transformCounter	CLaSH.Rewrite.Types
transparentTy	CLaSH.Core.Type
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
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
uniqSupply	CLaSH.Rewrite.Types
unsafeBottomupR	CLaSH.Rewrite.Combinators
unsafeCoreTypeToHWType	CLaSH.Netlist.Util
unsafeCoreTypeToHWTypeM	CLaSH.Netlist.Util
unsafeTopdownR	CLaSH.Rewrite.Combinators
Unsigned	CLaSH.Netlist.Types
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
varToExpr	CLaSH.Netlist.Util
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
Void	CLaSH.Netlist.Types
voidPrimTy	CLaSH.Core.TysPrim
whenR	CLaSH.Rewrite.Combinators
writeHDL	CLaSH.Driver
Z	CLaSH.Netlist.Types
_bindings
1 (Function)	CLaSH.Netlist.Types
2 (Function)	CLaSH.Rewrite.Types
_cmpCount	CLaSH.Netlist.Types
_components	CLaSH.Netlist.Types
_curFun	CLaSH.Normalize.Types
_dbgLevel	CLaSH.Rewrite.Types
_evaluator	CLaSH.Rewrite.Types
_inlineHistory	CLaSH.Normalize.Types
_inlineLimit	CLaSH.Normalize.Types
_normalized	CLaSH.Normalize.Types
_primitives	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
_typeTranslator
1 (Function)	CLaSH.Netlist.Types
2 (Function)	CLaSH.Rewrite.Types
_uniqSupply	CLaSH.Rewrite.Types
_varCount	CLaSH.Netlist.Types
_varEnv	CLaSH.Netlist.Types