Contents
Index
hakaru-0.3.0: A probabilistic programming language
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 - F
false
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
false_
Language.Hakaru.Parser.SymbolResolve
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
Float
Language.Hakaru.Parser.Maple
float
1 (Function)
Language.Hakaru.Parser.Maple
2 (Function)
Language.Hakaru.Parser.Parser
floatE
Language.Hakaru.CodeGen.AST
floating
Language.Hakaru.Parser.Parser
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
fold21
Language.Hakaru.Syntax.IClasses
fold22
Language.Hakaru.Syntax.IClasses
Foldable11
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
foldMap21
Language.Hakaru.Syntax.IClasses
foldMap22
Language.Hakaru.Syntax.IClasses
foldMapPairs
Language.Hakaru.Syntax.AST
forCG
Language.Hakaru.CodeGen.CodeGenMonad
fractExponent
Language.Hakaru.Parser.Parser
fractFloat
Language.Hakaru.Parser.Parser
fraction
Language.Hakaru.Parser.Parser
freeLocError
Language.Hakaru.Evaluation.DisintegrationMonad
freeVars
Language.Hakaru.Syntax.ABT
freshenStatement
Language.Hakaru.Evaluation.Types
freshenVar
Language.Hakaru.Evaluation.Types
freshenVarRe
Language.Hakaru.Observe
freshenVars
Language.Hakaru.Evaluation.Types
freshInd
Language.Hakaru.Evaluation.Types
freshNames
Language.Hakaru.CodeGen.CodeGenMonad
freshNat
Language.Hakaru.Evaluation.Types
freshVar
Language.Hakaru.Evaluation.Types
freshVars
Language.Hakaru.Evaluation.Types
fromAssocs
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
fromGBranch
Language.Hakaru.Syntax.DatumABT
fromHead
Language.Hakaru.Evaluation.Types
fromInt
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
fromLazy
Language.Hakaru.Evaluation.Types
fromList1
Language.Hakaru.Syntax.IClasses
fromNat
Data.Number.Nat
fromNatural
Data.Number.Natural
fromNonNegativeRational
Data.Number.Natural
fromProb
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (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