hakaru-0.7.0: A probabilistic programming language
Contents
Index
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
main
Language.Hakaru.Repl
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