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