makeAST | Language.Hakaru.Parser.SymbolResolve |
makeBranch | Language.Hakaru.Parser.SymbolResolve |
makeFalse | Language.Hakaru.Parser.SymbolResolve |
makeMeasure | Language.Hakaru.Runtime.Prelude |
makeName | Language.Hakaru.Parser.SymbolResolve |
makePattern | Language.Hakaru.Parser.SymbolResolve |
makeTrue | Language.Hakaru.Parser.SymbolResolve |
makeType | Language.Hakaru.Parser.SymbolResolve |
mapAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
mapEvaluate | Language.Hakaru.Sample |
maple2AST | Language.Hakaru.Parser.Maple |
maple2DCode | Language.Hakaru.Parser.Maple |
maple2Pattern | Language.Hakaru.Parser.Maple |
maple2Patterns | Language.Hakaru.Parser.Maple |
maple2Type | Language.Hakaru.Parser.Maple |
mapleDatum2AST | Language.Hakaru.Parser.Maple |
MapleException | |
1 (Type/Class) | Language.Hakaru.Simplify |
2 (Data Constructor) | Language.Hakaru.Simplify |
mapleType | Language.Hakaru.Pretty.Maple |
mapV | Language.Hakaru.Syntax.Prelude |
mapWithIndex | Language.Hakaru.Syntax.Prelude |
matchBranch | Language.Hakaru.Syntax.DatumCase |
matchBranches | Language.Hakaru.Syntax.DatumCase |
Matched | Language.Hakaru.Syntax.DatumCase |
Matched_ | Language.Hakaru.Syntax.DatumCase |
matchPattern | Language.Hakaru.Syntax.DatumCase |
MatchResult | Language.Hakaru.Syntax.DatumCase |
MatchState | Language.Hakaru.Syntax.DatumCase |
matchTopPattern | Language.Hakaru.Syntax.DatumCase |
match_expr | Language.Hakaru.Parser.Parser |
Max | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
max | Language.Hakaru.Syntax.Prelude |
maximum | Language.Hakaru.Syntax.Prelude |
MaxNat | |
1 (Type/Class) | Data.Number.Nat |
2 (Data Constructor) | Data.Number.Nat |
MaxNatural | |
1 (Type/Class) | Data.Number.Natural |
2 (Data Constructor) | Data.Number.Natural |
maxNextBind | Language.Hakaru.Syntax.ABT |
maxNextFree | Language.Hakaru.Syntax.ABT |
maxNextFreeOrBind | Language.Hakaru.Syntax.ABT |
maybe | Language.Hakaru.Syntax.Prelude |
MayBoxVec | Language.Hakaru.Runtime.Prelude |
MBind | Language.Hakaru.Syntax.AST |
MBind_ | Language.Hakaru.Parser.AST |
mcmc | Language.Hakaru.Inference |
mdataDeclaration | Language.Hakaru.CodeGen.Types |
mdataName | Language.Hakaru.CodeGen.Types |
mdataPtrDeclaration | Language.Hakaru.CodeGen.Types |
mdataPtrSample | Language.Hakaru.CodeGen.Types |
mdataPtrWeight | Language.Hakaru.CodeGen.Types |
mdataSample | Language.Hakaru.CodeGen.Types |
mdataStruct | Language.Hakaru.CodeGen.Types |
mdataStruct' | Language.Hakaru.CodeGen.Types |
mdataWeight | Language.Hakaru.CodeGen.Types |
Measure | |
1 (Type/Class) | Language.Hakaru.Runtime.Prelude |
2 (Data Constructor) | Language.Hakaru.Runtime.Prelude |
measure0_ | Language.Hakaru.Syntax.Prelude |
measure1_ | Language.Hakaru.Syntax.Prelude |
measure2_ | Language.Hakaru.Syntax.Prelude |
MeasureEvaluator | Language.Hakaru.Evaluation.Lazy |
MeasureOp | Language.Hakaru.Syntax.AST |
MeasureOp_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
memberVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
memo | Language.Hakaru.Syntax.Prelude |
MemoizedABT | Language.Hakaru.Syntax.ABT |
MetaABT | |
1 (Type/Class) | Language.Hakaru.Syntax.ABT |
2 (Data Constructor) | Language.Hakaru.Syntax.ABT |
MetaTerm | Language.Hakaru.Parser.AST |
metaView | Language.Hakaru.Syntax.ABT |
mh | Language.Hakaru.Inference |
Min | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
min | Language.Hakaru.Syntax.Prelude |
MinBoxVec | Language.Hakaru.Runtime.Prelude |
minimum | Language.Hakaru.Syntax.Prelude |
mix | Language.Hakaru.Syntax.Prelude |
Mixed | Language.Hakaru.Types.Coercion |
mkDecl | Language.Hakaru.CodeGen.Types |
mkLoc | Language.Hakaru.Evaluation.DisintegrationMonad |
mkParallel | Language.Hakaru.CodeGen.CodeGenMonad |
mkPtrDecl | Language.Hakaru.CodeGen.Types |
mkSequential | Language.Hakaru.CodeGen.CodeGenMonad |
mkSym | Language.Hakaru.Parser.SymbolResolve |
mkUnary | Language.Hakaru.CodeGen.AST |
Msum | Language.Hakaru.Parser.AST |
MultiLoc | Language.Hakaru.Evaluation.DisintegrationMonad |
multinomial | Language.Hakaru.Syntax.Prelude |
mustCheck | Language.Hakaru.Syntax.TypeCheck |