! | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
&& | Language.Hakaru.Syntax.Prelude |
* | Language.Hakaru.Syntax.Prelude |
** | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | 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.CodeGen.AST |
.>=. | Language.Hakaru.CodeGen.AST |
.||. | Language.Hakaru.CodeGen.AST |
/ | Language.Hakaru.Syntax.Prelude |
/= | Language.Hakaru.Syntax.Prelude |
:$ | Language.Hakaru.Syntax.AST |
:* | |
1 (Data Constructor) | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
ABT | Language.Hakaru.Syntax.ABT |
accum | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
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 |
adjustExtra | Language.Hakaru.Evaluation.DisintegrationMonad |
All | Language.Hakaru.Syntax.IClasses |
allHolds | Language.Hakaru.Syntax.IClasses |
allTransformations | Language.Hakaru.Syntax.AST.Transforms |
allTransformationsWithMOpts | Language.Hakaru.Syntax.AST.Transforms |
allTransforms | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
all_jmEq2 | Language.Hakaru.Syntax.AST.Eq |
alphaEq | Language.Hakaru.Syntax.AST.Eq |
ambiguousEmptyNary | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
ambiguousFreeVariable | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
ambiguousMustCheck | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
ambiguousMustCheckNary | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
ambiguousNullCoercion | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
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.Syntax.Prelude |
2 (Function) | Language.Hakaru.Parser.Maple |
And_ | Language.Hakaru.Parser.Maple |
Ann | Language.Hakaru.Parser.AST |
Ann_ | Language.Hakaru.Parser.AST |
ann_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Ans | Language.Hakaru.Evaluation.DisintegrationMonad |
App | Language.Hakaru.Parser.AST |
app | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
app2 | 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 |
argumentNumberError | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
Array | Language.Hakaru.Parser.AST |
array | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
arrayData | Language.Hakaru.CodeGen.Types |
arrayDeclaration | Language.Hakaru.CodeGen.Types |
arrayLit | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
ArrayLiteral | Language.Hakaru.Parser.AST |
ArrayLiteral_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
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 |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
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 |
binderM | Language.Hakaru.Syntax.ABT |
Binders | Language.Hakaru.Syntax.ABT |
binders | Language.Hakaru.Syntax.ABT |
binds | Language.Hakaru.Syntax.ABT |
binds_ | Language.Hakaru.Syntax.ABT |
bindx | Language.Hakaru.Syntax.Prelude |
binomial | Language.Hakaru.Syntax.Prelude |
bool_ | Language.Hakaru.Syntax.Prelude |
bot | |
1 (Function) | Language.Hakaru.Evaluation.PEvalMonad |
2 (Function) | Language.Hakaru.Evaluation.DisintegrationMonad |
Branch | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Data Constructor) | Language.Hakaru.Runtime.LogFloatPrelude |
3 (Type/Class) | Language.Hakaru.Runtime.Prelude |
4 (Data Constructor) | Language.Hakaru.Runtime.Prelude |
5 (Type/Class) | Language.Hakaru.Syntax.Datum |
6 (Data Constructor) | Language.Hakaru.Syntax.Datum |
7 (Type/Class) | Language.Hakaru.Parser.AST |
branch | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
4 (Function) | Language.Hakaru.Parser.Maple |
Branch' | |
1 (Type/Class) | Language.Hakaru.Parser.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
Branch'' | Language.Hakaru.Parser.AST |
Branch_ | |
1 (Type/Class) | Language.Hakaru.Parser.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
Bucket | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
bucket | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Bucket_ | Language.Hakaru.Parser.AST |
buildDeclaration | Language.Hakaru.CodeGen.Types |
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 |
callStruct | Language.Hakaru.CodeGen.Types |
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.Types |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 |
castTo | Language.Hakaru.CodeGen.Types |
castToPtrOf | Language.Hakaru.CodeGen.Types |
cata11 | Language.Hakaru.Syntax.IClasses |
cataABT | Language.Hakaru.Syntax.ABT |
cataABTM | Language.Hakaru.Syntax.ABT |
Categorical | Language.Hakaru.Syntax.AST |
categorical | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 |
CDDeclrRec | 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 |
charE | Language.Hakaru.CodeGen.AST |
checkType | Language.Hakaru.Syntax.TypeCheck |
chi2 | Language.Hakaru.Syntax.Prelude |
Choose | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
choose | |
1 (Function) | Language.Hakaru.Syntax.Prelude |
2 (Function) | Language.Hakaru.Evaluation.PEvalMonad |
3 (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 |
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 |
closureStructure | Language.Hakaru.CodeGen.Types |
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 |
cNameStream | Language.Hakaru.CodeGen.AST |
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 |
codeBlockCG | Language.Hakaru.CodeGen.CodeGenMonad |
CodeGen | Language.Hakaru.CodeGen.CodeGenMonad |
Coerce | Language.Hakaru.Types.Coercion |
coerceFrom | Language.Hakaru.Types.Coercion |
coerceFrom_nonLC | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
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 |
coerceTo_nonLC | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
Coercion | Language.Hakaru.Types.Coercion |
CoercionMode | Language.Hakaru.Types.Coercion |
collapseNaryOp | Language.Hakaru.Parser.Maple |
comma | Language.Hakaru.Parser.Maple |
command | Language.Hakaru.Maple |
commaSep | Language.Hakaru.Parser.Maple |
congruence | Language.Hakaru.Syntax.IClasses |
cons | Language.Hakaru.Syntax.Prelude |
Cons1 | Language.Hakaru.Syntax.IClasses |
Cons2 | Language.Hakaru.Syntax.IClasses |
constantPropagation | Language.Hakaru.Evaluation.ConstantPropagation |
constrainOutcome | Language.Hakaru.Disintegrate |
constrainValue | Language.Hakaru.Disintegrate |
constV | Language.Hakaru.Syntax.Prelude |
context | Language.Hakaru.Maple |
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 |
CPtrDeclr | |
1 (Type/Class) | Language.Hakaru.CodeGen.AST |
2 (Data Constructor) | Language.Hakaru.CodeGen.AST |
createIdent | Language.Hakaru.CodeGen.CodeGenMonad |
createIdent' | Language.Hakaru.CodeGen.CodeGenMonad |
CRegister | Language.Hakaru.CodeGen.AST |
CReturn | Language.Hakaru.CodeGen.AST |
Critical | Language.Hakaru.CodeGen.Libs |
CRmdAssOp | Language.Hakaru.CodeGen.AST |
CRmdOp | Language.Hakaru.CodeGen.AST |
cse | Language.Hakaru.Syntax.CSE |
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 |
Ctx | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
ctxOf | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
CTypeDef | Language.Hakaru.CodeGen.AST |
CTypeDefType | Language.Hakaru.CodeGen.AST |
CTypeName | |
1 (Type/Class) | Language.Hakaru.CodeGen.AST |
2 (Data Constructor) | 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 |
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 |
datumFst | Language.Hakaru.CodeGen.Types |
DatumFun | Language.Hakaru.Syntax.Datum |
datumHint | Language.Hakaru.Syntax.Datum |
datumIndex | Language.Hakaru.CodeGen.Types |
datumProd | Language.Hakaru.CodeGen.Types |
datumSnd | 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 |
dBool | Language.Hakaru.Syntax.Datum |
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 |
debug | Language.Hakaru.Maple |
declarations | Language.Hakaru.CodeGen.CodeGenMonad |
declare | Language.Hakaru.CodeGen.CodeGenMonad |
declare' | Language.Hakaru.CodeGen.CodeGenMonad |
DeclareRed | Language.Hakaru.CodeGen.Libs |
defaultCaseEvaluator | Language.Hakaru.Evaluation.Types |
defaultMapleOptions | Language.Hakaru.Maple |
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 |
densityInCtx | Language.Hakaru.Disintegrate |
densityNormal | Language.Hakaru.Syntax.Prelude |
densityPoisson | Language.Hakaru.Syntax.Prelude |
densityUniform | Language.Hakaru.Syntax.Prelude |
densityWithVar | Language.Hakaru.Disintegrate |
determine | Language.Hakaru.Disintegrate |
determineExpect | Language.Hakaru.Expect |
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 | Language.Hakaru.Syntax.AST |
dirac | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Dirac_ | Language.Hakaru.Parser.AST |
Directive | Language.Hakaru.CodeGen.Libs |
dirichlet | Language.Hakaru.Syntax.Prelude |
Dis | |
1 (Type/Class) | Language.Hakaru.Evaluation.DisintegrationMonad |
2 (Data Constructor) | Language.Hakaru.Evaluation.DisintegrationMonad |
Disint | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
disintegrate | Language.Hakaru.Disintegrate |
disintegrateInCtx | Language.Hakaru.Disintegrate |
disintegrateWithVar | Language.Hakaru.Disintegrate |
distributed | Language.Hakaru.CodeGen.CodeGenMonad |
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 |
done | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
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 |
dupABT | Language.Hakaru.Syntax.ABT |
DV | Language.Hakaru.Parser.AST |
EAssoc | |
1 (Type/Class) | Language.Hakaru.Sample |
2 (Data Constructor) | Language.Hakaru.Sample |
elimTypedAST | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
emit | |
1 (Function) | Language.Hakaru.Evaluation.PEvalMonad |
2 (Function) | Language.Hakaru.Evaluation.ExpectMonad |
3 (Function) | Language.Hakaru.Evaluation.DisintegrationMonad |
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 |
emitMBind2 | 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.ExpectMonad |
3 (Function) | Language.Hakaru.Evaluation.DisintegrationMonad |
empty | Language.Hakaru.Syntax.Prelude |
emptyAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
emptyCG | Language.Hakaru.CodeGen.CodeGenMonad |
emptyEnv | Language.Hakaru.Sample |
emptyLAssocs | Language.Hakaru.Evaluation.Types |
emptyVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
Empty_ | Language.Hakaru.Syntax.AST |
End | |
1 (Data Constructor) | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.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 | |
1 (Function) | Language.Hakaru.Sample |
2 (Function) | Language.Hakaru.Evaluation.Lazy |
evaluateBucket | Language.Hakaru.Sample |
evaluateCase | |
1 (Function) | Language.Hakaru.Sample |
2 (Function) | Language.Hakaru.Evaluation.Types |
evaluateDatum | Language.Hakaru.Sample |
evaluateEmpty | Language.Hakaru.Sample |
evaluateLiteral | Language.Hakaru.Sample |
evaluateMeasureOp | Language.Hakaru.Sample |
evaluateNaryOp | |
1 (Function) | Language.Hakaru.Sample |
2 (Function) | Language.Hakaru.Evaluation.Lazy |
evaluatePrimOp | |
1 (Function) | Language.Hakaru.Sample |
2 (Function) | Language.Hakaru.Evaluation.Lazy |
evaluateSCon | Language.Hakaru.Sample |
evaluateSuperpose | Language.Hakaru.Sample |
evaluateTerm | Language.Hakaru.Sample |
evaluateVar | |
1 (Function) | Language.Hakaru.Sample |
2 (Function) | Language.Hakaru.Evaluation.Types |
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.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
expandAllTransformations | Language.Hakaru.Syntax.AST.Transforms |
expandImports | Language.Hakaru.Parser.Import |
expandTransformations | Language.Hakaru.Syntax.AST.Transforms |
expandTransformationsWith | Language.Hakaru.Syntax.AST.Transforms |
expandTransformationsWith' | Language.Hakaru.Syntax.AST.Transforms |
expE | Language.Hakaru.CodeGen.Libs |
Expect | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, 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 |
expectInCtx | Language.Hakaru.Expect |
ExpectP | Language.Hakaru.Evaluation.Types |
expm1E | Language.Hakaru.CodeGen.Libs |
exponential | Language.Hakaru.Syntax.Prelude |
expr | Language.Hakaru.Parser.Maple |
ExpSeq | Language.Hakaru.Parser.Maple |
expseq | Language.Hakaru.Parser.Maple |
extDeclare | Language.Hakaru.CodeGen.CodeGenMonad |
extDeclareTypes | Language.Hakaru.CodeGen.CodeGenMonad |
extDecls | Language.Hakaru.CodeGen.CodeGenMonad |
extendIndices | Language.Hakaru.Evaluation.DisintegrationMonad |
extFreeVars | Language.Hakaru.Evaluation.Types |
Extra | Language.Hakaru.Evaluation.DisintegrationMonad |
extract | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
extractBool | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
extraOpts | Language.Hakaru.Maple |
extSubst | Language.Hakaru.Evaluation.Types |
extSubsts | Language.Hakaru.Evaluation.Types |
failwith | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
failwith_ | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
false | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
fcloseE | Language.Hakaru.CodeGen.Libs |
feofE | Language.Hakaru.CodeGen.Libs |
fgetsE | Language.Hakaru.CodeGen.Libs |
file | Language.Hakaru.Command |
fileSource | Language.Hakaru.Command |
fileT | Language.Hakaru.CodeGen.Libs |
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 |
flattenWithName | Language.Hakaru.CodeGen.Flatten |
flattenWithName' | Language.Hakaru.CodeGen.Flatten |
Float | Language.Hakaru.Parser.Maple |
float | Language.Hakaru.Parser.Maple |
floatE | Language.Hakaru.CodeGen.AST |
Floor | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
floor | Language.Hakaru.Syntax.Prelude |
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 |
fold12 | Language.Hakaru.Syntax.IClasses |
fold21 | Language.Hakaru.Syntax.IClasses |
fold22 | Language.Hakaru.Syntax.IClasses |
Foldable11 | Language.Hakaru.Syntax.IClasses |
Foldable12 | 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 |
foldMap12 | Language.Hakaru.Syntax.IClasses |
foldMap21 | Language.Hakaru.Syntax.IClasses |
foldMap22 | Language.Hakaru.Syntax.IClasses |
foldMapPairs | Language.Hakaru.Syntax.AST |
fopenE | Language.Hakaru.CodeGen.Libs |
For | Language.Hakaru.CodeGen.Libs |
forCG | Language.Hakaru.CodeGen.CodeGenMonad |
freeE | Language.Hakaru.CodeGen.Libs |
freeLocError | Language.Hakaru.Evaluation.DisintegrationMonad |
freeVars | Language.Hakaru.Syntax.ABT |
freshenLoc | Language.Hakaru.Evaluation.Types |
freshenLocs | Language.Hakaru.Evaluation.Types |
freshenVar | Language.Hakaru.Evaluation.Types |
freshenVarRe | Language.Hakaru.Observe |
freshenVars | Language.Hakaru.Evaluation.Types |
freshInd | Language.Hakaru.Evaluation.Types |
freshLocStatement | Language.Hakaru.Evaluation.Types |
freshNames | Language.Hakaru.CodeGen.CodeGenMonad |
freshNat | Language.Hakaru.Evaluation.Types |
freshVar | |
1 (Function) | Language.Hakaru.Syntax.Gensym |
2 (Function) | Language.Hakaru.Evaluation.Types |
freshVarId | Language.Hakaru.Syntax.Gensym |
freshVars | Language.Hakaru.Evaluation.Types |
fromAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
fromAst | Language.Hakaru.Pretty.SExpression |
fromGBranch | Language.Hakaru.Syntax.DatumABT |
fromHead | Language.Hakaru.Evaluation.Types |
fromIndex | Language.Hakaru.Evaluation.Types |
fromInt | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
fromLazy | Language.Hakaru.Evaluation.Types |
fromList1 | Language.Hakaru.Syntax.IClasses |
fromLocation | Language.Hakaru.Evaluation.Types |
fromLocations1 | Language.Hakaru.Evaluation.Types |
fromNat | Data.Number.Nat |
fromNatural | Data.Number.Natural |
fromNonNegativeRational | Data.Number.Natural |
fromProb | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 |
gcHeader | Language.Hakaru.CodeGen.Libs |
gcInit | Language.Hakaru.CodeGen.Libs |
gcMalloc | Language.Hakaru.CodeGen.Libs |
genIdent | Language.Hakaru.CodeGen.CodeGenMonad |
genIdent' | Language.Hakaru.CodeGen.CodeGenMonad |
Gensym | Language.Hakaru.Syntax.Gensym |
geometric | Language.Hakaru.Syntax.Prelude |
getContents | Data.Text.Utf8 |
getCtx | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getExtras | Language.Hakaru.Evaluation.DisintegrationMonad |
getHEq | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getHFractional | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getHOrd | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getHRing | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getHSemiring | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getIndices | Language.Hakaru.Evaluation.Types, Language.Hakaru.Evaluation.DisintegrationMonad |
getInput | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getLazyLiteral | Language.Hakaru.Evaluation.Types |
getLazyVariable | Language.Hakaru.Evaluation.Types |
getMetadata | Language.Hakaru.Syntax.ABT |
getMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
getSArgsSing | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
getStatements | Language.Hakaru.Evaluation.DisintegrationMonad |
getTermSing | Language.Hakaru.Syntax.TypeOf |
gibbsProposal | Language.Hakaru.Inference |
goCode | Language.Hakaru.Pretty.SExpression |
goFun | Language.Hakaru.Pretty.SExpression |
goStruct | Language.Hakaru.Pretty.SExpression |
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 |
haskellTransformations | Language.Hakaru.Syntax.AST.Transforms |
HasTransformCtx | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
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 |
hoist | Language.Hakaru.Syntax.Hoist |
Holds | |
1 (Type/Class) | Language.Hakaru.Syntax.IClasses |
2 (Data Constructor) | Language.Hakaru.Syntax.IClasses |
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 |
hPut | Data.Text.Utf8 |
hPutStrLn | Data.Text.Utf8 |
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 | Language.Hakaru.Parser.Maple |
identityElement | Language.Hakaru.Sample |
If | Language.Hakaru.Parser.AST |
ifCG | Language.Hakaru.CodeGen.CodeGenMonad |
Iff | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
if_ | Language.Hakaru.Syntax.Prelude |
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 |
Impure | Language.Hakaru.Evaluation.Types |
incompleteBeta | Language.Hakaru.Inference |
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.CodeGen.AST |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Infinity' | Language.Hakaru.Parser.AST |
infinityE | Language.Hakaru.CodeGen.Libs |
InHaskell | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
init | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
InjTyped | Language.Hakaru.Parser.AST |
Inl | |
1 (Data Constructor) | Language.Hakaru.Syntax.Datum |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
Inline | Language.Hakaru.CodeGen.AST |
InMaple | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
Input | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
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 |
insertExtra | Language.Hakaru.Evaluation.DisintegrationMonad |
insertLAssocs | Language.Hakaru.Evaluation.Types |
insertOrReplaceAssoc | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
insertVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
Int | Language.Hakaru.Parser.AST |
intE | Language.Hakaru.CodeGen.AST |
integer | Language.Hakaru.Parser.Maple |
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 |
Interp | Language.Hakaru.Evaluation.Lazy |
intersectVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
intneg | Language.Hakaru.Parser.Maple |
intpos | Language.Hakaru.Parser.Maple |
intToNatural | Language.Hakaru.Sample |
int_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
invgamma | Language.Hakaru.Syntax.Prelude |
isBool | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
isBoundBy | Language.Hakaru.Evaluation.Types |
isLazyLiteral | Language.Hakaru.Evaluation.Types |
isLazyVariable | Language.Hakaru.Evaluation.Types |
isValue | Language.Hakaru.Syntax.ANF |
iterateM_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
JmEq1 | Language.Hakaru.Syntax.IClasses |
jmEq1 | Language.Hakaru.Syntax.IClasses |
jmEq1_ | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
JmEq2 | Language.Hakaru.Syntax.IClasses |
jmEq2 | Language.Hakaru.Syntax.IClasses |
jmEqReducer | Language.Hakaru.Syntax.Reducer |
jmEq_Branch | Language.Hakaru.Syntax.AST.Eq |
jmEq_S | Language.Hakaru.Syntax.AST.Eq |
jmEq_Transform | Language.Hakaru.Syntax.AST.Eq |
jmEq_Tuple | Language.Hakaru.Syntax.AST.Eq |
just | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | 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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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_ | Language.Hakaru.Disintegrate |
laplace | Language.Hakaru.Syntax.Prelude |
LAssoc | Language.Hakaru.Evaluation.Types |
LAssocs | Language.Hakaru.Evaluation.Types |
LaxMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
Lazy | Language.Hakaru.Evaluation.Types |
LC | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
lc | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
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 |
lebesgue' | Language.Hakaru.Syntax.Prelude |
left | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | 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 |
letM | Language.Hakaru.Syntax.Prelude |
Let_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
let_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
lexer | Language.Hakaru.Parser.Maple |
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.Syntax.Prelude |
2 (Function) | Language.Hakaru.Parser.Maple |
List1 | Language.Hakaru.Syntax.IClasses |
List2 | Language.Hakaru.Syntax.IClasses |
ListContext | |
1 (Type/Class) | Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.ExpectMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad |
2 (Data Constructor) | Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.ExpectMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad |
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 | Language.Hakaru.Evaluation.DisintegrationMonad |
localname | Language.Hakaru.Parser.Maple |
localVar | Language.Hakaru.CodeGen.Flatten |
localVar' | Language.Hakaru.CodeGen.Flatten |
Location | |
1 (Type/Class) | Language.Hakaru.Evaluation.Types |
2 (Data Constructor) | Language.Hakaru.Evaluation.Types |
locations1 | Language.Hakaru.Evaluation.Types |
locEq | Language.Hakaru.Evaluation.Types |
locHint | Language.Hakaru.Evaluation.Types |
locType | Language.Hakaru.Evaluation.Types |
Log | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
log | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
log1pE | Language.Hakaru.CodeGen.Libs |
logBase | Language.Hakaru.Syntax.Prelude |
logE | Language.Hakaru.CodeGen.Libs |
logProbs | Language.Hakaru.CodeGen.CodeGenMonad |
lookupAssoc | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
lookupIdent | Language.Hakaru.CodeGen.CodeGenMonad |
lookupLAssoc | Language.Hakaru.Evaluation.Types |
lookupTransform | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
lookupTransform' | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
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 |
makeErrMsg | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
MakeMain | Language.Hakaru.Runtime.CmdLine |
makeMain | Language.Hakaru.Runtime.CmdLine |
makeMeasure | Language.Hakaru.Runtime.CmdLine |
makeName | Language.Hakaru.Parser.SymbolResolve |
makeVar | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
make_NaryOp | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
mallocE | Language.Hakaru.CodeGen.Libs |
managedMem | Language.Hakaru.CodeGen.CodeGenMonad |
mapAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
mapEvaluate | Language.Hakaru.Sample |
maple | Language.Hakaru.Maple |
maple2AST | Language.Hakaru.Parser.Maple |
maple2DCode | Language.Hakaru.Parser.Maple |
maple2Pattern | Language.Hakaru.Parser.Maple |
maple2Patterns | Language.Hakaru.Parser.Maple |
maple2ReducerAST | Language.Hakaru.Parser.Maple |
maple2Type | Language.Hakaru.Parser.Maple |
MapleAmbiguousCommand | Language.Hakaru.Maple |
MapleCommand | |
1 (Type/Class) | Language.Hakaru.Maple |
2 (Data Constructor) | Language.Hakaru.Maple |
mapleDatum2AST | Language.Hakaru.Parser.Maple |
MapleException | Language.Hakaru.Maple, Language.Hakaru.Summary |
MapleInputTypeMismatch | Language.Hakaru.Maple |
MapleInterpreterException | Language.Hakaru.Maple, Language.Hakaru.Summary |
MapleOptions | |
1 (Type/Class) | Language.Hakaru.Maple |
2 (Data Constructor) | Language.Hakaru.Maple |
mapleTransformations | Language.Hakaru.Syntax.AST.Transforms |
mapleTransformationsWithOpts | Language.Hakaru.Syntax.AST.Transforms |
mapleType | Language.Hakaru.Pretty.Maple |
MapleUnknownCommand | Language.Hakaru.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 |
matchTypes | Language.Hakaru.Syntax.TypeCheck.Unification |
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 | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Type/Class) | Language.Hakaru.Runtime.Prelude |
MBind | Language.Hakaru.Syntax.AST |
MBind_ | Language.Hakaru.Parser.AST |
MCMC | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
mcmc | Language.Hakaru.Inference |
mcmc' | Language.Hakaru.Inference |
mdataDeclaration | 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.CmdLine |
2 (Data Constructor) | Language.Hakaru.Runtime.CmdLine |
measure0_ | Language.Hakaru.Syntax.Prelude |
measure1_ | Language.Hakaru.Syntax.Prelude |
measure2_ | Language.Hakaru.Syntax.Prelude |
MeasureEvaluator | Language.Hakaru.Evaluation.Types |
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 |
Metadata | Language.Hakaru.Syntax.TypeCheck.Unification |
MetaTerm | Language.Hakaru.Parser.AST |
metaView | Language.Hakaru.Syntax.ABT |
MH | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
mh | Language.Hakaru.Inference |
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 | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Type/Class) | Language.Hakaru.Runtime.Prelude |
minimalCtx | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
minimum | Language.Hakaru.Syntax.Prelude |
missingInstance | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
missingLub | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
mix | Language.Hakaru.Syntax.Prelude |
Mixed | Language.Hakaru.Types.Coercion |
mkCallE | Language.Hakaru.CodeGen.AST |
mkLoc | Language.Hakaru.Evaluation.DisintegrationMonad |
mkUnaryE | Language.Hakaru.CodeGen.AST |
Msum | Language.Hakaru.Parser.AST |
multinomial | Language.Hakaru.Syntax.Prelude |
MultipleErrors | Language.Hakaru.Maple |
mustCheck | Language.Hakaru.Syntax.TypeCheck |
MVector | Language.Hakaru.Runtime.LogFloatPrelude |
MV_LogFloat | Language.Hakaru.Runtime.LogFloatPrelude |
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 |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
nat2prob | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
nat2real | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
NatPow | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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.Libs |
Neutral | Language.Hakaru.Evaluation.Types |
nextBind | Language.Hakaru.Syntax.ABT |
nextFree | Language.Hakaru.Syntax.ABT |
nextFreeOrBind | Language.Hakaru.Syntax.ABT |
nextFreeVar | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
nextFreshNat | Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.ExpectMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad |
nextVarID | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
nil | Language.Hakaru.Syntax.Prelude |
Nil1 | Language.Hakaru.Syntax.IClasses |
Nil2 | Language.Hakaru.Syntax.IClasses |
noFileSource | Language.Hakaru.Command |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
normal' | Language.Hakaru.Syntax.Prelude |
normalize | |
1 (Function) | Language.Hakaru.Syntax.ANF |
2 (Function) | Language.Hakaru.Sample |
3 (Function) | Language.Hakaru.Expect |
normalizeV | Language.Hakaru.Syntax.Prelude |
normalizeVector | Language.Hakaru.Sample |
Not | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
not | |
1 (Function) | Language.Hakaru.Syntax.Prelude |
2 (Function) | Language.Hakaru.Parser.Maple |
NotEq | Language.Hakaru.Parser.Maple |
noteq | Language.Hakaru.Parser.Maple |
nothing | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Not_ | Language.Hakaru.Parser.Maple |
noWeights | Language.Hakaru.CodeGen.Wrapper |
nullE | Language.Hakaru.CodeGen.AST |
Num' | Language.Hakaru.Runtime.LogFloatPrelude |
NumOp | Language.Hakaru.Parser.Maple |
Observe | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
observe | |
1 (Function) | Language.Hakaru.Observe |
2 (Function) | Language.Hakaru.Disintegrate |
observeAST | Language.Hakaru.Observe |
observeInCtx | Language.Hakaru.Disintegrate |
observeMeasureOp | Language.Hakaru.Observe |
observeVar | Language.Hakaru.Observe |
OMP | |
1 (Type/Class) | Language.Hakaru.CodeGen.Libs |
2 (Data Constructor) | Language.Hakaru.CodeGen.Libs |
ompGetNumThreads | Language.Hakaru.CodeGen.Libs |
ompGetThreadNum | Language.Hakaru.CodeGen.Libs |
ompToPP | Language.Hakaru.CodeGen.Libs |
one | Language.Hakaru.Syntax.Prelude |
one_ | Language.Hakaru.Syntax.Prelude |
onTypedAST | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
onTypedASTM | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
opComment | Language.Hakaru.CodeGen.Flatten |
openMpHeader | Language.Hakaru.CodeGen.Libs |
optimizations | Language.Hakaru.Syntax.AST.Transforms |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 |
Pair_ | Language.Hakaru.Parser.AST |
pair_ | Language.Hakaru.Syntax.Prelude |
PAns | Language.Hakaru.Evaluation.PEvalMonad |
paraABT | Language.Hakaru.Syntax.ABT |
Parallel | Language.Hakaru.CodeGen.Libs |
parDo | Language.Hakaru.CodeGen.CodeGenMonad |
parens | Language.Hakaru.Parser.Maple |
parse | Language.Hakaru.Runtime.CmdLine |
Parseable | Language.Hakaru.Runtime.CmdLine |
parseAndInfer | Language.Hakaru.Command |
parseAndInfer' | Language.Hakaru.Command |
parseAndInferWithDebug | Language.Hakaru.Command |
parseAndInferWithMode | Language.Hakaru.Command |
parseAndInferWithMode' | Language.Hakaru.Command |
parseHakaru | Language.Hakaru.Parser.Parser |
parseHakaruWithImports | Language.Hakaru.Parser.Parser |
parseMaple | Language.Hakaru.Parser.Maple |
Pattern | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Type/Class) | Language.Hakaru.Runtime.Prelude |
3 (Type/Class) | Language.Hakaru.Syntax.Datum |
4 (Type/Class) | Language.Hakaru.Parser.AST |
Pattern' | Language.Hakaru.Parser.AST |
PCode | Language.Hakaru.Parser.AST |
pCoerce | Language.Hakaru.Pretty.SExpression |
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 |
PDone | |
1 (Data Constructor) | Language.Hakaru.Syntax.Datum |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
perform | Language.Hakaru.Disintegrate |
permutes | Language.Hakaru.Evaluation.DisintegrationMonad |
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 | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | 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 | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | 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 |
pjust | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
plate' | Language.Hakaru.Syntax.Prelude |
plateWithVar | Language.Hakaru.Syntax.Prelude |
Plate_ | Language.Hakaru.Parser.AST |
pLeft | Language.Hakaru.Syntax.Datum |
pleft | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
pNil | Language.Hakaru.Syntax.Datum |
pNothing | Language.Hakaru.Syntax.Datum |
pnothing | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
Pointwise | Language.Hakaru.Syntax.IClasses |
PointwiseP | Language.Hakaru.Syntax.IClasses |
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 | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
Power | Language.Hakaru.Parser.Maple |
power | Language.Hakaru.Parser.Maple |
pPair | Language.Hakaru.Syntax.Datum |
ppair | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | 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 |
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 |
5 (Function) | Language.Hakaru.Pretty.SExpression |
prettyArrayOp | Language.Hakaru.Pretty.SExpression |
prettyAssoc | Language.Hakaru.Pretty.Haskell |
prettyBranch | Language.Hakaru.Pretty.SExpression |
prettyDatum | Language.Hakaru.Pretty.SExpression |
prettyDatumCode | Language.Hakaru.Pretty.SExpression |
prettyDatumFun | Language.Hakaru.Pretty.SExpression |
prettyDatumStruct | Language.Hakaru.Pretty.SExpression |
prettyFile' | Language.Hakaru.Pretty.SExpression |
prettyLiteral | Language.Hakaru.Pretty.SExpression |
prettyMeasureOp | Language.Hakaru.Pretty.SExpression |
prettyNary | Language.Hakaru.Pretty.SExpression |
prettyPattern | Language.Hakaru.Pretty.SExpression |
prettyPrec | |
1 (Function) | Language.Hakaru.Pretty.Haskell |
2 (Function) | Language.Hakaru.Pretty.Concrete |
prettyPrecAssoc | Language.Hakaru.Pretty.Haskell |
prettyPrec_ | Language.Hakaru.Pretty.Haskell |
prettyPrimOp | Language.Hakaru.Pretty.SExpression |
prettyPrint | Language.Hakaru.CodeGen.Pretty |
prettyRatio | Language.Hakaru.Pretty.SExpression |
prettyReducer | Language.Hakaru.Pretty.SExpression |
prettySCons | Language.Hakaru.Pretty.SExpression |
prettyShow | Language.Hakaru.Pretty.SExpression |
prettyString | Language.Hakaru.Pretty.Haskell |
prettyT | Language.Hakaru.Pretty.Concrete |
prettyTerm | Language.Hakaru.Pretty.SExpression |
prettyType | |
1 (Function) | Language.Hakaru.Pretty.Haskell |
2 (Function) | Language.Hakaru.Pretty.Concrete |
3 (Function) | Language.Hakaru.Pretty.SExpression |
prettyTypeS | Language.Hakaru.Pretty.Concrete |
prettyTypeT | Language.Hakaru.Pretty.Concrete |
prettyValue | Language.Hakaru.Pretty.Concrete |
prettyVariable | Language.Hakaru.Pretty.SExpression |
prettyView | Language.Hakaru.Pretty.SExpression |
prettyViewABT | Language.Hakaru.Pretty.SExpression |
pRight | Language.Hakaru.Syntax.Datum |
pright | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
PrimCoerce | Language.Hakaru.Types.Coercion |
primCoerceFrom | Language.Hakaru.Types.Coercion |
primCoerceTo | Language.Hakaru.Types.Coercion |
PrimCoercion | Language.Hakaru.Types.Coercion |
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 |
print | Data.Text.Utf8 |
PrintConfig | |
1 (Type/Class) | Language.Hakaru.CodeGen.Wrapper |
2 (Data Constructor) | Language.Hakaru.CodeGen.Wrapper |
printfE | Language.Hakaru.CodeGen.Libs |
printSourceSpan | Language.Hakaru.Parser.AST |
priorAsProposal | Language.Hakaru.Inference |
Prob | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Type/Class) | Language.Hakaru.Runtime.Prelude |
3 (Data Constructor) | Language.Hakaru.Parser.AST |
prob_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
4 (Function) | Language.Hakaru.Parser.Maple |
Product_ | Language.Hakaru.Parser.AST |
Prod_ | Language.Hakaru.Parser.Maple |
prune | Language.Hakaru.Syntax.Prune |
PStruct | Language.Hakaru.Parser.AST |
pTrue | Language.Hakaru.Syntax.Datum |
ptrue | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
pUnit | Language.Hakaru.Syntax.Datum |
pUnsafeCoerce | Language.Hakaru.Pretty.SExpression |
Pure | Language.Hakaru.Evaluation.Types |
PureAns | Language.Hakaru.Evaluation.EvalMonad |
pureEvaluate | |
1 (Function) | Language.Hakaru.Evaluation.ExpectMonad |
2 (Function) | Language.Hakaru.Evaluation.EvalMonad |
Purity | Language.Hakaru.Evaluation.Types |
push | Language.Hakaru.Evaluation.Types |
pushCtx | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
pushes | Language.Hakaru.Evaluation.Types |
pushGuard | Language.Hakaru.Evaluation.DisintegrationMonad |
pushPlate | Language.Hakaru.Evaluation.DisintegrationMonad |
pushWeight | Language.Hakaru.Evaluation.DisintegrationMonad |
putExprStat | Language.Hakaru.CodeGen.CodeGenMonad |
putExtras | Language.Hakaru.Evaluation.DisintegrationMonad |
putMallocStat | Language.Hakaru.CodeGen.CodeGenMonad |
putStat | Language.Hakaru.CodeGen.CodeGenMonad |
putStatements | Language.Hakaru.Evaluation.DisintegrationMonad |
putStr | Data.Text.Utf8 |
putStrLn | Data.Text.Utf8 |
putStrLnS | Data.Text.Utf8 |
putStrS | Data.Text.Utf8 |
PVar | |
1 (Data Constructor) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Data Constructor) | Language.Hakaru.Runtime.Prelude |
3 (Data Constructor) | Language.Hakaru.Syntax.Datum |
4 (Data Constructor) | Language.Hakaru.Parser.AST |
PVar' | Language.Hakaru.Parser.AST |
Pw | Language.Hakaru.Syntax.IClasses |
PWild | |
1 (Data Constructor) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Data Constructor) | Language.Hakaru.Runtime.Prelude |
3 (Data Constructor) | Language.Hakaru.Syntax.Datum |
4 (Data Constructor) | Language.Hakaru.Parser.AST |
PWild' | Language.Hakaru.Parser.AST |
PwP | Language.Hakaru.Syntax.IClasses |
randE | Language.Hakaru.CodeGen.Libs |
Range | Language.Hakaru.Parser.Maple |
range | Language.Hakaru.Parser.Maple |
Rational | Language.Hakaru.Parser.Maple |
rational | Language.Hakaru.Parser.Maple |
readFile | Data.Text.Utf8 |
readFromFile | Language.Hakaru.Command |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Reducer | |
1 (Type/Class) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Data Constructor) | Language.Hakaru.Runtime.LogFloatPrelude |
3 (Type/Class) | Language.Hakaru.Runtime.Prelude |
4 (Data Constructor) | Language.Hakaru.Runtime.Prelude |
5 (Type/Class) | Language.Hakaru.Syntax.Reducer |
6 (Type/Class) | Language.Hakaru.Parser.AST |
Reducer' | Language.Hakaru.Parser.AST |
Reduction | Language.Hakaru.CodeGen.Libs |
reductionCG | Language.Hakaru.CodeGen.CodeGenMonad |
Red_Add | Language.Hakaru.Syntax.Reducer |
Red_Fanout | Language.Hakaru.Syntax.Reducer |
Red_Index | Language.Hakaru.Syntax.Reducer |
Red_Nop | Language.Hakaru.Syntax.Reducer |
Red_Split | Language.Hakaru.Syntax.Reducer |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Reject_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
removeUnicodeChars | Language.Hakaru.Syntax.Rename |
rename | |
1 (Function) | Language.Hakaru.Syntax.ABT |
2 (Function) | Language.Hakaru.Parser.Maple |
renameAST | Language.Hakaru.Syntax.Rename |
renameInEnv | Language.Hakaru.Syntax.Unroll |
Renamer | Language.Hakaru.Syntax.Rename |
renames | Language.Hakaru.Syntax.ABT |
renameVar | Language.Hakaru.Syntax.Rename |
Reparam | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
reservedNames | Language.Hakaru.CodeGen.CodeGenMonad |
reserveIdent | Language.Hakaru.CodeGen.CodeGenMonad |
residualizeExpectListContext | Language.Hakaru.Evaluation.ExpectMonad |
residualizePureListContext | Language.Hakaru.Evaluation.EvalMonad |
resolveAST | Language.Hakaru.Parser.SymbolResolve |
resolveAST' | Language.Hakaru.Parser.SymbolResolve |
resolveVar | Language.Hakaru.Syntax.ABT |
rewindE | Language.Hakaru.CodeGen.Libs |
right | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
RightAssoc | Language.Hakaru.Pretty.Haskell |
run | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
runCodeGen | Language.Hakaru.CodeGen.CodeGenMonad |
runCodeGenBlock | Language.Hakaru.CodeGen.CodeGenMonad |
runCodeGenWith | Language.Hakaru.CodeGen.CodeGenMonad |
runDis | Language.Hakaru.Evaluation.DisintegrationMonad |
runDisInCtx | 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 |
runPretty' | Language.Hakaru.Pretty.SExpression |
runPureEval | Language.Hakaru.Evaluation.PEvalMonad |
runPureEvaluate | Language.Hakaru.Evaluation.EvalMonad |
runTCM | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
R_Add | Language.Hakaru.Parser.AST |
r_add | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
R_Add_ | Language.Hakaru.Parser.AST |
R_Fanout | Language.Hakaru.Parser.AST |
r_fanout | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
R_Fanout_ | Language.Hakaru.Parser.AST |
R_Index | Language.Hakaru.Parser.AST |
r_index | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
R_Index_ | Language.Hakaru.Parser.AST |
R_Nop | Language.Hakaru.Parser.AST |
r_nop | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
R_Nop_ | Language.Hakaru.Parser.AST |
R_Split | Language.Hakaru.Parser.AST |
r_split | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
R_Split_ | Language.Hakaru.Parser.AST |
Safe | Language.Hakaru.Types.Coercion |
SArgs | |
1 (Type/Class) | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
2 (Type/Class) | Language.Hakaru.Parser.AST |
SArgs' | |
1 (Type/Class) | Language.Hakaru.Parser.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
SArgsSing | Language.Hakaru.Syntax.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 |
selectMore | Language.Hakaru.Evaluation.DisintegrationMonad |
sendToMaple | Language.Hakaru.Maple |
sendToMaple' | Language.Hakaru.Maple |
seqCStat | Language.Hakaru.CodeGen.AST |
seqDo | Language.Hakaru.CodeGen.CodeGenMonad |
SEt | Language.Hakaru.Types.Sing |
SFun | Language.Hakaru.Types.Sing |
SGuard | Language.Hakaru.Evaluation.Types |
sharedMem | Language.Hakaru.CodeGen.CodeGenMonad |
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 |
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 |
simd | Language.Hakaru.CodeGen.CodeGenMonad |
simpleCommand | Language.Hakaru.Command |
simpleTable | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
Simplify | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
simplify | Language.Hakaru.Simplify |
simplify' | Language.Hakaru.Simplify |
simplifyDebug | Language.Hakaru.Simplify |
simplifyWithOpts | 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 |
singletonAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
singletonCoercion | Language.Hakaru.Types.Coercion |
singletonLAssocs | Language.Hakaru.Evaluation.Types |
singletonVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
singOf | Language.Hakaru.Types.Sing |
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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
sizeInnermostInd | Language.Hakaru.Evaluation.DisintegrationMonad |
sizeVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
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 |
SomeBranch | |
1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
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 |
SomePattern | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
SomePatternCode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
SomePatternFun | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
SomePatternStruct | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
SomeRing | |
1 (Type/Class) | Language.Hakaru.Types.Coercion |
2 (Data Constructor) | Language.Hakaru.Types.Coercion |
someSSymbol | Language.Hakaru.Types.Sing |
someTransformations | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
SomeVariable | |
1 (Type/Class) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
2 (Data Constructor) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
Source | |
1 (Type/Class) | Language.Hakaru.Command |
2 (Data Constructor) | Language.Hakaru.Command |
source | Language.Hakaru.Command |
sourceInput | Language.Hakaru.Command |
SourceSpan | |
1 (Type/Class) | Language.Hakaru.Parser.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
SP | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
sPair | Language.Hakaru.Types.Sing |
SPC | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
SPF | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
split | Language.Hakaru.Syntax.AST.Eq |
splitLines | Language.Hakaru.Command |
SPlus | Language.Hakaru.Types.Sing |
SProb | Language.Hakaru.Types.Sing |
SPS | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
sqrt | Language.Hakaru.Syntax.Prelude |
sqrtE | Language.Hakaru.CodeGen.Libs |
square | Language.Hakaru.Syntax.Prelude |
srandE | Language.Hakaru.CodeGen.Libs |
SReal | Language.Hakaru.Types.Sing |
sscanfE | Language.Hakaru.CodeGen.Libs |
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 |
ssymbolVal | Language.Hakaru.Types.Sing |
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.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.ExpectMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad |
2 (Function) | Language.Hakaru.CodeGen.CodeGenMonad |
statementVars | Language.Hakaru.Evaluation.Types |
StrictMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, 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 | Language.Hakaru.Parser.Maple |
SU | Language.Hakaru.Parser.AST |
subst | Language.Hakaru.Syntax.ABT |
substM | Language.Hakaru.Syntax.ABT |
substs | Language.Hakaru.Syntax.ABT |
substVar | Language.Hakaru.Evaluation.Types |
Sum | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
sum | |
1 (Function) | Language.Hakaru.Syntax.Prelude |
2 (Function) | Language.Hakaru.Parser.Maple |
Summarize | |
1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
summary | Language.Hakaru.Summary |
summaryDebug | Language.Hakaru.Summary |
Summate | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
summate | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
summateV | Language.Hakaru.Syntax.Prelude |
Summate_ | Language.Hakaru.Parser.AST |
sumV | Language.Hakaru.Syntax.Prelude |
Sum_ | Language.Hakaru.Parser.Maple |
sUnArray | Language.Hakaru.Types.Sing |
sUnEither | Language.Hakaru.Types.Sing |
sUnEither' | Language.Hakaru.Types.Sing |
sUnFun | 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 |
sUnPair' | Language.Hakaru.Types.Sing |
superpose | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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 | Language.Hakaru.Types.DataKind |
symmetry | Language.Hakaru.Syntax.IClasses |
symTable | Language.Hakaru.Parser.Maple |
Syn | Language.Hakaru.Syntax.ABT |
syn | Language.Hakaru.Syntax.ABT |
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 |
TCM | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
TCMTypeRepr | Language.Hakaru.Syntax.TypeCheck.Unification |
Term | |
1 (Type/Class) | Language.Hakaru.Syntax.AST |
2 (Type/Class) | Language.Hakaru.Parser.AST |
3 (Type/Class) | Language.Hakaru.Command |
TermEvaluator | Language.Hakaru.Evaluation.Types |
text | Language.Hakaru.Parser.Maple |
third | Language.Hakaru.Syntax.Prelude |
thRootOf | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
Thunk | Language.Hakaru.Evaluation.Types |
timelimit | Language.Hakaru.Maple |
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 |
toLAssocs1 | Language.Hakaru.Evaluation.Types |
toList1 | Language.Hakaru.Syntax.IClasses |
toNat | Data.Number.Nat |
toNatural | Data.Number.Natural |
toNonNegativeRational | Data.Number.Natural |
total | Language.Hakaru.Expect |
toTypeRepr | Language.Hakaru.Syntax.TypeCheck.Unification |
ToU | Language.Hakaru.Parser.AST |
ToUntyped | Language.Hakaru.Parser.AST |
toVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
toVarSet1 | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
toVarStatements | Language.Hakaru.Evaluation.Types |
toWhnf | Language.Hakaru.Evaluation.Types |
Transform | |
1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
Transform' | Language.Hakaru.Parser.AST |
TransformCtx | |
1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
TransformImpl | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
TransformM | Language.Hakaru.Syntax.AST.Transforms |
transformName | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
TransformTable | |
1 (Type/Class) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
Transform_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
transitivity | Language.Hakaru.Syntax.IClasses |
Traversable11 | Language.Hakaru.Syntax.IClasses |
Traversable12 | Language.Hakaru.Syntax.IClasses |
Traversable21 | Language.Hakaru.Syntax.IClasses |
Traversable22 | Language.Hakaru.Syntax.IClasses |
traverse11 | Language.Hakaru.Syntax.IClasses |
traverse12 | Language.Hakaru.Syntax.IClasses |
traverse21 | Language.Hakaru.Syntax.IClasses |
traverse22 | Language.Hakaru.Syntax.IClasses |
traversePairs | Language.Hakaru.Syntax.AST |
trFromTyped | Language.Hakaru.Parser.AST |
triv | Language.Hakaru.Syntax.Prelude |
TrivialABT | Language.Hakaru.Syntax.ABT |
true | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
try | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
tryWith | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
try_bool | Language.Hakaru.Syntax.AST.Eq |
TyCon | Language.Hakaru.Types.DataKind |
TypeApp | Language.Hakaru.Parser.AST |
TypeAST' | Language.Hakaru.Parser.AST |
TypeCheckError | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
TypeCheckMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
TypeCheckMonad | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
TypedAST | |
1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
TypedASTs | |
1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
typeDeclaration | Language.Hakaru.CodeGen.Types |
TypedReducer | |
1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
TypeEq | Language.Hakaru.Syntax.IClasses |
TypeFun | Language.Hakaru.Parser.AST |
typeMismatch | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
typeName | Language.Hakaru.CodeGen.Types |
typeOf | Language.Hakaru.Syntax.TypeOf |
typeOfReducer | Language.Hakaru.Syntax.TypeOf |
typeOfTransform | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
typePtrDeclaration | Language.Hakaru.CodeGen.Types |
TypeVar | Language.Hakaru.Parser.AST |
U | Language.Hakaru.Parser.AST |
ULiteral | Language.Hakaru.Parser.AST |
unAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
uncase_ | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
underBinders | Language.Hakaru.Syntax.ABT |
underLam | Language.Hakaru.Syntax.AST.Transforms |
underLam' | Language.Hakaru.Syntax.AST.Transforms |
underLam'p | 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.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
uniform' | Language.Hakaru.Syntax.Prelude |
Unify1 | Language.Hakaru.Syntax.TypeCheck.Unification |
Unify2 | Language.Hakaru.Syntax.TypeCheck.Unification |
unifyArray | Language.Hakaru.Syntax.TypeCheck.Unification |
unifyFun | Language.Hakaru.Syntax.TypeCheck.Unification |
unifyMeasure | Language.Hakaru.Syntax.TypeCheck.Unification |
unifyPair | Language.Hakaru.Syntax.TypeCheck.Unification |
unionCtx | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
unionTable | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
unionVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
uniquify | Language.Hakaru.Syntax.Uniquify |
Unit | Language.Hakaru.Parser.AST |
unit | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (Function) | Language.Hakaru.Syntax.Prelude |
unitV | Language.Hakaru.Syntax.Prelude |
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.CmdLine |
unpair | Language.Hakaru.Syntax.Prelude |
unPEval | Language.Hakaru.Evaluation.PEvalMonad |
unroll | Language.Hakaru.Syntax.Unroll |
Unsafe | Language.Hakaru.Types.Coercion |
unsafeDiv | Language.Hakaru.Syntax.Prelude |
unsafeDiv_ | Language.Hakaru.Syntax.Prelude |
UnsafeFrom_ | Language.Hakaru.Syntax.AST |
unsafeFrom_ | Language.Hakaru.Syntax.Prelude |
unsafeInt | Language.Hakaru.Sample |
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.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
unsafeNaryOp_ | Language.Hakaru.Syntax.Prelude |
unsafeNat | |
1 (Function) | Data.Number.Nat |
2 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
3 (Function) | Language.Hakaru.Runtime.Prelude |
unsafeNatural | Data.Number.Natural |
unsafeNonNegativeRational | Data.Number.Natural |
unsafeProb | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | Language.Hakaru.Runtime.Prelude |
3 (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.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
Untyped | Language.Hakaru.Parser.AST |
unVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
unviewABT | Language.Hakaru.Syntax.ABT |
updateEnv | Language.Hakaru.Sample |
updateEnvs | Language.Hakaru.Sample |
U_ABT | Language.Hakaru.Parser.AST |
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 | Language.Hakaru.Syntax.ABT |
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 |
varForExpr | Language.Hakaru.Syntax.Gensym |
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.Types |
varID | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
Varmap | Language.Hakaru.Syntax.AST.Eq |
varOfType | Language.Hakaru.Syntax.Gensym |
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 |
varSetKeys | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
varType | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
VDatum | Language.Hakaru.Syntax.Value |
Vector | Language.Hakaru.Runtime.LogFloatPrelude |
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 |
VReducer | Language.Hakaru.Syntax.Value |
VRed_Array | Language.Hakaru.Syntax.Value |
VRed_Num | Language.Hakaru.Syntax.Value |
VRed_Pair | Language.Hakaru.Syntax.Value |
VRed_Unit | Language.Hakaru.Syntax.Value |
V_LogFloat | Language.Hakaru.Runtime.LogFloatPrelude |
WArray | Language.Hakaru.Evaluation.Types |
WArrayLiteral | 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 |
whenPar | Language.Hakaru.CodeGen.CodeGenMonad |
whileCG | Language.Hakaru.CodeGen.CodeGenMonad |
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 |
withoutMeta | Language.Hakaru.Parser.AST |
withoutMetaE | Language.Hakaru.Parser.AST |
withPrint | |
1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
2 (Function) | 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 |
writeFile | Data.Text.Utf8 |
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 |
zipInds | Language.Hakaru.Evaluation.DisintegrationMonad |
zipWithSetM | Language.Hakaru.Syntax.AST.Eq |
zipWithSetMF | Language.Hakaru.Syntax.AST.Eq |
zipWithV | Language.Hakaru.Syntax.Prelude |
ZRefl | Language.Hakaru.Types.Coercion |
^ | Language.Hakaru.Syntax.Prelude |
^^ | Language.Hakaru.Syntax.Prelude |
_Expect | Language.Hakaru.Parser.AST |
|| | Language.Hakaru.Syntax.Prelude |