clash-lib-0.4.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.Util
addGlobalBindCLaSH.Rewrite.Util
addNewInlineCLaSH.Normalize.Util
algTcRhsCLaSH.Core.TyCon
AlgTyConCLaSH.Core.TyCon
AlgTyConRhsCLaSH.Core.TyCon
allRCLaSH.Rewrite.Combinators
alreadyInlinedCLaSH.Normalize.Util
AppCLaSH.Core.Term
AppArgCLaSH.Rewrite.Types
appendToNameCLaSH.Netlist.Util
AppFunCLaSH.Rewrite.Types
ApplicativeCLaSH.Util
applyCLaSH.Rewrite.Util
applyFunTyCLaSH.Core.Type
applyManyCLaSH.Normalize.Strategy
applyTyCLaSH.Core.Type
applyTypeToArgsCLaSH.Core.Util
appPropCLaSH.Normalize.Transformations
AppTyCLaSH.Core.Type
ArrowCLaSH.Core.Type
AssignmentCLaSH.Netlist.Types
BCLaSH.Netlist.BlackBox.Types
bindConstantVarCLaSH.Normalize.Transformations
BindingMapCLaSH.Driver.Types
bindings 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
bindNonRepCLaSH.Normalize.Transformations
BitCLaSH.Netlist.Types
BitLitCLaSH.Netlist.Types
BitVectorCLaSH.Netlist.Types
BlackBoxCLaSH.Primitives.Types
BlackBoxContextCLaSH.Netlist.BlackBox.Types
BlackBoxDCLaSH.Netlist.Types
BlackBoxECLaSH.Netlist.Types
BlackBoxMonadCLaSH.Netlist.BlackBox.Types
BlackBoxTemplateCLaSH.Netlist.BlackBox.Types
blockSinkCLaSH.Normalize.Util
BoolCLaSH.Netlist.Types
BoolLitCLaSH.Netlist.Types
bottomupRCLaSH.Rewrite.Combinators
bottomupWhenRCLaSH.Rewrite.Combinators
CCLaSH.Netlist.BlackBox.Types
callGraphCLaSH.Normalize.Util
CallTreeCLaSH.Normalize
callTreeToListCLaSH.Normalize
CaseCLaSH.Core.Term
CaseAltCLaSH.Rewrite.Types
caseCaseCLaSH.Normalize.Transformations
caseConCLaSH.Normalize.Transformations
caseLetCLaSH.Normalize.Transformations
CaseScrutCLaSH.Rewrite.Types
CBranchCLaSH.Normalize
changedCLaSH.Rewrite.Util
checkNonRecursiveCLaSH.Normalize
clashLibVersionCLaSH.Util
CLeafCLaSH.Normalize
cleanupGraphCLaSH.Normalize
ClkCLaSH.Netlist.BlackBox.Types
clkSyncIdCLaSH.Netlist.BlackBox.Util
ClockCLaSH.Netlist.Types
clog2CLaSH.Util
cloneVarCLaSH.Rewrite.Util
cmpCountCLaSH.Netlist.Types
collectArgsCLaSH.Core.Util
collectBndrsCLaSH.Core.Util
combineMCLaSH.Util
Component 
1 (Type/Class)CLaSH.Netlist.Types
2 (Data Constructor)CLaSH.Netlist.Types
componentNameCLaSH.Netlist.Types
componentsCLaSH.Netlist.Types
CondAssignmentCLaSH.Netlist.Types
conSizeCLaSH.Netlist.Util
constantPropgationCLaSH.Normalize.Strategy
constantSpecCLaSH.Normalize.Transformations
ConstTy 
1 (Type/Class)CLaSH.Core.Type
2 (Data Constructor)CLaSH.Core.Type
ConTagCLaSH.Core.DataCon
ContextCLaSH.Netlist.BlackBox.Types
contextEnvCLaSH.Rewrite.Util
CoreContextCLaSH.Rewrite.Types
coreTypeToHWTypeCLaSH.Netlist.Util
coreTypeToHWTypeMCLaSH.Netlist.Util
coreViewCLaSH.Core.Type
countArgsCLaSH.Netlist.BlackBox.Util
countFunsCLaSH.Netlist.BlackBox.Util
countLitsCLaSH.Netlist.BlackBox.Util
createVHDLCLaSH.Driver
curFunCLaSH.Normalize.Types
curLocCLaSH.Util
DCLaSH.Netlist.BlackBox.Types
DataCLaSH.Core.Term
DataCon 
1 (Type/Class)CLaSH.Core.DataCon
2 (Data Constructor)CLaSH.Netlist.Types
dataConCLaSH.Core.TyCon
dataConInstArgTysCLaSH.Core.DataCon
dataConsCLaSH.Core.TyCon
DataPatCLaSH.Core.Term
DataTagCLaSH.Netlist.Types
DataTyConCLaSH.Core.TyCon
dbgLevelCLaSH.Rewrite.Types
DCCLaSH.Netlist.Types
dcArgTysCLaSH.Core.DataCon
dcExtTyVarsCLaSH.Core.DataCon
DcNameCLaSH.Core.DataCon
dcNameCLaSH.Core.DataCon
dcTagCLaSH.Core.DataCon
dcToLiteralCLaSH.Netlist.Util
dcTypeCLaSH.Core.DataCon
dcUnivTyVarsCLaSH.Core.DataCon
deadCodeCLaSH.Normalize.Transformations
DebugAllCLaSH.Rewrite.Types
DebugAppliedCLaSH.Rewrite.Types
DebugFinalCLaSH.Rewrite.Types
DebugLevelCLaSH.Rewrite.Types
DebugNameCLaSH.Rewrite.Types
DebugNoneCLaSH.Rewrite.Types
Decl 
1 (Type/Class)CLaSH.Netlist.BlackBox.Types
2 (Data Constructor)CLaSH.Netlist.BlackBox.Types
DeclarationCLaSH.Netlist.Types
declarationsCLaSH.Netlist.Types
decodeAndReportCLaSH.Primitives.Util
DefaultPatCLaSH.Core.Term
DeltaCLaSH.Core.Util
dominatorCLaSH.Normalize.Util
dotCLaSH.Util
ElementCLaSH.Netlist.BlackBox.Types
ErrCLaSH.Netlist.BlackBox.Types
etaExpansionTLCLaSH.Normalize.Transformations
evaluatorCLaSH.Rewrite.Types
ExprCLaSH.Netlist.Types
exprCLaSH.Netlist.VHDL
findFunSubstCLaSH.Core.Type
firstCLaSH.Util
firstMCLaSH.Util
flattenCallTreeCLaSH.Normalize
flattenNodeCLaSH.Normalize
ForAllTyCLaSH.Core.Type
funInputsCLaSH.Netlist.BlackBox.Types
FunTyCLaSH.Core.Type
FunTyConCLaSH.Core.TyCon
GammaCLaSH.Core.Util
genComponentCLaSH.Netlist
genComponentTCLaSH.Netlist
generatePrimMapCLaSH.Primitives.Util
generateVHDLCLaSH.Driver
genNetlistCLaSH.Netlist
genTestBenchCLaSH.Driver.TestbenchGen
genVHDLCLaSH.Netlist.VHDL
getUniqueMCLaSH.Util
HCLaSH.Netlist.Types
hiddenPortsCLaSH.Netlist.Types
HWTypeCLaSH.Netlist.Types
ICLaSH.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
idToVarCLaSH.Core.Util
ifThenElseCLaSH.Util
IndexCLaSH.Netlist.Types
IndexedCLaSH.Netlist.Types
indexMaybeCLaSH.Util
indexNoteCLaSH.Util
inlineBindersCLaSH.Rewrite.Util
inlineClosedCLaSH.Normalize.Transformations
inlineHistoryCLaSH.Normalize.Types
inlineHOCLaSH.Normalize.Transformations
inlineLimitCLaSH.Normalize.Types
inlineNonRepCLaSH.Normalize.Transformations
inlineSmallCLaSH.Normalize.Transformations
innerMostCLaSH.Normalize.Strategy
inputs 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Netlist.BlackBox.Types
instCLaSH.Netlist.VHDL
instantiateSymCLaSH.Netlist.BlackBox
InstDeclCLaSH.Netlist.Types
IntegerCLaSH.Netlist.Types
IntegerLiteralCLaSH.Core.Literal
intPrimTyCLaSH.Core.TysPrim
isClosedCLaSH.Normalize.Util
isConCLaSH.Core.Util
isConstantCLaSH.Normalize.Util
isFunCLaSH.Core.Util
isFunTyCLaSH.Core.Type
isLamCLaSH.Core.Util
isLambdaBodyCtxCLaSH.Rewrite.Util
isLetCLaSH.Core.Util
isLocalVarCLaSH.Rewrite.Util
isPolyFunCLaSH.Core.Util
isPolyFunCoreTyCLaSH.Core.Type
isPolyFunTyCLaSH.Core.Type
isPolyTyCLaSH.Core.Type
isPrimCLaSH.Core.Util
isRecursiveTyCLaSH.Netlist.Util
isTupleTyConLikeCLaSH.Core.TyCon
isUntranslatableCLaSH.Rewrite.Util
isVarCLaSH.Core.Util
KiNameCLaSH.Core.Type
KindCLaSH.Core.Type
KindOrTypeCLaSH.Core.Type
L 
1 (Data Constructor)CLaSH.Netlist.Types
2 (Data Constructor)CLaSH.Netlist.BlackBox.Types
LamCLaSH.Core.Term
lambdaDropCLaSH.Normalize.Util
lambdaDropPrepCLaSH.Normalize.Util
LamBodyCLaSH.Rewrite.Types
LetBinding 
1 (Type/Class)CLaSH.Core.Term
2 (Data Constructor)CLaSH.Rewrite.Types
LetBodyCLaSH.Rewrite.Types
LetrecCLaSH.Core.Term
liftBindersCLaSH.Rewrite.Util
liftBindingCLaSH.Rewrite.Util
liftedTypeKindCLaSH.Core.TysPrim
liftNonRepCLaSH.Normalize.Transformations
liftRCLaSH.Rewrite.Util
liftRSCLaSH.Rewrite.Util
liftStateCLaSH.Util
lineToIdentifierCLaSH.Netlist.BlackBox.Util
lineToTypeCLaSH.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
literalTypeCLaSH.Core.Literal
litInputsCLaSH.Netlist.BlackBox.Types
LitPatCLaSH.Core.Term
LitTy 
1 (Type/Class)CLaSH.Core.Type
2 (Data Constructor)CLaSH.Core.Type
localFreeVarsCLaSH.Rewrite.Util
makeANFCLaSH.Normalize.Transformations
makeCachedCLaSH.Util
makeCachedT3CLaSH.Util
makeCachedT3SCLaSH.Util
makeLensesCLaSH.Util
mapAccumLMCLaSH.Util
mkAbstractionCLaSH.Core.Util
mkADTCLaSH.Netlist.Util
mkAppsCLaSH.Core.Util
mkBasicIdCLaSH.Netlist.Id
mkBasicId'CLaSH.Netlist.Id
mkBinderForCLaSH.Rewrite.Util
mkBlackBoxCLaSH.Netlist.BlackBox
mkBlackBoxContextCLaSH.Netlist.BlackBox
mkCallTreeCLaSH.Normalize
MkDataCLaSH.Core.DataCon
mkDcApplicationCLaSH.Netlist
mkDeclarationsCLaSH.Netlist
mkEnvCLaSH.Rewrite.Util
mkExprCLaSH.Netlist
mkFunAppCLaSH.Netlist
mkFunctionCLaSH.Rewrite.Util
mkFunInputCLaSH.Netlist.BlackBox
mkFunTyCLaSH.Core.Type
mkIdCLaSH.Core.Util
mkInputCLaSH.Netlist.BlackBox
mkInternalVarCLaSH.Rewrite.Util
mkKindTyConCLaSH.Core.TyCon
mkLamsCLaSH.Core.Util
mkLitInputCLaSH.Netlist.BlackBox
mkPrimitiveCLaSH.Netlist.BlackBox
mkSelectorCaseCLaSH.Rewrite.Util
mkSyncIdentifierCLaSH.Netlist.BlackBox.Util
mkTmAppsCLaSH.Core.Util
mkTmBinderForCLaSH.Rewrite.Util
mkTyAppsCLaSH.Core.Util
mkTyConAppCLaSH.Core.Type
mkTyConTyCLaSH.Core.Type
mkTyLamsCLaSH.Core.Util
mkTyPackageCLaSH.Netlist.VHDL
mkTyVarCLaSH.Core.Util
mkUniqueNormalizedCLaSH.Netlist.Util
mkWildValBinderCLaSH.Rewrite.Util
ModifierCLaSH.Netlist.Types
modifyVarNameCLaSH.Core.Var
MonadUniqueCLaSH.Util
nameCLaSH.Primitives.Types
NetDeclCLaSH.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
NewTyConCLaSH.Core.TyCon
nonRepANFCLaSH.Normalize.Transformations
nonRepSpecCLaSH.Normalize.Transformations
normalizationCLaSH.Normalize.Strategy
normalizeCLaSH.Normalize
normalize'CLaSH.Normalize
normalizedCLaSH.Normalize.Types
NormalizeMonadCLaSH.Normalize.Types
NormalizeSessionCLaSH.Normalize.Types
NormalizeState 
1 (Type/Class)CLaSH.Normalize.Types
2 (Data Constructor)CLaSH.Normalize.Types
NormRewriteCLaSH.Normalize.Types
ntEtadRhsCLaSH.Core.TyCon
NumLitCLaSH.Netlist.Types
NumTyCLaSH.Core.Type
OCLaSH.Netlist.BlackBox.Types
onCLaSH.Util
OtherTypeCLaSH.Core.Type
outputCLaSH.Netlist.Types
partitionMCLaSH.Util
PatCLaSH.Core.Term
patIdsCLaSH.Core.Util
pprCLaSH.Core.Pretty
pprPrecCLaSH.Core.Pretty
prepareDirCLaSH.Driver
preserveVarEnvCLaSH.Netlist.Util
PrettyCLaSH.Core.Pretty
PrimCLaSH.Core.Term
Primitive 
1 (Type/Class)CLaSH.Primitives.Types
2 (Data Constructor)CLaSH.Primitives.Types
primitivesCLaSH.Netlist.Types
PrimMapCLaSH.Primitives.Types
PrimTyConCLaSH.Core.TyCon
primTypeCLaSH.Primitives.Types
ProductCLaSH.Netlist.Types
pureCLaSH.Util
R 
1 (Type/Class)CLaSH.Rewrite.Types
2 (Data Constructor)CLaSH.Rewrite.Types
RationalLiteralCLaSH.Core.Literal
RECLaSH.Rewrite.Types
recToLetRecCLaSH.Normalize.Transformations
recursiveComponentsCLaSH.Normalize.Util
reduceConstCLaSH.Normalize.Transformations
renderBlackBoxCLaSH.Netlist.BlackBox.Util
renderElemCLaSH.Netlist.BlackBox.Util
repeatRCLaSH.Rewrite.Combinators
representableTypeCLaSH.Netlist.Util
ResetCLaSH.Netlist.Types
resultCLaSH.Netlist.BlackBox.Types
RewriteCLaSH.Rewrite.Types
RewriteEnvCLaSH.Rewrite.Types
rewriteExprCLaSH.Normalize
RewriteMonadCLaSH.Rewrite.Types
RewriteSessionCLaSH.Rewrite.Types
RewriteState 
1 (Type/Class)CLaSH.Rewrite.Types
2 (Data Constructor)CLaSH.Rewrite.Types
RstCLaSH.Netlist.BlackBox.Types
runBlackBoxMCLaSH.Netlist.BlackBox.Types
runNetlistCLaSH.Netlist.Types
runNetlistMonadCLaSH.Netlist
runNormalizationCLaSH.Normalize
runParseCLaSH.Netlist.BlackBox.Parser
runRCLaSH.Rewrite.Types
runRewriteCLaSH.Rewrite.Util
runRewriteSessionCLaSH.Rewrite.Util
secondCLaSH.Util
secondMCLaSH.Util
setChangedCLaSH.Rewrite.Util
setSymCLaSH.Netlist.BlackBox.Util
showDocCLaSH.Core.Pretty
SignedCLaSH.Netlist.Types
simpleCSECLaSH.Normalize.Transformations
SizeCLaSH.Netlist.Types
SPCLaSH.Netlist.Types
specArgBndrsAndVarsCLaSH.Rewrite.Util
specialisationCacheCLaSH.Normalize.Types
specialisationHistoryCLaSH.Normalize.Types
specialisationLimitCLaSH.Normalize.Types
specialiseCLaSH.Rewrite.Util
specialise'CLaSH.Rewrite.Util
specializeNormCLaSH.Normalize.Util
splitAtListCLaSH.Util
splitFunForallTyCLaSH.Core.Type
splitFunTyCLaSH.Core.Type
splitFunTysCLaSH.Core.Type
splitNormalizedCLaSH.Netlist.Util
splitTyConAppMCLaSH.Core.Type
StringLiteralCLaSH.Core.Literal
stripArgsCLaSH.Normalize
stripDollarPrefixesCLaSH.Netlist.Id
substituteBindersCLaSH.Rewrite.Util
substKindWithCLaSH.Core.Subst
substTmCLaSH.Core.Subst
substTmsCLaSH.Core.Subst
substTyCLaSH.Core.Subst
substTyInTmCLaSH.Core.Subst
substTysCLaSH.Core.Subst
substTysinTmCLaSH.Core.Subst
SumCLaSH.Netlist.Types
SuperKindTyConCLaSH.Core.TyCon
SymCLaSH.Netlist.BlackBox.Types
SymTyCLaSH.Core.Type
synchronizedClkCLaSH.Netlist.Util
SyncIdentifierCLaSH.Netlist.BlackBox.Types
tcCache 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
templateCLaSH.Primitives.Types
TermCLaSH.Core.Term
termFreeIdsCLaSH.Core.FreeVars
termFreeTyVarsCLaSH.Core.FreeVars
termFreeVarsCLaSH.Core.FreeVars
termHWTypeCLaSH.Netlist.Util
termSizeCLaSH.Core.Util
termTypeCLaSH.Core.Util
TmNameCLaSH.Core.Term
topdownRCLaSH.Rewrite.Combinators
topdownSucRCLaSH.Normalize.Strategy
topLetCLaSH.Normalize.Transformations
traceIfCLaSH.Util
TransformCLaSH.Rewrite.Types
transformCounterCLaSH.Rewrite.Types
transparentTyCLaSH.Core.Type
TyAppCLaSH.Core.Term
TyAppCCLaSH.Rewrite.Types
TyCon 
1 (Type/Class)CLaSH.Core.TyCon
2 (Data Constructor)CLaSH.Core.Type
TyConAppCLaSH.Core.Type
tyConArityCLaSH.Core.TyCon
tyConDataConsCLaSH.Core.TyCon
tyConKindCLaSH.Core.TyCon
TyConNameCLaSH.Core.TyCon
tyConNameCLaSH.Core.TyCon
tyConSubstCLaSH.Core.TyCon
TyLamCLaSH.Core.Term
TyLamBodyCLaSH.Rewrite.Types
TyNameCLaSH.Core.Type
TypCLaSH.Netlist.BlackBox.Types
TypeCLaSH.Core.Type
typeFreeVarsCLaSH.Core.FreeVars
typeKindCLaSH.Core.Type
TypElemCLaSH.Netlist.BlackBox.Types
typeLengthCLaSH.Netlist.Util
typeNatKindCLaSH.Core.TysPrim
typeSizeCLaSH.Netlist.Util
typeSpecCLaSH.Normalize.Transformations
typeSymbolKindCLaSH.Core.TysPrim
typeTranslator 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
TypeViewCLaSH.Core.Type
TypMCLaSH.Netlist.BlackBox.Types
tysPrimMapCLaSH.Core.TysPrim
TyVar 
1 (Type/Class)CLaSH.Core.Var, CLaSH.Core.Type
2 (Data Constructor)CLaSH.Core.Var
tyViewCLaSH.Core.Type
UCLaSH.Netlist.Types
uniqSupplyCLaSH.Rewrite.Types
unsafeBottomupRCLaSH.Rewrite.Combinators
unsafeCoreTypeToHWTypeCLaSH.Netlist.Util
unsafeCoreTypeToHWTypeMCLaSH.Netlist.Util
unsafeTopdownRCLaSH.Rewrite.Combinators
UnsignedCLaSH.Netlist.Types
Var 
1 (Type/Class)CLaSH.Core.Var
2 (Data Constructor)CLaSH.Core.Term
varCountCLaSH.Netlist.Types
varEnvCLaSH.Netlist.Types
varKindCLaSH.Core.Var
varNameCLaSH.Core.Var
varToExprCLaSH.Netlist.Util
varToIdCLaSH.Core.Util
VarTyCLaSH.Core.Type
varTypeCLaSH.Core.Var
VecAppendCLaSH.Netlist.Types
VecLitCLaSH.Netlist.Types
VectorCLaSH.Netlist.Types
verifyBlackBoxContextCLaSH.Netlist.BlackBox.Util
vhdlMStateCLaSH.Netlist.Types
VHDLStateCLaSH.Netlist.Types
vhdlTypeCLaSH.Netlist.VHDL
vhdlTypeErrValueCLaSH.Netlist.VHDL
vhdlTypeMarkCLaSH.Netlist.VHDL
VoidCLaSH.Netlist.Types
voidPrimTyCLaSH.Core.TysPrim
whenRCLaSH.Rewrite.Combinators
writeVHDLCLaSH.Driver
ZCLaSH.Netlist.Types
_bindings 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
_cmpCountCLaSH.Netlist.Types
_componentsCLaSH.Netlist.Types
_curFunCLaSH.Normalize.Types
_dbgLevelCLaSH.Rewrite.Types
_evaluatorCLaSH.Rewrite.Types
_inlineHistoryCLaSH.Normalize.Types
_inlineLimitCLaSH.Normalize.Types
_normalizedCLaSH.Normalize.Types
_primitivesCLaSH.Netlist.Types
_specialisationCacheCLaSH.Normalize.Types
_specialisationHistoryCLaSH.Normalize.Types
_specialisationLimitCLaSH.Normalize.Types
_tcCache 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
_transformCounterCLaSH.Rewrite.Types
_typeTranslator 
1 (Function)CLaSH.Netlist.Types
2 (Function)CLaSH.Rewrite.Types
_uniqSupplyCLaSH.Rewrite.Types
_varCountCLaSH.Netlist.Types
_varEnvCLaSH.Netlist.Types
_vhdlMStateCLaSH.Netlist.Types