A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
^
|
-
All

Index - M

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