Index

!
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
&&	Language.Hakaru.Syntax.Prelude
*	Language.Hakaru.Syntax.Prelude
**	Language.Hakaru.Syntax.Prelude
*>	Language.Hakaru.Syntax.Prelude
+	Language.Hakaru.Syntax.Prelude
++	Language.Hakaru.Syntax.IClasses
-	Language.Hakaru.Syntax.Prelude
.&&.	Language.Hakaru.CodeGen.AST
.*.	Language.Hakaru.CodeGen.AST
.*=.	Language.Hakaru.CodeGen.AST
.+.	Language.Hakaru.CodeGen.AST
.+=.	Language.Hakaru.CodeGen.AST
.-.	Language.Hakaru.CodeGen.AST
./.	Language.Hakaru.CodeGen.AST
.<.	Language.Hakaru.CodeGen.AST
.<=.	Language.Hakaru.CodeGen.AST
.=.	Language.Hakaru.CodeGen.AST
.==.	Language.Hakaru.CodeGen.AST
.>.	Language.Hakaru.CodeGen.AST
.>=.	Language.Hakaru.CodeGen.AST
.\|\|.	Language.Hakaru.CodeGen.AST
/	Language.Hakaru.Syntax.Prelude
/=	Language.Hakaru.Syntax.Prelude
:$	Language.Hakaru.Syntax.AST
:*	Language.Hakaru.Syntax.AST
:->	Language.Hakaru.Types.DataKind
:@	Language.Hakaru.Types.DataKind
<	Language.Hakaru.Syntax.Prelude
<$>	Language.Hakaru.Syntax.Prelude
<*	Language.Hakaru.Syntax.Prelude
<*>	Language.Hakaru.Syntax.Prelude
<=	Language.Hakaru.Syntax.Prelude
<\|>	Language.Hakaru.Syntax.Prelude
==	Language.Hakaru.Syntax.Prelude
>	Language.Hakaru.Syntax.Prelude
>=	Language.Hakaru.Syntax.Prelude
>>	Language.Hakaru.Syntax.Prelude
>>=	Language.Hakaru.Syntax.Prelude
Abs
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
abs	Language.Hakaru.Syntax.Prelude
abs_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
ABT	Language.Hakaru.Syntax.ABT
Acos
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
acos	Language.Hakaru.Syntax.Prelude
Acosh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
acosh	Language.Hakaru.Syntax.Prelude
address	Language.Hakaru.CodeGen.AST
adjustAssoc	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
adjustLoc	Language.Hakaru.Evaluation.DisintegrationMonad
all_jmEq2	Language.Hakaru.Syntax.AST.Eq
alphaEq	Language.Hakaru.Syntax.AST.Eq
ana11	Language.Hakaru.Syntax.IClasses
And
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
and
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Syntax.Prelude
And_	Language.Hakaru.Parser.Maple
Ann	Language.Hakaru.Parser.AST
Ann_	Language.Hakaru.Parser.AST
ann_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
ann_expr	Language.Hakaru.Parser.Parser
Ans	Language.Hakaru.Evaluation.DisintegrationMonad
App	Language.Hakaru.Parser.AST
app
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
app1	Language.Hakaru.Parser.Parser
app2
1 (Function)	Language.Hakaru.Parser.Parser
2 (Function)	Language.Hakaru.Syntax.Prelude
app3	Language.Hakaru.Syntax.Prelude
append1	Language.Hakaru.Syntax.IClasses
appendV	Language.Hakaru.Syntax.Prelude
apply	Language.Hakaru.Evaluation.DisintegrationMonad
approxMh	Language.Hakaru.Inference
App_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
arg	Language.Hakaru.Parser.Maple
ArgOp	Language.Hakaru.Parser.Maple
Array	Language.Hakaru.Parser.AST
array
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
arrayData	Language.Hakaru.CodeGen.Types
arrayDeclaration	Language.Hakaru.CodeGen.Types
arrayName	Language.Hakaru.CodeGen.Types
ArrayOp
1 (Type/Class)	Language.Hakaru.Syntax.AST
2 (Type/Class)	Language.Hakaru.Parser.AST
arrayOp0_	Language.Hakaru.Syntax.Prelude
arrayOp1_	Language.Hakaru.Syntax.Prelude
arrayOp2_	Language.Hakaru.Syntax.Prelude
arrayOp3_	Language.Hakaru.Syntax.Prelude
ArrayOp_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
arrayPtrData	Language.Hakaru.CodeGen.Types
arrayPtrSize	Language.Hakaru.CodeGen.Types
arraySize	Language.Hakaru.CodeGen.Types
arrayStruct	Language.Hakaru.CodeGen.Types
arrayWithVar	Language.Hakaru.Syntax.Prelude
Array_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
array_expr	Language.Hakaru.Parser.Parser
array_index	Language.Hakaru.Parser.Parser
array_literal	Language.Hakaru.Parser.Parser
Asin
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
asin	Language.Hakaru.Syntax.Prelude
Asinh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
asinh	Language.Hakaru.Syntax.Prelude
assign	Language.Hakaru.CodeGen.CodeGenMonad
assignedlocalname	Language.Hakaru.Parser.Maple
assignedname	Language.Hakaru.Parser.Maple
Assoc
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
Associativity	Language.Hakaru.Pretty.Haskell
Assocs
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
AST	Language.Hakaru.Parser.AST
AST'	Language.Hakaru.Parser.AST
ASTWithImport'
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Atan
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
atan	Language.Hakaru.Syntax.Prelude
Atanh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
atanh	Language.Hakaru.Syntax.Prelude
atomize	Language.Hakaru.Disintegrate
bern	Language.Hakaru.Syntax.Prelude
Beta	Language.Hakaru.Syntax.AST
beta
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
beta'	Language.Hakaru.Syntax.Prelude
beta''	Language.Hakaru.Syntax.Prelude
BetaFunc
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
betaFunc	Language.Hakaru.Syntax.Prelude
binary	Language.Hakaru.Parser.Parser
binaryOp	Language.Hakaru.CodeGen.Types
Bind
1 (Data Constructor)	Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Parser.AST
bind	Language.Hakaru.Syntax.ABT
binder	Language.Hakaru.Syntax.ABT
binds	Language.Hakaru.Syntax.ABT
binds_	Language.Hakaru.Syntax.ABT
bindx	Language.Hakaru.Syntax.Prelude
bind_expr	Language.Hakaru.Parser.Parser
binomial	Language.Hakaru.Syntax.Prelude
binop	Language.Hakaru.Parser.Parser
blockOfMany	Language.Hakaru.Parser.Parser
boolTyp	Language.Hakaru.CodeGen.Types
bool_	Language.Hakaru.Syntax.Prelude
bot
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
braces	Language.Hakaru.Parser.Parser
brackets	Language.Hakaru.Parser.Parser
Branch
1 (Type/Class)	Language.Hakaru.Runtime.Prelude
2 (Data Constructor)	Language.Hakaru.Runtime.Prelude
3 (Type/Class)	Language.Hakaru.Syntax.Datum
4 (Data Constructor)	Language.Hakaru.Syntax.Datum
5 (Type/Class)	Language.Hakaru.Parser.AST
branch
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Parser.Maple
3 (Function)	Language.Hakaru.Syntax.Prelude
Branch'
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Branch''	Language.Hakaru.Parser.AST
branchNorm	Language.Hakaru.Parser.SymbolResolve
Branch_
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
branch_expr	Language.Hakaru.Parser.Parser
buildDeclaration	Language.Hakaru.CodeGen.Types
buildPtrDeclaration	Language.Hakaru.CodeGen.Types
buildStruct	Language.Hakaru.CodeGen.Types
buildType	Language.Hakaru.CodeGen.Types
buildUnion	Language.Hakaru.CodeGen.Types
CAddAssOp	Language.Hakaru.CodeGen.AST
CAddOp	Language.Hakaru.CodeGen.AST
CAdrOp	Language.Hakaru.CodeGen.AST
call_expr	Language.Hakaru.Parser.Parser
CAndAssOp	Language.Hakaru.CodeGen.AST
CAndOp	Language.Hakaru.CodeGen.AST
CArrDesig	Language.Hakaru.CodeGen.AST
Case	Language.Hakaru.Parser.AST
caseBind	Language.Hakaru.Syntax.ABT
caseBinds	Language.Hakaru.Syntax.ABT
CaseEvaluator	Language.Hakaru.Evaluation.Lazy
caseLazy	Language.Hakaru.Evaluation.Types
caseVarSyn	Language.Hakaru.Syntax.ABT
caseWhnf	Language.Hakaru.Evaluation.Types
Case_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
case_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
CAssign	Language.Hakaru.CodeGen.AST
CAssignOp
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CAST
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
cata11	Language.Hakaru.Syntax.IClasses
cataABT	Language.Hakaru.Syntax.ABT
Categorical	Language.Hakaru.Syntax.AST
categorical
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
categorical'	Language.Hakaru.Syntax.Prelude
cauchy	Language.Hakaru.Syntax.Prelude
CAuto	Language.Hakaru.CodeGen.AST
CBinary	Language.Hakaru.CodeGen.AST
CBinaryOp	Language.Hakaru.CodeGen.AST
CBlockDecl	Language.Hakaru.CodeGen.AST
CBlockStat	Language.Hakaru.CodeGen.AST
CBreak	Language.Hakaru.CodeGen.AST
CCall	Language.Hakaru.CodeGen.AST
CCase	Language.Hakaru.CodeGen.AST
CCast	Language.Hakaru.CodeGen.AST
CChar	Language.Hakaru.CodeGen.AST
CCharConst	Language.Hakaru.CodeGen.AST
CComma	Language.Hakaru.CodeGen.AST
CComment	Language.Hakaru.CodeGen.AST
CCommentExt	Language.Hakaru.CodeGen.AST
CCompOp	Language.Hakaru.CodeGen.AST
CCompound	Language.Hakaru.CodeGen.AST
CCompoundBlockItem	Language.Hakaru.CodeGen.AST
CCompoundLit	Language.Hakaru.CodeGen.AST
CCond	Language.Hakaru.CodeGen.AST
CCons	Language.Hakaru.Types.Coercion
CConst	Language.Hakaru.CodeGen.AST
CConstant	Language.Hakaru.CodeGen.AST
CConstQual	Language.Hakaru.CodeGen.AST
CCont	Language.Hakaru.CodeGen.AST
CDDeclrArr	Language.Hakaru.CodeGen.AST
CDDeclrFun	Language.Hakaru.CodeGen.AST
CDDeclrIdent	Language.Hakaru.CodeGen.AST
CDecl
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CDeclExt	Language.Hakaru.CodeGen.AST
CDeclr
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CDeclSpec	Language.Hakaru.CodeGen.AST
CDefault	Language.Hakaru.CodeGen.AST
CDirectDeclr	Language.Hakaru.CodeGen.AST
CDivAssOp	Language.Hakaru.CodeGen.AST
CDivOp	Language.Hakaru.CodeGen.AST
CDouble	Language.Hakaru.CodeGen.AST
CEnum
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CEnumType	Language.Hakaru.CodeGen.AST
CEqOp	Language.Hakaru.CodeGen.AST
CExpr
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CExtDecl	Language.Hakaru.CodeGen.AST
CExtern	Language.Hakaru.CodeGen.AST
CFloat	Language.Hakaru.CodeGen.AST
CFloatConst	Language.Hakaru.CodeGen.AST
CFor	Language.Hakaru.CodeGen.AST
CFunDef
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CFunDefExt	Language.Hakaru.CodeGen.AST
CFunSpec
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CG
1 (Type/Class)	Language.Hakaru.CodeGen.CodeGenMonad
2 (Data Constructor)	Language.Hakaru.CodeGen.CodeGenMonad
CGeqOp	Language.Hakaru.CodeGen.AST
CGoto	Language.Hakaru.CodeGen.AST
CGrOp	Language.Hakaru.CodeGen.AST
Chain
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
chain	Language.Hakaru.Syntax.Prelude
chain'	Language.Hakaru.Syntax.Prelude
Chain_	Language.Hakaru.Parser.AST
chain_expr	Language.Hakaru.Parser.Parser
checkType	Language.Hakaru.Syntax.TypeCheck
chi2	Language.Hakaru.Syntax.Prelude
choose
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
CIf	Language.Hakaru.CodeGen.AST
CIndex	Language.Hakaru.CodeGen.AST
CIndOp	Language.Hakaru.CodeGen.AST
CInit	Language.Hakaru.CodeGen.AST
CInitExpr	Language.Hakaru.CodeGen.AST
CInitList	Language.Hakaru.CodeGen.AST
CInt	Language.Hakaru.CodeGen.AST
cInt2Real	Language.Hakaru.Parser.SymbolResolve
CIntConst	Language.Hakaru.CodeGen.AST
CLabel	Language.Hakaru.CodeGen.AST
CLeOp	Language.Hakaru.CodeGen.AST
CLeqOp	Language.Hakaru.CodeGen.AST
CLndOp	Language.Hakaru.CodeGen.AST
CLong	Language.Hakaru.CodeGen.AST
CLorOp	Language.Hakaru.CodeGen.AST
CMember	Language.Hakaru.CodeGen.AST
CMemberDesig	Language.Hakaru.CodeGen.AST
CMinOp	Language.Hakaru.CodeGen.AST
CMulAssOp	Language.Hakaru.CodeGen.AST
CMulOp	Language.Hakaru.CodeGen.AST
cNat2Int	Language.Hakaru.Parser.SymbolResolve
cNat2Prob	Language.Hakaru.Parser.SymbolResolve
cNat2Real	Language.Hakaru.Parser.SymbolResolve
CNegOp	Language.Hakaru.CodeGen.AST
CNeqOp	Language.Hakaru.CodeGen.AST
CNil	Language.Hakaru.Types.Coercion
coalesce
1 (Function)	Language.Hakaru.Evaluation.Coalesce
2 (Function)	Language.Hakaru.Syntax.AST.Transforms
coalesceNaryOp	Language.Hakaru.Syntax.AST.Transforms
Code	Language.Hakaru.Types.DataKind
CodeGen	Language.Hakaru.CodeGen.CodeGenMonad
Coerce	Language.Hakaru.Types.Coercion
coerceFrom	Language.Hakaru.Types.Coercion
coerceTo	Language.Hakaru.Types.Coercion
CoerceTo_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
coerceTo_	Language.Hakaru.Syntax.Prelude
Coercion	Language.Hakaru.Types.Coercion
CoercionMode	Language.Hakaru.Types.Coercion
collapseNaryOp	Language.Hakaru.Parser.Maple
collapseSuperposes	Language.Hakaru.Parser.SymbolResolve
comma	Language.Hakaru.Parser.Maple
commaSep
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
comments	Language.Hakaru.Parser.Parser
congruence	Language.Hakaru.Syntax.IClasses
cons	Language.Hakaru.Syntax.Prelude
Cons1	Language.Hakaru.Syntax.IClasses
constantPropagation	Language.Hakaru.Evaluation.ConstantPropagation
constrainOutcome	Language.Hakaru.Disintegrate
constrainValue	Language.Hakaru.Disintegrate
constV	Language.Hakaru.Syntax.Prelude
Continuous	Language.Hakaru.Types.Coercion
continuous	Language.Hakaru.Types.Coercion
COrAssOp	Language.Hakaru.CodeGen.AST
COrOp	Language.Hakaru.CodeGen.AST
Cos
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
cos	Language.Hakaru.Syntax.Prelude
Cosh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
cosh	Language.Hakaru.Syntax.Prelude
Counting	Language.Hakaru.Syntax.AST
counting	Language.Hakaru.Syntax.Prelude
CPartDesig	Language.Hakaru.CodeGen.AST
CPlusOp	Language.Hakaru.CodeGen.AST
CPostDecOp	Language.Hakaru.CodeGen.AST
CPostIncOp	Language.Hakaru.CodeGen.AST
CPPExt	Language.Hakaru.CodeGen.AST
CPPStat	Language.Hakaru.CodeGen.AST
CPreDecOp	Language.Hakaru.CodeGen.AST
CPreIncOp	Language.Hakaru.CodeGen.AST
cProb2Real	Language.Hakaru.Parser.SymbolResolve
CPtrDeclr
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
createIdent	Language.Hakaru.CodeGen.CodeGenMonad
CRegister	Language.Hakaru.CodeGen.AST
CReturn	Language.Hakaru.CodeGen.AST
CRmdAssOp	Language.Hakaru.CodeGen.AST
CRmdOp	Language.Hakaru.CodeGen.AST
CShlAssOp	Language.Hakaru.CodeGen.AST
CShlOp	Language.Hakaru.CodeGen.AST
CShort	Language.Hakaru.CodeGen.AST
CShrAssOp	Language.Hakaru.CodeGen.AST
CShrOp	Language.Hakaru.CodeGen.AST
CSigned	Language.Hakaru.CodeGen.AST
CSizeOfExpr	Language.Hakaru.CodeGen.AST
CSizeOfType	Language.Hakaru.CodeGen.AST
CStat	Language.Hakaru.CodeGen.AST
CStatic	Language.Hakaru.CodeGen.AST
CStorageSpec
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CStringConst	Language.Hakaru.CodeGen.AST
CStructTag	Language.Hakaru.CodeGen.AST
CSubAssOp	Language.Hakaru.CodeGen.AST
CSubOp	Language.Hakaru.CodeGen.AST
CSUSpec
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CSUTag	Language.Hakaru.CodeGen.AST
CSUType	Language.Hakaru.CodeGen.AST
CSwitch	Language.Hakaru.CodeGen.AST
CTypeDef	Language.Hakaru.CodeGen.AST
CTypeDefType	Language.Hakaru.CodeGen.AST
CTypeQual
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CTypeSpec
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
CUnary	Language.Hakaru.CodeGen.AST
CUnaryOp	Language.Hakaru.CodeGen.AST
CUnionTag	Language.Hakaru.CodeGen.AST
CUnsigned	Language.Hakaru.CodeGen.AST
CVar	Language.Hakaru.CodeGen.AST
CVoid	Language.Hakaru.CodeGen.AST
CVolatQual	Language.Hakaru.CodeGen.AST
CWhile	Language.Hakaru.CodeGen.AST
CXorAssOp	Language.Hakaru.CodeGen.AST
CXorOp	Language.Hakaru.CodeGen.AST
dappend1	Language.Hakaru.Syntax.IClasses
Data	Language.Hakaru.Parser.AST
data_expr	Language.Hakaru.Parser.Parser
Datum
1 (Type/Class)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Syntax.Datum
3 (Type/Class)	Language.Hakaru.Parser.AST
4 (Data Constructor)	Language.Hakaru.Parser.AST
DatumCode	Language.Hakaru.Syntax.Datum
datumDeclaration	Language.Hakaru.CodeGen.Types
DatumEvaluator	Language.Hakaru.Syntax.DatumCase
DatumFun	Language.Hakaru.Syntax.Datum
datumHint	Language.Hakaru.Syntax.Datum
datumName	Language.Hakaru.CodeGen.Types
datumProd	Language.Hakaru.CodeGen.Types
DatumStruct	Language.Hakaru.Syntax.Datum
datumStruct	Language.Hakaru.CodeGen.Types
datumSum	Language.Hakaru.CodeGen.Types
datumType	Language.Hakaru.Syntax.Datum
Datum_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
datum_	Language.Hakaru.Syntax.Prelude
DCode	Language.Hakaru.Parser.AST
DCode_	Language.Hakaru.Parser.AST
dCons	Language.Hakaru.Syntax.Datum
dcons1	Language.Hakaru.Syntax.IClasses
dCons_	Language.Hakaru.Syntax.Datum
decimal	Language.Hakaru.Parser.Parser
declarations	Language.Hakaru.CodeGen.CodeGenMonad
declare	Language.Hakaru.CodeGen.CodeGenMonad
declare'	Language.Hakaru.CodeGen.CodeGenMonad
defarg	Language.Hakaru.Parser.Parser
defaultCaseEvaluator	Language.Hakaru.Evaluation.Lazy
defineFunction	Language.Hakaru.CodeGen.CodeGenMonad
def_expr	Language.Hakaru.Parser.Parser
deleteVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
density	Language.Hakaru.Disintegrate
densityBeta	Language.Hakaru.Syntax.Prelude
densityCategorical	Language.Hakaru.Syntax.Prelude
densityGamma	Language.Hakaru.Syntax.Prelude
densityNormal	Language.Hakaru.Syntax.Prelude
densityPoisson	Language.Hakaru.Syntax.Prelude
densityUniform	Language.Hakaru.Syntax.Prelude
densityWithVar	Language.Hakaru.Disintegrate
determine	Language.Hakaru.Disintegrate
dFalse	Language.Hakaru.Syntax.Datum
DFun	Language.Hakaru.Parser.AST
DFun_	Language.Hakaru.Parser.AST
Diff
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Dirac
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
dirac
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Dirac_	Language.Hakaru.Parser.AST
dirichlet	Language.Hakaru.Syntax.Prelude
Dis
1 (Type/Class)	Language.Hakaru.Evaluation.DisintegrationMonad
2 (Data Constructor)	Language.Hakaru.Evaluation.DisintegrationMonad
disintegrate	Language.Hakaru.Disintegrate
disintegrateWithVar	Language.Hakaru.Disintegrate
divide	Language.Hakaru.Parser.Parser
dJust	Language.Hakaru.Syntax.Datum
dJust_	Language.Hakaru.Syntax.Datum
dLeft	Language.Hakaru.Syntax.Datum
dLeft_	Language.Hakaru.Syntax.Datum
DList1
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
dNil	Language.Hakaru.Syntax.Datum
dnil1	Language.Hakaru.Syntax.IClasses
dNil_	Language.Hakaru.Syntax.Datum
dNothing	Language.Hakaru.Syntax.Datum
dNothing_	Language.Hakaru.Syntax.Datum
Done
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
doubleDecl	Language.Hakaru.CodeGen.Types
doublePtr	Language.Hakaru.CodeGen.Types
doWhileCG	Language.Hakaru.CodeGen.CodeGenMonad
dPair	Language.Hakaru.Syntax.Datum
dPair_	Language.Hakaru.Syntax.Datum
dRight	Language.Hakaru.Syntax.Datum
dRight_	Language.Hakaru.Syntax.Datum
dsingleton1	Language.Hakaru.Syntax.IClasses
dsnoc1	Language.Hakaru.Syntax.IClasses
DStruct	Language.Hakaru.Parser.AST
DStruct_	Language.Hakaru.Parser.AST
dTrue	Language.Hakaru.Syntax.Datum
dUnit	Language.Hakaru.Syntax.Datum
DV	Language.Hakaru.Parser.AST
EAssoc
1 (Type/Class)	Language.Hakaru.Sample
2 (Data Constructor)	Language.Hakaru.Sample
emit
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
3 (Function)	Language.Hakaru.Evaluation.ExpectMonad
emitFork_
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitGuard
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitLet
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitLet'
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitMBind
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitMBind_
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitSuperpose
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitUnpair
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emitWeight
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
emit_
1 (Function)	Language.Hakaru.Evaluation.PEvalMonad
2 (Function)	Language.Hakaru.Evaluation.DisintegrationMonad
3 (Function)	Language.Hakaru.Evaluation.ExpectMonad
Empty	Language.Hakaru.Parser.AST
empty	Language.Hakaru.Syntax.Prelude
emptyAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
emptyCG	Language.Hakaru.CodeGen.CodeGenMonad
emptyEnv	Language.Hakaru.Sample
emptyLine	Language.Hakaru.Parser.Parser
emptyVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
Empty_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
empty_	Language.Hakaru.Parser.Parser
End	Language.Hakaru.Syntax.AST
enumFromUntilValue	Language.Hakaru.Syntax.Value
Env
1 (Type/Class)	Language.Hakaru.Sample
2 (Data Constructor)	Language.Hakaru.Sample
Eq1	Language.Hakaru.Syntax.IClasses
eq1	Language.Hakaru.Syntax.IClasses
Eq2	Language.Hakaru.Syntax.IClasses
eq2	Language.Hakaru.Syntax.IClasses
eqAppendAssoc	Language.Hakaru.Syntax.IClasses
eqAppendIdentity	Language.Hakaru.Syntax.IClasses
Equal
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Data Constructor)	Language.Hakaru.Parser.Maple
equal	Language.Hakaru.Parser.Maple
Erf
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
erf	Language.Hakaru.Syntax.Prelude
Et
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
Eval
1 (Type/Class)	Language.Hakaru.Evaluation.EvalMonad
2 (Data Constructor)	Language.Hakaru.Evaluation.EvalMonad
evalOp	Language.Hakaru.Sample
evaluate
1 (Function)	Language.Hakaru.Sample
2 (Function)	Language.Hakaru.Evaluation.Lazy
evaluateArray	Language.Hakaru.Sample
evaluateArrayOp	Language.Hakaru.Sample
evaluateCase	Language.Hakaru.Sample
evaluateDatum	Language.Hakaru.Sample
evaluateEmpty	Language.Hakaru.Sample
evaluateLiteral	Language.Hakaru.Sample
evaluateMeasureOp	Language.Hakaru.Sample
evaluateNaryOp	Language.Hakaru.Sample
evaluatePrimOp	Language.Hakaru.Sample
evaluateSCon	Language.Hakaru.Sample
evaluateSuperpose	Language.Hakaru.Sample
evaluateTerm	Language.Hakaru.Sample
evaluateVar	Language.Hakaru.Sample
EvaluationMonad	Language.Hakaru.Evaluation.Types
Exp
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
exp
1 (Function)	Language.Hakaru.CodeGen.AST
2 (Function)	Language.Hakaru.Syntax.Prelude
expandTransformations	Language.Hakaru.Syntax.AST.Transforms
Expect
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Type/Class)	Language.Hakaru.Evaluation.ExpectMonad
4 (Data Constructor)	Language.Hakaru.Evaluation.ExpectMonad
expect	Language.Hakaru.Expect
ExpectAns	Language.Hakaru.Evaluation.ExpectMonad
ExpectP	Language.Hakaru.Evaluation.Types
Expect_	Language.Hakaru.Parser.AST
expect_expr	Language.Hakaru.Parser.Parser
expm1	Language.Hakaru.CodeGen.AST
exponent'	Language.Hakaru.Parser.Parser
exponential	Language.Hakaru.Syntax.Prelude
expr
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
exprWithImport	Language.Hakaru.Parser.Parser
ExpSeq	Language.Hakaru.Parser.Maple
expseq	Language.Hakaru.Parser.Maple
extDeclare	Language.Hakaru.CodeGen.CodeGenMonad
extDecls	Language.Hakaru.CodeGen.CodeGenMonad
extendIndices	Language.Hakaru.Evaluation.DisintegrationMonad
extendLocInds	Language.Hakaru.Evaluation.DisintegrationMonad
extract	Language.Hakaru.Runtime.Prelude
extractBool	Language.Hakaru.Runtime.Prelude
false
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
false_	Language.Hakaru.Parser.SymbolResolve
findCoercion	Language.Hakaru.Types.Coercion
findEitherCoercion	Language.Hakaru.Types.Coercion
findFractional	Language.Hakaru.Types.Coercion
findLub	Language.Hakaru.Types.Coercion
findRing	Language.Hakaru.Types.Coercion
Fix11
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
flattenABT	Language.Hakaru.CodeGen.Flatten
flattenTerm	Language.Hakaru.CodeGen.Flatten
flattenVar	Language.Hakaru.CodeGen.Flatten
Float	Language.Hakaru.Parser.Maple
float
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
floatE	Language.Hakaru.CodeGen.AST
floating	Language.Hakaru.Parser.Parser
fmap11	Language.Hakaru.Syntax.IClasses
fmap12	Language.Hakaru.Syntax.IClasses
fmap21	Language.Hakaru.Syntax.IClasses
fmap22	Language.Hakaru.Syntax.IClasses
fmapBranch	Language.Hakaru.Parser.AST
fmapDatum	Language.Hakaru.Parser.AST
fold11	Language.Hakaru.Syntax.IClasses
fold21	Language.Hakaru.Syntax.IClasses
fold22	Language.Hakaru.Syntax.IClasses
Foldable11	Language.Hakaru.Syntax.IClasses
Foldable21	Language.Hakaru.Syntax.IClasses
Foldable22	Language.Hakaru.Syntax.IClasses
foldBranch	Language.Hakaru.Parser.AST
foldDatum	Language.Hakaru.Parser.AST
foldMap11	Language.Hakaru.Syntax.IClasses
foldMap21	Language.Hakaru.Syntax.IClasses
foldMap22	Language.Hakaru.Syntax.IClasses
foldMapPairs	Language.Hakaru.Syntax.AST
forCG	Language.Hakaru.CodeGen.CodeGenMonad
fractExponent	Language.Hakaru.Parser.Parser
fractFloat	Language.Hakaru.Parser.Parser
fraction	Language.Hakaru.Parser.Parser
freeLocError	Language.Hakaru.Evaluation.DisintegrationMonad
freeVars	Language.Hakaru.Syntax.ABT
freshenStatement	Language.Hakaru.Evaluation.Types
freshenVar	Language.Hakaru.Evaluation.Types
freshenVarRe	Language.Hakaru.Observe
freshenVars	Language.Hakaru.Evaluation.Types
freshInd	Language.Hakaru.Evaluation.Types
freshNames	Language.Hakaru.CodeGen.CodeGenMonad
freshNat	Language.Hakaru.Evaluation.Types
freshVar	Language.Hakaru.Evaluation.Types
freshVars	Language.Hakaru.Evaluation.Types
fromAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
fromGBranch	Language.Hakaru.Syntax.DatumABT
fromHead	Language.Hakaru.Evaluation.Types
fromInt
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
fromLazy	Language.Hakaru.Evaluation.Types
fromList1	Language.Hakaru.Syntax.IClasses
fromNat	Data.Number.Nat
fromNatural	Data.Number.Natural
fromNonNegativeRational	Data.Number.Natural
fromProb
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
fromRational	Language.Hakaru.Syntax.Prelude
fromVarSet
1 (Function)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Function)	Language.Hakaru.Parser.SymbolResolve
fromWhnf	Language.Hakaru.Evaluation.Types
fst	Language.Hakaru.Syntax.Prelude
fst1	Language.Hakaru.Syntax.IClasses
fst2	Language.Hakaru.Syntax.IClasses
Func	Language.Hakaru.Parser.Maple
func	Language.Hakaru.Parser.Maple
funCG	Language.Hakaru.CodeGen.CodeGenMonad
functionDef	Language.Hakaru.CodeGen.Types
Functor11	Language.Hakaru.Syntax.IClasses
Functor12	Language.Hakaru.Syntax.IClasses
Functor21	Language.Hakaru.Syntax.IClasses
Functor22	Language.Hakaru.Syntax.IClasses
Gamma	Language.Hakaru.Syntax.AST
gamma
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
gamma'	Language.Hakaru.Syntax.Prelude
GammaFunc
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
gammaFunc	Language.Hakaru.Syntax.Prelude
GBranch
1 (Type/Class)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Syntax.Datum
genIdent	Language.Hakaru.CodeGen.CodeGenMonad
genIdent'	Language.Hakaru.CodeGen.CodeGenMonad
gensym	Language.Hakaru.Parser.SymbolResolve
geometric	Language.Hakaru.Syntax.Prelude
getIndices	Language.Hakaru.Evaluation.Types, Language.Hakaru.Evaluation.DisintegrationMonad
getLazyLiteral	Language.Hakaru.Evaluation.Types
getLazyVariable	Language.Hakaru.Evaluation.Types
getLocs	Language.Hakaru.Evaluation.DisintegrationMonad
getMetadata	Language.Hakaru.Syntax.ABT
getStatements	Language.Hakaru.Evaluation.DisintegrationMonad
getTermSing	Language.Hakaru.Syntax.TypeOf
gibbsProposal	Language.Hakaru.Inference
GotStuck	Language.Hakaru.Syntax.DatumCase
GotStuck_	Language.Hakaru.Syntax.DatumCase
guard	Language.Hakaru.Syntax.Prelude
Hakaru	Language.Hakaru.Types.DataKind
HakaruCon	Language.Hakaru.Types.DataKind
HakaruFun	Language.Hakaru.Types.DataKind
half	Language.Hakaru.Syntax.Prelude
HArray	Language.Hakaru.Types.DataKind
HBool	Language.Hakaru.Types.DataKind
HContinuous	Language.Hakaru.Types.HClasses
hContinuous	Language.Hakaru.Types.HClasses
HContinuous_	Language.Hakaru.Types.HClasses
HContinuous_Prob	Language.Hakaru.Types.HClasses
HContinuous_Real	Language.Hakaru.Types.HClasses
hContinuous_Sing	Language.Hakaru.Types.HClasses
HData	Language.Hakaru.Types.DataKind
HData'	Language.Hakaru.Types.DataKind
HDiscrete	Language.Hakaru.Types.HClasses
hDiscrete	Language.Hakaru.Types.HClasses
HDiscrete_	Language.Hakaru.Types.HClasses
HDiscrete_Int	Language.Hakaru.Types.HClasses
HDiscrete_Nat	Language.Hakaru.Types.HClasses
hDiscrete_Sing	Language.Hakaru.Types.HClasses
Head	Language.Hakaru.Evaluation.Types
Head_	Language.Hakaru.Evaluation.Types
HEither	Language.Hakaru.Types.DataKind
HEq	Language.Hakaru.Types.HClasses
hEq	Language.Hakaru.Types.HClasses
HEq_	Language.Hakaru.Types.HClasses
HEq_Array	Language.Hakaru.Types.HClasses
HEq_Bool	Language.Hakaru.Types.HClasses
HEq_Either	Language.Hakaru.Types.HClasses
hEq_HOrd	Language.Hakaru.Types.HClasses
HEq_Int	Language.Hakaru.Types.HClasses
HEq_Nat	Language.Hakaru.Types.HClasses
HEq_Pair	Language.Hakaru.Types.HClasses
HEq_Prob	Language.Hakaru.Types.HClasses
HEq_Real	Language.Hakaru.Types.HClasses
hEq_Sing	Language.Hakaru.Types.HClasses
HEq_Unit	Language.Hakaru.Types.HClasses
HFractional	Language.Hakaru.Types.HClasses
hFractional	Language.Hakaru.Types.HClasses
HFractional_	Language.Hakaru.Types.HClasses
hFractional_HContinuous	Language.Hakaru.Types.HClasses
HFractional_Prob	Language.Hakaru.Types.HClasses
HFractional_Real	Language.Hakaru.Types.HClasses
hFractional_Sing	Language.Hakaru.Types.HClasses
HInt	Language.Hakaru.Types.DataKind
Hint
1 (Type/Class)	Language.Hakaru.Evaluation.Types
2 (Data Constructor)	Language.Hakaru.Evaluation.Types
HIntegrable	Language.Hakaru.Types.HClasses
HIntegrable_Nat	Language.Hakaru.Types.HClasses
HIntegrable_Prob	Language.Hakaru.Types.HClasses
hIntegrable_Sing	Language.Hakaru.Types.HClasses
HIntegral	Language.Hakaru.Types.HClasses
hintID	Language.Hakaru.Parser.AST
HList	Language.Hakaru.Types.DataKind
HMaybe	Language.Hakaru.Types.DataKind
HMeasure	Language.Hakaru.Types.DataKind
HNat	Language.Hakaru.Types.DataKind
HOrd	Language.Hakaru.Types.HClasses
hOrd	Language.Hakaru.Types.HClasses
HOrd_	Language.Hakaru.Types.HClasses
HOrd_Array	Language.Hakaru.Types.HClasses
HOrd_Bool	Language.Hakaru.Types.HClasses
HOrd_Either	Language.Hakaru.Types.HClasses
HOrd_Int	Language.Hakaru.Types.HClasses
HOrd_Nat	Language.Hakaru.Types.HClasses
HOrd_Pair	Language.Hakaru.Types.HClasses
HOrd_Prob	Language.Hakaru.Types.HClasses
HOrd_Real	Language.Hakaru.Types.HClasses
hOrd_Sing	Language.Hakaru.Types.HClasses
HOrd_Unit	Language.Hakaru.Types.HClasses
HPair	Language.Hakaru.Types.DataKind
HProb	Language.Hakaru.Types.DataKind
HRadical	Language.Hakaru.Types.HClasses
hRadical	Language.Hakaru.Types.HClasses
HRadical_	Language.Hakaru.Types.HClasses
HRadical_Prob	Language.Hakaru.Types.HClasses
hRadical_Sing	Language.Hakaru.Types.HClasses
HReal	Language.Hakaru.Types.DataKind
HRing	Language.Hakaru.Types.HClasses
hRing	Language.Hakaru.Types.HClasses
HRing_	Language.Hakaru.Types.HClasses
HRing_Int	Language.Hakaru.Types.HClasses
HRing_Real	Language.Hakaru.Types.HClasses
hRing_Sing	Language.Hakaru.Types.HClasses
HSemiring	Language.Hakaru.Types.HClasses
hSemiring	Language.Hakaru.Types.HClasses
HSemiring_	Language.Hakaru.Types.HClasses
hSemiring_HFractional	Language.Hakaru.Types.HClasses
hSemiring_HIntegralContinuous	Language.Hakaru.Types.HClasses
hSemiring_HRadical	Language.Hakaru.Types.HClasses
hSemiring_HRing	Language.Hakaru.Types.HClasses
HSemiring_Int	Language.Hakaru.Types.HClasses
HSemiring_Nat	Language.Hakaru.Types.HClasses
hSemiring_NonNegativeHRing	Language.Hakaru.Types.HClasses
HSemiring_Prob	Language.Hakaru.Types.HClasses
HSemiring_Real	Language.Hakaru.Types.HClasses
hSemiring_Sing	Language.Hakaru.Types.HClasses
HUnit	Language.Hakaru.Types.DataKind
hylo11	Language.Hakaru.Syntax.IClasses
I	Language.Hakaru.Types.DataKind
Ident
1 (Type/Class)	Language.Hakaru.CodeGen.AST
2 (Data Constructor)	Language.Hakaru.CodeGen.AST
3 (Data Constructor)	Language.Hakaru.Syntax.Datum
4 (Data Constructor)	Language.Hakaru.Parser.AST
identifier
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
identityElement	Language.Hakaru.Sample
If	Language.Hakaru.Parser.AST
Iff
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
if_	Language.Hakaru.Syntax.Prelude
if_expr	Language.Hakaru.Parser.Parser
Impl
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Import
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
import_expr	Language.Hakaru.Parser.Parser
Impure	Language.Hakaru.Evaluation.Types
incompleteBeta	Language.Hakaru.Inference
indentConfig	Language.Hakaru.Parser.Parser
Index
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Type/Class)	Language.Hakaru.Evaluation.Types
Index_	Language.Hakaru.Parser.AST
indirect	Language.Hakaru.CodeGen.AST
indSize	Language.Hakaru.Evaluation.Types
indVar	Language.Hakaru.Evaluation.Types
InertArgs	Language.Hakaru.Parser.Maple
InertExpr	Language.Hakaru.Parser.Maple
InertName	Language.Hakaru.Parser.Maple
InertNum	Language.Hakaru.Parser.Maple
inferable	Language.Hakaru.Syntax.TypeCheck
inferType	Language.Hakaru.Syntax.TypeCheck
Infinity
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
infinity
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Infinity'	Language.Hakaru.Parser.AST
infinityE	Language.Hakaru.CodeGen.AST
inf_	Language.Hakaru.Parser.Parser
Inl
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
Inline	Language.Hakaru.CodeGen.AST
Inr
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
insertAssoc	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
insertAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
insertLoc	Language.Hakaru.Evaluation.DisintegrationMonad
insertSymbol	Language.Hakaru.Parser.SymbolResolve
insertSymbols	Language.Hakaru.Parser.SymbolResolve
insertVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
Int	Language.Hakaru.Parser.AST
int	Language.Hakaru.Parser.Parser
intDecl	Language.Hakaru.CodeGen.Types
intE	Language.Hakaru.CodeGen.AST
integer
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
Integrable	Language.Hakaru.Syntax.Prelude
Integrate
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
integrate	Language.Hakaru.Syntax.Prelude
Integrate_	Language.Hakaru.Parser.AST
integrate_expr	Language.Hakaru.Parser.Parser
Interp	Language.Hakaru.Evaluation.Lazy
intneg	Language.Hakaru.Parser.Maple
intpos	Language.Hakaru.Parser.Maple
intPtr	Language.Hakaru.CodeGen.Types
int_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
invgamma	Language.Hakaru.Syntax.Prelude
isBoundBy	Language.Hakaru.Evaluation.Types
isLazyLiteral	Language.Hakaru.Evaluation.Types
isLazyVariable	Language.Hakaru.Evaluation.Types
isParallel	Language.Hakaru.CodeGen.CodeGenMonad
iterateM_	Language.Hakaru.Runtime.Prelude
JmEq1	Language.Hakaru.Syntax.IClasses
jmEq1	Language.Hakaru.Syntax.IClasses
JmEq2	Language.Hakaru.Syntax.IClasses
jmEq2	Language.Hakaru.Syntax.IClasses
jmEq_Branch	Language.Hakaru.Syntax.AST.Eq
jmEq_S	Language.Hakaru.Syntax.AST.Eq
jmEq_Tuple	Language.Hakaru.Syntax.AST.Eq
just	Language.Hakaru.Syntax.Prelude
K	Language.Hakaru.Types.DataKind
KindOf	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
kl	Language.Hakaru.Inference
Konst
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
Lam	Language.Hakaru.Parser.AST
lam
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
lam2	Language.Hakaru.Syntax.Value
lamWithVar	Language.Hakaru.Syntax.Prelude
Lam_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
lam_expr	Language.Hakaru.Parser.Parser
laplace	Language.Hakaru.Syntax.Prelude
LaxMode	Language.Hakaru.Syntax.TypeCheck
Lazy	Language.Hakaru.Evaluation.Types
LC	Language.Hakaru.Syntax.AST
LCs	Language.Hakaru.Syntax.AST
LC_
1 (Type/Class)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Syntax.AST
Lebesgue	Language.Hakaru.Syntax.AST
lebesgue	Language.Hakaru.Syntax.Prelude
left	Language.Hakaru.Syntax.Prelude
LeftAssoc	Language.Hakaru.Pretty.Haskell
Less
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Data Constructor)	Language.Hakaru.Parser.Maple
lesseq	Language.Hakaru.Parser.Maple
lessthan	Language.Hakaru.Parser.Maple
Let	Language.Hakaru.Parser.AST
Let_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
let_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
let_expr	Language.Hakaru.Parser.Parser
lexer
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
Lift1
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
Lift2
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
liftM2	Language.Hakaru.Syntax.Prelude
LInt	Language.Hakaru.Syntax.AST
List	Language.Hakaru.Parser.Maple
list
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Syntax.Prelude
List1	Language.Hakaru.Syntax.IClasses
ListContext
1 (Type/Class)	Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad
2 (Data Constructor)	Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad
Literal	Language.Hakaru.Syntax.AST
Literal'	Language.Hakaru.Parser.AST
Literal_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
literal_	Language.Hakaru.Syntax.Prelude
LNat	Language.Hakaru.Syntax.AST
Loc
1 (Type/Class)	Language.Hakaru.Evaluation.DisintegrationMonad
2 (Data Constructor)	Language.Hakaru.Evaluation.DisintegrationMonad
Log
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
log
1 (Function)	Language.Hakaru.CodeGen.AST
2 (Function)	Language.Hakaru.Syntax.Prelude
log1p	Language.Hakaru.CodeGen.AST
logBase	Language.Hakaru.Syntax.Prelude
lookupAssoc	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
lookupIdent	Language.Hakaru.CodeGen.CodeGenMonad
lookupVar	Language.Hakaru.Sample
LProb	Language.Hakaru.Syntax.AST
LReal	Language.Hakaru.Syntax.AST
Lub
1 (Type/Class)	Language.Hakaru.Types.Coercion
2 (Data Constructor)	Language.Hakaru.Types.Coercion
makeAST	Language.Hakaru.Parser.SymbolResolve
makeBranch	Language.Hakaru.Parser.SymbolResolve
makeFalse	Language.Hakaru.Parser.SymbolResolve
makeMeasure	Language.Hakaru.Runtime.Prelude
makeName	Language.Hakaru.Parser.SymbolResolve
makePattern	Language.Hakaru.Parser.SymbolResolve
makeTrue	Language.Hakaru.Parser.SymbolResolve
makeType	Language.Hakaru.Parser.SymbolResolve
mapAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
mapEvaluate	Language.Hakaru.Sample
maple2AST	Language.Hakaru.Parser.Maple
maple2DCode	Language.Hakaru.Parser.Maple
maple2Pattern	Language.Hakaru.Parser.Maple
maple2Patterns	Language.Hakaru.Parser.Maple
maple2Type	Language.Hakaru.Parser.Maple
mapleDatum2AST	Language.Hakaru.Parser.Maple
MapleException
1 (Type/Class)	Language.Hakaru.Simplify
2 (Data Constructor)	Language.Hakaru.Simplify
mapleType	Language.Hakaru.Pretty.Maple
mapV	Language.Hakaru.Syntax.Prelude
mapWithIndex	Language.Hakaru.Syntax.Prelude
matchBranch	Language.Hakaru.Syntax.DatumCase
matchBranches	Language.Hakaru.Syntax.DatumCase
Matched	Language.Hakaru.Syntax.DatumCase
Matched_	Language.Hakaru.Syntax.DatumCase
matchPattern	Language.Hakaru.Syntax.DatumCase
MatchResult	Language.Hakaru.Syntax.DatumCase
MatchState	Language.Hakaru.Syntax.DatumCase
matchTopPattern	Language.Hakaru.Syntax.DatumCase
match_expr	Language.Hakaru.Parser.Parser
Max
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
max	Language.Hakaru.Syntax.Prelude
maximum	Language.Hakaru.Syntax.Prelude
MaxNat
1 (Type/Class)	Data.Number.Nat
2 (Data Constructor)	Data.Number.Nat
MaxNatural
1 (Type/Class)	Data.Number.Natural
2 (Data Constructor)	Data.Number.Natural
maxNextBind	Language.Hakaru.Syntax.ABT
maxNextFree	Language.Hakaru.Syntax.ABT
maxNextFreeOrBind	Language.Hakaru.Syntax.ABT
maybe	Language.Hakaru.Syntax.Prelude
MayBoxVec	Language.Hakaru.Runtime.Prelude
MBind	Language.Hakaru.Syntax.AST
MBind_	Language.Hakaru.Parser.AST
mcmc	Language.Hakaru.Inference
mdataDeclaration	Language.Hakaru.CodeGen.Types
mdataName	Language.Hakaru.CodeGen.Types
mdataPtrDeclaration	Language.Hakaru.CodeGen.Types
mdataPtrSample	Language.Hakaru.CodeGen.Types
mdataPtrWeight	Language.Hakaru.CodeGen.Types
mdataSample	Language.Hakaru.CodeGen.Types
mdataStruct	Language.Hakaru.CodeGen.Types
mdataStruct'	Language.Hakaru.CodeGen.Types
mdataWeight	Language.Hakaru.CodeGen.Types
Measure
1 (Type/Class)	Language.Hakaru.Runtime.Prelude
2 (Data Constructor)	Language.Hakaru.Runtime.Prelude
measure0_	Language.Hakaru.Syntax.Prelude
measure1_	Language.Hakaru.Syntax.Prelude
measure2_	Language.Hakaru.Syntax.Prelude
MeasureEvaluator	Language.Hakaru.Evaluation.Lazy
MeasureOp	Language.Hakaru.Syntax.AST
MeasureOp_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
memberVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
memo	Language.Hakaru.Syntax.Prelude
MemoizedABT	Language.Hakaru.Syntax.ABT
MetaABT
1 (Type/Class)	Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.ABT
MetaTerm	Language.Hakaru.Parser.AST
metaView	Language.Hakaru.Syntax.ABT
mh	Language.Hakaru.Inference
Min
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
min	Language.Hakaru.Syntax.Prelude
MinBoxVec	Language.Hakaru.Runtime.Prelude
minimum	Language.Hakaru.Syntax.Prelude
mix	Language.Hakaru.Syntax.Prelude
Mixed	Language.Hakaru.Types.Coercion
mkDecl	Language.Hakaru.CodeGen.Types
mkLoc	Language.Hakaru.Evaluation.DisintegrationMonad
mkParallel	Language.Hakaru.CodeGen.CodeGenMonad
mkPtrDecl	Language.Hakaru.CodeGen.Types
mkSequential	Language.Hakaru.CodeGen.CodeGenMonad
mkSym	Language.Hakaru.Parser.SymbolResolve
mkUnary	Language.Hakaru.CodeGen.AST
Msum	Language.Hakaru.Parser.AST
MultiLoc	Language.Hakaru.Evaluation.DisintegrationMonad
multinomial	Language.Hakaru.Syntax.Prelude
mustCheck	Language.Hakaru.Syntax.TypeCheck
Name
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
name	Language.Hakaru.Parser.Maple
Name'	Language.Hakaru.Parser.AST
nameID	Language.Hakaru.Parser.AST
names	Language.Hakaru.Parser.Parser
nameToVar	Language.Hakaru.Parser.AST
Nand
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
nand	Language.Hakaru.Syntax.Prelude
NaryOp
1 (Type/Class)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Type/Class)	Language.Hakaru.Parser.AST
naryOp2_	Language.Hakaru.Syntax.Prelude
NaryOp_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
naryOp_withIdentity	Language.Hakaru.Syntax.Prelude
Nat
1 (Type/Class)	Data.Number.Nat
2 (Data Constructor)	Language.Hakaru.Parser.AST
nat2int
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
nat2prob
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
nat2real
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
natDecl	Language.Hakaru.CodeGen.Types
NatPow
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
natPtr	Language.Hakaru.CodeGen.Types
NatRoot
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Natural	Data.Number.Natural
nat_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Neg	Language.Hakaru.Parser.Maple
Negate
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
negate	Language.Hakaru.Syntax.Prelude
negative	Language.Hakaru.Syntax.Prelude
negativeBinomial	Language.Hakaru.Syntax.Prelude
negativeInfinity	Language.Hakaru.Syntax.Prelude
negInfinityE	Language.Hakaru.CodeGen.AST
Neutral	Language.Hakaru.Evaluation.Types
nextBind	Language.Hakaru.Syntax.ABT
nextFree	Language.Hakaru.Syntax.ABT
nextFreeOrBind	Language.Hakaru.Syntax.ABT
nextFreshNat	Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad
nextVarID	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
nil	Language.Hakaru.Syntax.Prelude
Nil1	Language.Hakaru.Syntax.IClasses
NonAssoc	Language.Hakaru.Pretty.Haskell
NonNegative	Language.Hakaru.Types.HClasses
NonNegativeRational	Data.Number.Natural
Nor
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
nor	Language.Hakaru.Syntax.Prelude
Normal	Language.Hakaru.Syntax.AST
normal
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
normal'	Language.Hakaru.Syntax.Prelude
normalize
1 (Function)	Language.Hakaru.Sample
2 (Function)	Language.Hakaru.Expect
normalizeV	Language.Hakaru.Syntax.Prelude
normalizeVector	Language.Hakaru.Sample
normAST	Language.Hakaru.Parser.SymbolResolve
Not
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
not
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Syntax.Prelude
NotEq	Language.Hakaru.Parser.Maple
noteq	Language.Hakaru.Parser.Maple
nothing	Language.Hakaru.Syntax.Prelude
Not_	Language.Hakaru.Parser.Maple
numberLine	Language.Hakaru.Parser.AST
NumOp	Language.Hakaru.Parser.Maple
Observe
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
observe
1 (Function)	Language.Hakaru.Disintegrate
2 (Function)	Language.Hakaru.Observe
observeAST	Language.Hakaru.Observe
observeMeasureOp	Language.Hakaru.Observe
observeVar	Language.Hakaru.Observe
Observe_	Language.Hakaru.Parser.AST
observe_expr	Language.Hakaru.Parser.Parser
one	Language.Hakaru.Syntax.Prelude
one_	Language.Hakaru.Syntax.Prelude
Operator	Language.Hakaru.Parser.Parser
OperatorTable	Language.Hakaru.Parser.Parser
ops	Language.Hakaru.Parser.Parser
Or
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
or	Language.Hakaru.Syntax.Prelude
Pair	Language.Hakaru.Parser.AST
pair
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Pair1
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
Pair2
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
pairPat	Language.Hakaru.Parser.SymbolResolve
pairs	Language.Hakaru.Parser.Parser
Pair_	Language.Hakaru.Parser.AST
pair_	Language.Hakaru.Syntax.Prelude
PAns	Language.Hakaru.Evaluation.PEvalMonad
paraABT	Language.Hakaru.Syntax.ABT
parallel	Language.Hakaru.CodeGen.CodeGenMonad
parens
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
parseAndInfer	Language.Hakaru.Command
parseHakaru	Language.Hakaru.Parser.Parser
parseHakaruWithImports	Language.Hakaru.Parser.Parser
parseMaple	Language.Hakaru.Parser.Maple
Parser	Language.Hakaru.Parser.Parser
ParserStream	Language.Hakaru.Parser.Parser
Pattern
1 (Type/Class)	Language.Hakaru.Runtime.Prelude
2 (Type/Class)	Language.Hakaru.Syntax.Datum
3 (Type/Class)	Language.Hakaru.Parser.AST
Pattern'	Language.Hakaru.Parser.AST
pat_expr	Language.Hakaru.Parser.Parser
PCode	Language.Hakaru.Parser.AST
pCons	Language.Hakaru.Syntax.Datum
PData'	Language.Hakaru.Parser.AST
PDatum
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
3 (Type/Class)	Language.Hakaru.Parser.AST
PDatumCode	Language.Hakaru.Syntax.Datum
PDatumFun	Language.Hakaru.Syntax.Datum
PDatumStruct	Language.Hakaru.Syntax.Datum
pdat_expr	Language.Hakaru.Parser.Parser
PDone
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
perform	Language.Hakaru.Disintegrate
PEt
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
PEval
1 (Type/Class)	Language.Hakaru.Evaluation.PEvalMonad
2 (Data Constructor)	Language.Hakaru.Evaluation.PEvalMonad
pFalse	Language.Hakaru.Syntax.Datum
pfalse	Language.Hakaru.Runtime.Prelude
PFun	Language.Hakaru.Parser.AST
Pi
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
pi	Language.Hakaru.Syntax.Prelude
PIdent
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
PInl
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
PInr
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
pJust	Language.Hakaru.Syntax.Datum
PKonst
1 (Data Constructor)	Language.Hakaru.Syntax.Datum
2 (Data Constructor)	Language.Hakaru.Parser.AST
Plate
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
plate
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
plate'	Language.Hakaru.Syntax.Prelude
plateWithVar	Language.Hakaru.Syntax.Prelude
Plate_	Language.Hakaru.Parser.AST
plate_expr	Language.Hakaru.Parser.Parser
pLeft	Language.Hakaru.Syntax.Datum
pNil	Language.Hakaru.Syntax.Datum
pNothing	Language.Hakaru.Syntax.Datum
Poisson	Language.Hakaru.Syntax.AST
poisson	Language.Hakaru.Syntax.Prelude
poisson'	Language.Hakaru.Syntax.Prelude
poisson_rng	Language.Hakaru.Sample
Pos	Language.Hakaru.Parser.Maple
pose	Language.Hakaru.Runtime.Prelude
postfix	Language.Hakaru.Parser.Parser
Power	Language.Hakaru.Parser.Maple
power	Language.Hakaru.Parser.Maple
pPair	Language.Hakaru.Syntax.Datum
ppair	Language.Hakaru.Runtime.Prelude
ppBinder	Language.Hakaru.Pretty.Haskell
ppBinop	Language.Hakaru.Pretty.Haskell
ppCoerceTo	Language.Hakaru.Pretty.Haskell
PPDefine	Language.Hakaru.CodeGen.AST
PPElif	Language.Hakaru.CodeGen.AST
PPElse	Language.Hakaru.CodeGen.AST
PPEndif	Language.Hakaru.CodeGen.AST
PPError	Language.Hakaru.CodeGen.AST
PPIf	Language.Hakaru.CodeGen.AST
PPIfDef	Language.Hakaru.CodeGen.AST
PPIfNDef	Language.Hakaru.CodeGen.AST
PPInclude	Language.Hakaru.CodeGen.AST
PPPragma	Language.Hakaru.CodeGen.AST
ppRatio	Language.Hakaru.Pretty.Haskell
PPUndef	Language.Hakaru.CodeGen.AST
ppUnsafeFrom	Language.Hakaru.Pretty.Haskell
ppVariable	Language.Hakaru.Pretty.Haskell
ppVariables	Language.Hakaru.Pretty.Haskell
prefix	Language.Hakaru.Parser.Parser
Preprocessor	Language.Hakaru.CodeGen.AST
Pretty
1 (Type/Class)	Language.Hakaru.CodeGen.Pretty
2 (Type/Class)	Language.Hakaru.Pretty.Haskell
pretty
1 (Function)	Language.Hakaru.CodeGen.Pretty
2 (Function)	Language.Hakaru.Pretty.Haskell
3 (Function)	Language.Hakaru.Pretty.Concrete
4 (Function)	Language.Hakaru.Pretty.Maple
prettyAssoc	Language.Hakaru.Pretty.Haskell, Language.Hakaru.Pretty.Concrete
prettyPrec
1 (Function)	Language.Hakaru.Pretty.Haskell
2 (Function)	Language.Hakaru.Pretty.Concrete
prettyPrecAssoc	Language.Hakaru.Pretty.Haskell, Language.Hakaru.Pretty.Concrete
prettyPrec_	Language.Hakaru.Pretty.Haskell
prettyPrint	Language.Hakaru.CodeGen.Pretty
prettyType	Language.Hakaru.Pretty.Concrete
prettyValue	Language.Hakaru.Pretty.Concrete
pRight	Language.Hakaru.Syntax.Datum
primBern	Language.Hakaru.Parser.SymbolResolve
PrimCoerce	Language.Hakaru.Types.Coercion
primCoerce	Language.Hakaru.Parser.SymbolResolve
primCoerceFrom	Language.Hakaru.Types.Coercion
primCoerceTo	Language.Hakaru.Types.Coercion
PrimCoercion	Language.Hakaru.Types.Coercion
primFactor	Language.Hakaru.Parser.SymbolResolve
primJust	Language.Hakaru.Parser.SymbolResolve
primLeft	Language.Hakaru.Parser.SymbolResolve
primMeasure1	Language.Hakaru.Parser.SymbolResolve
primMeasure2	Language.Hakaru.Parser.SymbolResolve
primNothing	Language.Hakaru.Parser.SymbolResolve
PrimOp
1 (Type/Class)	Language.Hakaru.Syntax.AST
2 (Type/Class)	Language.Hakaru.Parser.AST
primOp0_	Language.Hakaru.Syntax.Prelude
primOp1_	Language.Hakaru.Syntax.Prelude
primOp2_	Language.Hakaru.Syntax.Prelude
primOp3_	Language.Hakaru.Syntax.Prelude
PrimOp_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
primPat	Language.Hakaru.Parser.SymbolResolve
primPrimOp0	Language.Hakaru.Parser.SymbolResolve
primPrimOp1	Language.Hakaru.Parser.SymbolResolve
primPrimOp2	Language.Hakaru.Parser.SymbolResolve
primRight	Language.Hakaru.Parser.SymbolResolve
primTable	Language.Hakaru.Parser.SymbolResolve
primTypes	Language.Hakaru.Parser.SymbolResolve
primUnsafe	Language.Hakaru.Parser.SymbolResolve
primWeight	Language.Hakaru.Parser.SymbolResolve
PrintConfig
1 (Type/Class)	Language.Hakaru.CodeGen.Wrapper
2 (Data Constructor)	Language.Hakaru.CodeGen.Wrapper
printfE	Language.Hakaru.CodeGen.AST
printSourceSpan	Language.Hakaru.Parser.AST
priorAsProposal	Language.Hakaru.Inference
Prob	Language.Hakaru.Parser.AST
prob_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Prod
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
prod	Language.Hakaru.Syntax.Prelude
Product
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
product
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Parser.Maple
3 (Function)	Language.Hakaru.Syntax.Prelude
Product_	Language.Hakaru.Parser.AST
product_expr	Language.Hakaru.Parser.Parser
Prod_	Language.Hakaru.Parser.Maple
pseudoblockExpr	Language.Hakaru.Parser.Parser
PStruct	Language.Hakaru.Parser.AST
pTrue	Language.Hakaru.Syntax.Datum
ptrue	Language.Hakaru.Runtime.Prelude
pUnit	Language.Hakaru.Syntax.Datum
Pure	Language.Hakaru.Evaluation.Types
PureAns	Language.Hakaru.Evaluation.EvalMonad
pureEvaluate
1 (Function)	Language.Hakaru.Evaluation.EvalMonad
2 (Function)	Language.Hakaru.Evaluation.ExpectMonad
Purity	Language.Hakaru.Evaluation.Types
push	Language.Hakaru.Evaluation.Types
pushes	Language.Hakaru.Evaluation.Types
pushPlate	Language.Hakaru.Evaluation.DisintegrationMonad
putExprStat	Language.Hakaru.CodeGen.CodeGenMonad
putLocs	Language.Hakaru.Evaluation.DisintegrationMonad
putStat	Language.Hakaru.CodeGen.CodeGenMonad
putStatements	Language.Hakaru.Evaluation.DisintegrationMonad
PVar
1 (Data Constructor)	Language.Hakaru.Runtime.Prelude
2 (Data Constructor)	Language.Hakaru.Syntax.Datum
3 (Data Constructor)	Language.Hakaru.Parser.AST
PVar'	Language.Hakaru.Parser.AST
PWild
1 (Data Constructor)	Language.Hakaru.Runtime.Prelude
2 (Data Constructor)	Language.Hakaru.Syntax.Datum
3 (Data Constructor)	Language.Hakaru.Parser.AST
PWild'	Language.Hakaru.Parser.AST
rand	Language.Hakaru.CodeGen.AST
Range	Language.Hakaru.Parser.Maple
range	Language.Hakaru.Parser.Maple
Rational	Language.Hakaru.Parser.Maple
rational	Language.Hakaru.Parser.Maple
readFromFile	Language.Hakaru.Command
Real	Language.Hakaru.Parser.AST
RealPow
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
RealProb	Language.Hakaru.Syntax.Prelude
real_
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Recip
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
recip	Language.Hakaru.Syntax.Prelude
Reduce
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
reduce	Language.Hakaru.Syntax.Prelude
reductionCG	Language.Hakaru.CodeGen.CodeGenMonad
Refl	Language.Hakaru.Syntax.IClasses
reflect	Language.Hakaru.Evaluation.Lazy
regBeta	Language.Hakaru.Inference
reify	Language.Hakaru.Evaluation.Lazy
reifyPair	Language.Hakaru.Evaluation.Lazy
reject
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Reject_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
rename
1 (Function)	Language.Hakaru.Syntax.ABT
2 (Function)	Language.Hakaru.Parser.Maple
renames	Language.Hakaru.Syntax.ABT
reserved	Language.Hakaru.Parser.Parser
reservedNames	Language.Hakaru.CodeGen.CodeGenMonad
reservedOp	Language.Hakaru.Parser.Parser
reserveName	Language.Hakaru.CodeGen.CodeGenMonad
residualizeExpectListContext	Language.Hakaru.Evaluation.ExpectMonad
residualizePureListContext	Language.Hakaru.Evaluation.EvalMonad
resolveAST	Language.Hakaru.Parser.SymbolResolve
resolveAST'	Language.Hakaru.Parser.SymbolResolve
resolveBinder	Language.Hakaru.Parser.SymbolResolve
resolveVar	Language.Hakaru.Syntax.ABT
return_expr	Language.Hakaru.Parser.Parser
right	Language.Hakaru.Syntax.Prelude
RightAssoc	Language.Hakaru.Pretty.Haskell
run	Language.Hakaru.Runtime.Prelude
runCodeGen	Language.Hakaru.CodeGen.CodeGenMonad
runCodeGenBlock	Language.Hakaru.CodeGen.CodeGenMonad
runCodeGenWith	Language.Hakaru.CodeGen.CodeGenMonad
runDis	Language.Hakaru.Evaluation.DisintegrationMonad
runEval	Language.Hakaru.Evaluation.EvalMonad
runEvaluate	Language.Hakaru.Sample
runExpect	Language.Hakaru.Evaluation.ExpectMonad
runExpectEval	Language.Hakaru.Evaluation.PEvalMonad
runImpureEval	Language.Hakaru.Evaluation.PEvalMonad
runPureEval	Language.Hakaru.Evaluation.PEvalMonad
runPureEvaluate	Language.Hakaru.Evaluation.EvalMonad
runTCM	Language.Hakaru.Syntax.TypeCheck
Safe	Language.Hakaru.Types.Coercion
SArgs	Language.Hakaru.Syntax.AST
SArray	Language.Hakaru.Types.Sing
SBind	Language.Hakaru.Evaluation.Types
sBool	Language.Hakaru.Types.Sing
SCon	Language.Hakaru.Syntax.AST
SData	Language.Hakaru.Types.Sing
SDone	Language.Hakaru.Types.Sing
sEither	Language.Hakaru.Types.Sing
select	Language.Hakaru.Evaluation.Types
semiblockExpr	Language.Hakaru.Parser.Parser
semiSep	Language.Hakaru.Parser.Parser
semiSep1	Language.Hakaru.Parser.Parser
seqCStat	Language.Hakaru.CodeGen.AST
SEt	Language.Hakaru.Types.Sing
SFun	Language.Hakaru.Types.Sing
SGuard	Language.Hakaru.Evaluation.Types
Show1	Language.Hakaru.Syntax.IClasses
show1	Language.Hakaru.Syntax.IClasses
Show2	Language.Hakaru.Syntax.IClasses
show2	Language.Hakaru.Syntax.IClasses
showList1	Language.Hakaru.Syntax.IClasses
showList2	Language.Hakaru.Syntax.IClasses
showListWith	Language.Hakaru.Syntax.IClasses
showParen_0	Language.Hakaru.Syntax.IClasses
showParen_01	Language.Hakaru.Syntax.IClasses
showParen_010	Language.Hakaru.Syntax.IClasses
showParen_011	Language.Hakaru.Syntax.IClasses
showParen_02	Language.Hakaru.Syntax.IClasses
showParen_1	Language.Hakaru.Syntax.IClasses
showParen_11	Language.Hakaru.Syntax.IClasses
showParen_111	Language.Hakaru.Syntax.IClasses
showParen_12	Language.Hakaru.Syntax.IClasses
showParen_2	Language.Hakaru.Syntax.IClasses
showParen_22	Language.Hakaru.Syntax.IClasses
showProbInLog	Language.Hakaru.CodeGen.Wrapper
shows1	Language.Hakaru.Syntax.IClasses
shows2	Language.Hakaru.Syntax.IClasses
showsPrec1	Language.Hakaru.Syntax.IClasses
showsPrec2	Language.Hakaru.Syntax.IClasses
showTuple	Language.Hakaru.Syntax.IClasses
showWeights	Language.Hakaru.CodeGen.Wrapper
SIdent	Language.Hakaru.Types.Sing
Signed	Language.Hakaru.Types.Coercion
signed	Language.Hakaru.Types.Coercion
Signum
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
signum	Language.Hakaru.Syntax.Prelude
simplify	Language.Hakaru.Simplify
simplifyDebug	Language.Hakaru.Simplify
simplifyZZ	Language.Hakaru.Types.Coercion
Sin
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
sin	Language.Hakaru.Syntax.Prelude
Sing	Language.Hakaru.Types.Sing, Language.Hakaru.Parser.AST
sing	Language.Hakaru.Types.Sing
singCoerceCod	Language.Hakaru.Types.Coercion
singCoerceDom	Language.Hakaru.Types.Coercion
singCoerceDomCod	Language.Hakaru.Types.Coercion
SingI	Language.Hakaru.Types.Sing
singleton	Language.Hakaru.Parser.SymbolResolve
singletonAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
singletonCoercion	Language.Hakaru.Types.Coercion
singletonVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
SingSymbol	Language.Hakaru.Types.Sing
sing_ArrayOp	Language.Hakaru.Syntax.AST.Sing
sing_HContinuous	Language.Hakaru.Types.HClasses
sing_HDiscrete	Language.Hakaru.Types.HClasses
sing_HEq	Language.Hakaru.Types.HClasses
sing_HFractional	Language.Hakaru.Types.HClasses
sing_HIntegrable	Language.Hakaru.Types.HClasses
sing_HIntegral	Language.Hakaru.Types.HClasses
sing_HOrd	Language.Hakaru.Types.HClasses
sing_HRadical	Language.Hakaru.Types.HClasses
sing_HRing	Language.Hakaru.Types.HClasses
sing_HSemiring	Language.Hakaru.Types.HClasses
sing_Literal	Language.Hakaru.Syntax.AST.Sing
sing_MeasureOp	Language.Hakaru.Syntax.AST.Sing
sing_NaryOp	Language.Hakaru.Syntax.AST.Sing
sing_NonNegative	Language.Hakaru.Types.HClasses
sing_PrimOp	Language.Hakaru.Syntax.AST.Sing
Sinh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
sinh	Language.Hakaru.Syntax.Prelude
SInt	Language.Hakaru.Types.Sing
Size
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
size
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
sizeInnermostInd	Language.Hakaru.Evaluation.DisintegrationMonad
SKonst	Language.Hakaru.Types.Sing
SLet	Language.Hakaru.Evaluation.Types
slice	Language.Hakaru.Inference
sliceX	Language.Hakaru.Inference
sList	Language.Hakaru.Types.Sing
sMaybe	Language.Hakaru.Types.Sing
SMeasure	Language.Hakaru.Types.Sing
SNat	Language.Hakaru.Types.Sing
snd	Language.Hakaru.Syntax.Prelude
snd1	Language.Hakaru.Syntax.IClasses
snd2	Language.Hakaru.Syntax.IClasses
Some1
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
Some2
1 (Type/Class)	Language.Hakaru.Syntax.IClasses
2 (Data Constructor)	Language.Hakaru.Syntax.IClasses
SomeFractional
1 (Type/Class)	Language.Hakaru.Types.Coercion
2 (Data Constructor)	Language.Hakaru.Types.Coercion
SomeOp
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
SomeRing
1 (Type/Class)	Language.Hakaru.Types.Coercion
2 (Data Constructor)	Language.Hakaru.Types.Coercion
SomeVariable
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
SourceSpan
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
sPair	Language.Hakaru.Types.Sing
splitLines	Language.Hakaru.Command
SPlus	Language.Hakaru.Types.Sing
SProb	Language.Hakaru.Types.Sing
sqrt
1 (Function)	Language.Hakaru.CodeGen.AST
2 (Function)	Language.Hakaru.Syntax.Prelude
square	Language.Hakaru.Syntax.Prelude
SReal	Language.Hakaru.Types.Sing
SSing
1 (Type/Class)	Language.Hakaru.Parser.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
SStuff0	Language.Hakaru.Evaluation.Types
SStuff1	Language.Hakaru.Evaluation.Types
sSymbol_Bool	Language.Hakaru.Types.Sing
sSymbol_Either	Language.Hakaru.Types.Sing
sSymbol_List	Language.Hakaru.Types.Sing
sSymbol_Maybe	Language.Hakaru.Types.Sing
sSymbol_Pair	Language.Hakaru.Types.Sing
sSymbol_Unit	Language.Hakaru.Types.Sing
Statement	Language.Hakaru.Evaluation.Types
statementInds	Language.Hakaru.Evaluation.DisintegrationMonad
statements
1 (Function)	Language.Hakaru.CodeGen.CodeGenMonad
2 (Function)	Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad
statementVars	Language.Hakaru.Evaluation.Types
StrictMode	Language.Hakaru.Syntax.TypeCheck
stringE	Language.Hakaru.CodeGen.AST
stringLiteral	Language.Hakaru.Parser.Maple
studentT	Language.Hakaru.Syntax.Prelude
STyApp	Language.Hakaru.Types.Sing
STyCon	Language.Hakaru.Types.Sing
style
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Parser.Parser
SU	Language.Hakaru.Parser.AST
subst	Language.Hakaru.Syntax.ABT
substs	Language.Hakaru.Syntax.ABT
suffixes	Language.Hakaru.CodeGen.CodeGenMonad
Sum
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
sum
1 (Function)	Language.Hakaru.Parser.Maple
2 (Function)	Language.Hakaru.Syntax.Prelude
Summate
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
summate
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
summateV	Language.Hakaru.Syntax.Prelude
Summate_	Language.Hakaru.Parser.AST
summate_expr	Language.Hakaru.Parser.Parser
sumV	Language.Hakaru.Syntax.Prelude
Sum_	Language.Hakaru.Parser.Maple
sUnArray	Language.Hakaru.Types.Sing
sUnEither	Language.Hakaru.Types.Sing
sUnit	Language.Hakaru.Types.Sing
sUnList	Language.Hakaru.Types.Sing
sUnMaybe	Language.Hakaru.Types.Sing
sUnMeasure	Language.Hakaru.Types.Sing
sUnPair	Language.Hakaru.Types.Sing
superpose
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Superpose_
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
SVoid	Language.Hakaru.Types.Sing
swap	Language.Hakaru.Syntax.Prelude
SWeight	Language.Hakaru.Evaluation.Types
Symbol
1 (Type/Class)	Language.Hakaru.Types.DataKind
2 (Type/Class)	Language.Hakaru.Parser.SymbolResolve
symbol	Language.Hakaru.Parser.Parser
Symbol'	Language.Hakaru.Parser.SymbolResolve
symbolResolution	Language.Hakaru.Parser.SymbolResolve
symbolResolveBranch	Language.Hakaru.Parser.SymbolResolve
symbolResolvePat	Language.Hakaru.Parser.SymbolResolve
SymbolTable	Language.Hakaru.Parser.SymbolResolve
symmetry	Language.Hakaru.Syntax.IClasses
symTable	Language.Hakaru.Parser.Maple
Syn	Language.Hakaru.Syntax.ABT
syn	Language.Hakaru.Syntax.ABT
t2	Language.Hakaru.Parser.SymbolResolve
t3	Language.Hakaru.Parser.SymbolResolve
table	Language.Hakaru.Parser.Parser
Tan
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
tan	Language.Hakaru.Syntax.Prelude
Tanh
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
tanh	Language.Hakaru.Syntax.Prelude
tCDF	Language.Hakaru.Inference
Term
1 (Type/Class)	Language.Hakaru.Syntax.AST
2 (Type/Class)	Language.Hakaru.Parser.AST
3 (Type/Class)	Language.Hakaru.Command
term	Language.Hakaru.Parser.Parser
TermEvaluator	Language.Hakaru.Evaluation.Lazy
text	Language.Hakaru.Parser.Maple
third	Language.Hakaru.Syntax.Prelude
thRootOf
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
Thunk	Language.Hakaru.Evaluation.Types
TLam	Language.Hakaru.Parser.SymbolResolve
TLam'	Language.Hakaru.Parser.SymbolResolve
TNeu	Language.Hakaru.Parser.SymbolResolve
TNeu'	Language.Hakaru.Parser.SymbolResolve
toAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
toAssocs1	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
toGBranch	Language.Hakaru.Syntax.DatumABT
toHead	Language.Hakaru.Evaluation.Types
TokenParser	Language.Hakaru.Parser.Maple
toList1	Language.Hakaru.Syntax.IClasses
toNat	Data.Number.Nat
toNatural	Data.Number.Natural
toNonNegativeRational	Data.Number.Natural
toStatements	Language.Hakaru.Evaluation.Lazy
total	Language.Hakaru.Expect
toVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
toVarSet1	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
toWhnf	Language.Hakaru.Evaluation.Types
transitivity	Language.Hakaru.Syntax.IClasses
Traversable11	Language.Hakaru.Syntax.IClasses
Traversable21	Language.Hakaru.Syntax.IClasses
Traversable22	Language.Hakaru.Syntax.IClasses
traverse11	Language.Hakaru.Syntax.IClasses
traverse21	Language.Hakaru.Syntax.IClasses
traverse22	Language.Hakaru.Syntax.IClasses
traversePairs	Language.Hakaru.Syntax.AST
triv	Language.Hakaru.Syntax.Prelude
TrivialABT	Language.Hakaru.Syntax.ABT
true
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
true_	Language.Hakaru.Parser.SymbolResolve
try_bool	Language.Hakaru.Syntax.AST.Eq
two	Language.Hakaru.Parser.SymbolResolve
TyCon	Language.Hakaru.Types.DataKind
TypeApp	Language.Hakaru.Parser.AST
TypeAST'	Language.Hakaru.Parser.AST
TypeCheckError	Language.Hakaru.Syntax.TypeCheck
TypeCheckMode	Language.Hakaru.Syntax.TypeCheck
TypeCheckMonad	Language.Hakaru.Syntax.TypeCheck
TypedAST
1 (Type/Class)	Language.Hakaru.Syntax.TypeCheck
2 (Data Constructor)	Language.Hakaru.Syntax.TypeCheck
typeDeclaration	Language.Hakaru.CodeGen.Types
TypeEq	Language.Hakaru.Syntax.IClasses
TypeFun	Language.Hakaru.Parser.AST
typeOf	Language.Hakaru.Syntax.TypeOf
typePtrDeclaration	Language.Hakaru.CodeGen.Types
types	Language.Hakaru.Parser.Parser
TypeVar	Language.Hakaru.Parser.AST
type_app	Language.Hakaru.Parser.Parser
type_expr	Language.Hakaru.Parser.Parser
type_fun	Language.Hakaru.Parser.Parser
type_var	Language.Hakaru.Parser.Parser
U	Language.Hakaru.Parser.AST
ULiteral	Language.Hakaru.Parser.AST
unAssocs	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
underBinders	Language.Hakaru.Syntax.ABT
underLam	Language.Hakaru.Syntax.AST.Transforms
unDis	Language.Hakaru.Evaluation.DisintegrationMonad
unDList1	Language.Hakaru.Syntax.IClasses
uneither	Language.Hakaru.Syntax.Prelude
unEval	Language.Hakaru.Evaluation.EvalMonad
unExpect	Language.Hakaru.Evaluation.ExpectMonad
unFix11	Language.Hakaru.Syntax.IClasses
Uniform	Language.Hakaru.Syntax.AST
uniform
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
uniform'	Language.Hakaru.Syntax.Prelude
Unit	Language.Hakaru.Parser.AST
unit
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
unitV	Language.Hakaru.Syntax.Prelude
unit_
1 (Function)	Language.Hakaru.Parser.Parser
2 (Function)	Language.Hakaru.Parser.SymbolResolve
UnLCs	Language.Hakaru.Syntax.AST
unLC_	Language.Hakaru.Syntax.AST
unLift1	Language.Hakaru.Syntax.IClasses
unLift2	Language.Hakaru.Syntax.IClasses
unMaxNat	Data.Number.Nat
unMaxNatural	Data.Number.Natural
unmaybe	Language.Hakaru.Syntax.Prelude
unMeasure	Language.Hakaru.Runtime.Prelude
unpair	Language.Hakaru.Syntax.Prelude
unPEval	Language.Hakaru.Evaluation.PEvalMonad
Unsafe	Language.Hakaru.Types.Coercion
unsafeDiv	Language.Hakaru.Syntax.Prelude
unsafeDiv_	Language.Hakaru.Syntax.Prelude
UnsafeFrom_	Language.Hakaru.Syntax.AST
unsafeFrom_
1 (Function)	Language.Hakaru.Parser.SymbolResolve
2 (Function)	Language.Hakaru.Syntax.Prelude
unsafeMinus	Language.Hakaru.Syntax.Prelude
unsafeMinusNat	Language.Hakaru.Syntax.Prelude
unsafeMinusProb	Language.Hakaru.Syntax.Prelude
unsafeMinus_	Language.Hakaru.Syntax.Prelude
UnsafeMode	Language.Hakaru.Syntax.TypeCheck
unsafeNaryOp_	Language.Hakaru.Syntax.Prelude
unsafeNat
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Data.Number.Nat
unsafeNatural	Data.Number.Natural
unsafeNonNegativeRational	Data.Number.Natural
unsafeProb
1 (Function)	Language.Hakaru.Runtime.Prelude
2 (Function)	Language.Hakaru.Syntax.Prelude
unsafeProbFraction	Language.Hakaru.Syntax.Prelude
unsafeProbFraction_	Language.Hakaru.Syntax.Prelude
unsafeProbSemiring	Language.Hakaru.Syntax.Prelude
unsafeProbSemiring_	Language.Hakaru.Syntax.Prelude
unsafePush	Language.Hakaru.Evaluation.Types
unsafePushes	Language.Hakaru.Evaluation.Types
UnsafeTo_	Language.Hakaru.Parser.AST
unTCM	Language.Hakaru.Syntax.TypeCheck
Untyped	Language.Hakaru.Parser.AST
unVarSet	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
unviewABT	Language.Hakaru.Syntax.ABT
update	Language.Hakaru.Evaluation.Lazy
updateEnv	Language.Hakaru.Sample
val	Language.Hakaru.Parser.AST
Value	Language.Hakaru.Syntax.Value
Var
1 (Data Constructor)	Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Parser.AST
var
1 (Function)	Language.Hakaru.Syntax.ABT
2 (Function)	Language.Hakaru.Parser.Parser
varEnv	Language.Hakaru.CodeGen.CodeGenMonad
varEq	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
VarEqTypeError
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
varHint	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
Variable
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
VariableEvaluator	Language.Hakaru.Evaluation.Lazy
varID	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
Varmap	Language.Hakaru.Syntax.AST.Eq
VArray	Language.Hakaru.Syntax.Value
VarSet
1 (Type/Class)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
varType	Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
VDatum	Language.Hakaru.Syntax.Value
View	Language.Hakaru.Syntax.ABT
viewABT	Language.Hakaru.Syntax.ABT
viewDatum	Language.Hakaru.Syntax.DatumCase
viewHeadDatum	Language.Hakaru.Evaluation.Types
viewWhnfDatum	Language.Hakaru.Evaluation.Types
VInt	Language.Hakaru.Syntax.Value
VLam	Language.Hakaru.Syntax.Value
VMeasure	Language.Hakaru.Syntax.Value
VNat	Language.Hakaru.Syntax.Value
void_jmEq1	Language.Hakaru.Syntax.AST.Eq
void_varEq	Language.Hakaru.Syntax.AST.Eq
VProb	Language.Hakaru.Syntax.Value
VReal	Language.Hakaru.Syntax.Value
WArray	Language.Hakaru.Evaluation.Types
WChain	Language.Hakaru.Evaluation.Types
WCoerceTo	Language.Hakaru.Evaluation.Types
WDatum	Language.Hakaru.Evaluation.Types
WDirac	Language.Hakaru.Evaluation.Types
weibull	Language.Hakaru.Syntax.Prelude
weight	Language.Hakaru.Syntax.Prelude
weightedDirac	Language.Hakaru.Syntax.Prelude
WEmpty	Language.Hakaru.Evaluation.Types
whileCG	Language.Hakaru.CodeGen.CodeGenMonad
whiteSpace	Language.Hakaru.Parser.Parser
Whnf	Language.Hakaru.Evaluation.Types
Whnf_	Language.Hakaru.Evaluation.Types
WIntegrate	Language.Hakaru.Evaluation.Types
withGuard	Language.Hakaru.Syntax.Prelude
withIndices	Language.Hakaru.Evaluation.DisintegrationMonad
WithMeta	Language.Hakaru.Parser.AST
withMetadata	Language.Hakaru.Syntax.ABT
withPos	Language.Hakaru.Parser.Parser
withPrint	Language.Hakaru.Runtime.Prelude
withWeight	Language.Hakaru.Syntax.Prelude
WLam	Language.Hakaru.Evaluation.Types
WLiteral	Language.Hakaru.Evaluation.Types
WMBind	Language.Hakaru.Evaluation.Types
WMeasureOp	Language.Hakaru.Evaluation.Types
WPlate	Language.Hakaru.Evaluation.Types
wrapProgram	Language.Hakaru.CodeGen.Wrapper
WReject	Language.Hakaru.Evaluation.Types
writeToFile	Language.Hakaru.Command
WSuperpose	Language.Hakaru.Evaluation.Types
WUnsafeFrom	Language.Hakaru.Evaluation.Types
Xor
1 (Data Constructor)	Language.Hakaru.Syntax.AST
2 (Data Constructor)	Language.Hakaru.Parser.AST
Zag	Language.Hakaru.Types.Coercion
zero	Language.Hakaru.Syntax.Prelude
zero_	Language.Hakaru.Syntax.Prelude
Zig	Language.Hakaru.Types.Coercion
ZigZag	Language.Hakaru.Types.Coercion
zipWithV	Language.Hakaru.Syntax.Prelude
ZRefl	Language.Hakaru.Types.Coercion
^	Language.Hakaru.Syntax.Prelude
^^	Language.Hakaru.Syntax.Prelude
\|\|	Language.Hakaru.Syntax.Prelude