| ! | |
| 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 |