clash-lib-0.2.0.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.Util
addGlobalBindCLaSH.Rewrite.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
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
Bit 
1 (Type/Class)CLaSH.Netlist.Types
2 (Data Constructor)CLaSH.Netlist.Types
BitLitCLaSH.Netlist.Types
BlackBoxCLaSH.Primitives.Types
BlackBoxContextCLaSH.Netlist.BlackBox.Types
BlackBoxDCLaSH.Netlist.Types
BlackBoxECLaSH.Netlist.Types
BlackBoxMonadCLaSH.Netlist.BlackBox.Types
BlackBoxTemplateCLaSH.Netlist.BlackBox.Types
BoolCLaSH.Netlist.Types
BoolLitCLaSH.Netlist.Types
bottomupRCLaSH.Rewrite.Combinators
CCLaSH.Netlist.BlackBox.Types
callGraphCLaSH.Normalize.Util
CaseCLaSH.Core.Term
CaseAltCLaSH.Rewrite.Types
caseCaseCLaSH.Normalize.Transformations
caseConCLaSH.Normalize.Transformations
caseLetCLaSH.Normalize.Transformations
CaseScrutCLaSH.Rewrite.Types
changedCLaSH.Rewrite.Util
checkNonRecursiveCLaSH.Normalize
cleanupCLaSH.Normalize.Strategy
cleanupGraphCLaSH.Normalize
ClkCLaSH.Netlist.BlackBox.Types
clkSyncIdCLaSH.Netlist.BlackBox.Util
ClockCLaSH.Netlist.Types
cloneVarCLaSH.Rewrite.Util
cmpCountCLaSH.Netlist.Types
collectArgsCLaSH.Core.Util
collectBndrsCLaSH.Core.Util
commitNewInlinedCLaSH.Normalize.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
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
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
DataTyConCLaSH.Core.TyCon
dbgLevelCLaSH.Rewrite.Types
DCCLaSH.Netlist.Types
dcArgTysCLaSH.Core.DataCon
dcExtTyVarsCLaSH.Core.DataCon
DcNameCLaSH.Core.DataCon
dcNameCLaSH.Core.DataCon
dcTagCLaSH.Core.DataCon
dcTypeCLaSH.Core.DataCon
dcUnivTyVarsCLaSH.Core.DataCon
deadCodeCLaSH.Normalize.Transformations
DebugAllCLaSH.Rewrite.Types
DebugAppliedCLaSH.Rewrite.Types
DebugFinalCLaSH.Rewrite.Types
DebugLevelCLaSH.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
DefCLaSH.Netlist.BlackBox.Types
DefaultPatCLaSH.Core.Term
DeltaCLaSH.Core.Util
doInlineCLaSH.Normalize.Strategy
dotCLaSH.Util
ElementCLaSH.Netlist.BlackBox.Types
etaExpansionTLCLaSH.Normalize.Transformations
ExprCLaSH.Netlist.Types
exprCLaSH.Netlist.VHDL
firstCLaSH.Util
firstMCLaSH.Util
ForAllTyCLaSH.Core.Type
funInputsCLaSH.Netlist.BlackBox.Types
FunTyCLaSH.Core.Type
GammaCLaSH.Core.Util
genComponentCLaSH.Netlist
genComponentTCLaSH.Netlist
generatePrimMapCLaSH.Primitives.Util
generateVHDLCLaSH.Driver
genNetlistCLaSH.Netlist
genTestBenchCLaSH.Driver.TestbenchGen
genVHDLCLaSH.Netlist.VHDL
getUniqueMCLaSH.Util
getWrappedFCLaSH.Normalize.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
IndexedCLaSH.Netlist.Types
indexMaybeCLaSH.Util
indexNoteCLaSH.Util
inlineBindersCLaSH.Rewrite.Util
inlineClosedTermCLaSH.Normalize.Transformations
inlinedCLaSH.Normalize.Types
inlineNonRepCLaSH.Normalize.Transformations
inlineWrapperCLaSH.Normalize.Transformations
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
IntRepCLaSH.Core.TyCon
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
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
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
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
makeCachedT3'CLaSH.Util
makeLensesCLaSH.Util
mapAccumLMCLaSH.Util
mkAbstractionCLaSH.Core.Util
mkADTCLaSH.Netlist.Util
mkAppsCLaSH.Core.Util
mkBasicIdCLaSH.Netlist.Id
mkBinderForCLaSH.Rewrite.Util
mkBlackBoxCLaSH.Netlist.BlackBox
mkBlackBoxContextCLaSH.Netlist.BlackBox
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
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
newInlinedCLaSH.Normalize.Types
NewTyConCLaSH.Core.TyCon
nonRepANFCLaSH.Normalize.Transformations
nonRepSpecCLaSH.Normalize.Transformations
normalizationCLaSH.Normalize.Strategy
normalizeCLaSH.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
PrimRepCLaSH.Core.TyCon
PrimTyConCLaSH.Core.TyCon
primTyConRepCLaSH.Core.TyCon
primTypeCLaSH.Primitives.Types
ProductCLaSH.Netlist.Types
pureCLaSH.Util
R 
1 (Type/Class)CLaSH.Rewrite.Types
2 (Data Constructor)CLaSH.Rewrite.Types
RECLaSH.Rewrite.Types
recToLetRecCLaSH.Normalize.Transformations
recursiveComponentsCLaSH.Normalize.Util
renderBlackBoxCLaSH.Netlist.BlackBox.Util
renderElemCLaSH.Netlist.BlackBox.Util
repeatBottomupCLaSH.Normalize.Strategy
repeatRCLaSH.Rewrite.Combinators
representableCLaSH.Normalize.Strategy
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
simplificationCLaSH.Normalize.Strategy
SizeCLaSH.Netlist.Types
SPCLaSH.Netlist.Types
specArgBndrsAndVarsCLaSH.Rewrite.Util
specialisationsCLaSH.Normalize.Types
specialiseCLaSH.Rewrite.Util
specialise'CLaSH.Rewrite.Util
splitAtListCLaSH.Util
splitFunForallTyCLaSH.Core.Type
splitFunTyCLaSH.Core.Type
splitNormalizedCLaSH.Netlist.Util
splitTyConAppMCLaSH.Core.Type
StringLiteralCLaSH.Core.Literal
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
templateCLaSH.Primitives.Types
TermCLaSH.Core.Term
termFreeIdsCLaSH.Core.FreeVars
termFreeTyVarsCLaSH.Core.FreeVars
termFreeVarsCLaSH.Core.FreeVars
termHWTypeCLaSH.Netlist.Util
termTypeCLaSH.Core.Util
TmNameCLaSH.Core.Term
topdownRCLaSH.Rewrite.Combinators
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
TyLamCLaSH.Core.Term
TyLamBodyCLaSH.Rewrite.Types
TyNameCLaSH.Core.Type
TypCLaSH.Netlist.BlackBox.Types
TypeCLaSH.Core.Type
typeFreeVarsCLaSH.Core.FreeVars
typeKindCLaSH.Core.Type
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
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
unsafeUpDownRCLaSH.Rewrite.Combinators
UnsignedCLaSH.Netlist.Types
upDownRCLaSH.Rewrite.Combinators
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
vhdlTypeDefaultCLaSH.Netlist.VHDL
vhdlTypeMarkCLaSH.Netlist.VHDL
VoidCLaSH.Netlist.Types
voidPrimTyCLaSH.Core.TysPrim
VoidRepCLaSH.Core.TyCon
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
_inlinedCLaSH.Normalize.Types
_newInlinedCLaSH.Normalize.Types
_normalizedCLaSH.Normalize.Types
_primitivesCLaSH.Netlist.Types
_specialisationsCLaSH.Normalize.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