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 - R
rand
Language.Hakaru.CodeGen.AST
Range
Language.Hakaru.Parser.Maple
range
Language.Hakaru.Parser.Maple
Rational
Language.Hakaru.Parser.Maple
rational
Language.Hakaru.Parser.Maple
readFromFile
Language.Hakaru.Command
Real
Language.Hakaru.Parser.AST
RealPow
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
RealProb
Language.Hakaru.Syntax.Prelude
real_
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Recip
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
recip
Language.Hakaru.Syntax.Prelude
Reduce
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
reduce
Language.Hakaru.Syntax.Prelude
reductionCG
Language.Hakaru.CodeGen.CodeGenMonad
Refl
Language.Hakaru.Syntax.IClasses
reflect
Language.Hakaru.Evaluation.Lazy
regBeta
Language.Hakaru.Inference
reify
Language.Hakaru.Evaluation.Lazy
reifyPair
Language.Hakaru.Evaluation.Lazy
reject
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Reject_
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
rename
1 (Function)
Language.Hakaru.Syntax.ABT
2 (Function)
Language.Hakaru.Parser.Maple
renames
Language.Hakaru.Syntax.ABT
reserved
Language.Hakaru.Parser.Parser
reservedNames
Language.Hakaru.CodeGen.CodeGenMonad
reservedOp
Language.Hakaru.Parser.Parser
reserveName
Language.Hakaru.CodeGen.CodeGenMonad
residualizeExpectListContext
Language.Hakaru.Evaluation.ExpectMonad
residualizePureListContext
Language.Hakaru.Evaluation.EvalMonad
resolveAST
Language.Hakaru.Parser.SymbolResolve
resolveAST'
Language.Hakaru.Parser.SymbolResolve
resolveBinder
Language.Hakaru.Parser.SymbolResolve
resolveVar
Language.Hakaru.Syntax.ABT
return_expr
Language.Hakaru.Parser.Parser
right
Language.Hakaru.Syntax.Prelude
RightAssoc
Language.Hakaru.Pretty.Haskell
run
Language.Hakaru.Runtime.Prelude
runCodeGen
Language.Hakaru.CodeGen.CodeGenMonad
runCodeGenBlock
Language.Hakaru.CodeGen.CodeGenMonad
runCodeGenWith
Language.Hakaru.CodeGen.CodeGenMonad
runDis
Language.Hakaru.Evaluation.DisintegrationMonad
runEval
Language.Hakaru.Evaluation.EvalMonad
runEvaluate
Language.Hakaru.Sample
runExpect
Language.Hakaru.Evaluation.ExpectMonad
runExpectEval
Language.Hakaru.Evaluation.PEvalMonad
runImpureEval
Language.Hakaru.Evaluation.PEvalMonad
runPureEval
Language.Hakaru.Evaluation.PEvalMonad
runPureEvaluate
Language.Hakaru.Evaluation.EvalMonad
runTCM
Language.Hakaru.Syntax.TypeCheck