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 - T
t2
Language.Hakaru.Parser.SymbolResolve
t3
Language.Hakaru.Parser.SymbolResolve
table
Language.Hakaru.Parser.Parser
Tan
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
tan
Language.Hakaru.Syntax.Prelude
Tanh
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
tanh
Language.Hakaru.Syntax.Prelude
tCDF
Language.Hakaru.Inference
Term
1 (Type/Class)
Language.Hakaru.Syntax.AST
2 (Type/Class)
Language.Hakaru.Parser.AST
3 (Type/Class)
Language.Hakaru.Command
term
Language.Hakaru.Parser.Parser
TermEvaluator
Language.Hakaru.Evaluation.Lazy
text
Language.Hakaru.Parser.Maple
third
Language.Hakaru.Syntax.Prelude
thRootOf
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Thunk
Language.Hakaru.Evaluation.Types
TLam
Language.Hakaru.Parser.SymbolResolve
TLam'
Language.Hakaru.Parser.SymbolResolve
TNeu
Language.Hakaru.Parser.SymbolResolve
TNeu'
Language.Hakaru.Parser.SymbolResolve
toAssocs
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
toAssocs1
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
toGBranch
Language.Hakaru.Syntax.DatumABT
toHead
Language.Hakaru.Evaluation.Types
TokenParser
Language.Hakaru.Parser.Maple
toList1
Language.Hakaru.Syntax.IClasses
toNat
Data.Number.Nat
toNatural
Data.Number.Natural
toNonNegativeRational
Data.Number.Natural
toStatements
Language.Hakaru.Evaluation.Lazy
total
Language.Hakaru.Expect
toVarSet
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
toVarSet1
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
toWhnf
Language.Hakaru.Evaluation.Types
transitivity
Language.Hakaru.Syntax.IClasses
Traversable11
Language.Hakaru.Syntax.IClasses
Traversable21
Language.Hakaru.Syntax.IClasses
Traversable22
Language.Hakaru.Syntax.IClasses
traverse11
Language.Hakaru.Syntax.IClasses
traverse21
Language.Hakaru.Syntax.IClasses
traverse22
Language.Hakaru.Syntax.IClasses
traversePairs
Language.Hakaru.Syntax.AST
triv
Language.Hakaru.Syntax.Prelude
TrivialABT
Language.Hakaru.Syntax.ABT
true
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
true_
Language.Hakaru.Parser.SymbolResolve
try_bool
Language.Hakaru.Syntax.AST.Eq
two
Language.Hakaru.Parser.SymbolResolve
TyCon
Language.Hakaru.Types.DataKind
TypeApp
Language.Hakaru.Parser.AST
TypeAST'
Language.Hakaru.Parser.AST
TypeCheckError
Language.Hakaru.Syntax.TypeCheck
TypeCheckMode
Language.Hakaru.Syntax.TypeCheck
TypeCheckMonad
Language.Hakaru.Syntax.TypeCheck
TypedAST
1 (Type/Class)
Language.Hakaru.Syntax.TypeCheck
2 (Data Constructor)
Language.Hakaru.Syntax.TypeCheck
typeDeclaration
Language.Hakaru.CodeGen.Types
TypeEq
Language.Hakaru.Syntax.IClasses
TypeFun
Language.Hakaru.Parser.AST
typeOf
Language.Hakaru.Syntax.TypeOf
typePtrDeclaration
Language.Hakaru.CodeGen.Types
types
Language.Hakaru.Parser.Parser
TypeVar
Language.Hakaru.Parser.AST
type_app
Language.Hakaru.Parser.Parser
type_expr
Language.Hakaru.Parser.Parser
type_fun
Language.Hakaru.Parser.Parser
type_var
Language.Hakaru.Parser.Parser