Contents
Index
hakaru-0.4.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
randE
Language.Hakaru.CodeGen.Libs
Range
Language.Hakaru.Parser.Maple
range
Language.Hakaru.Parser.Maple
Rational
Language.Hakaru.Parser.Maple
rational
Language.Hakaru.Parser.Maple
readFile
Data.Text.Utf8
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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (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
redNorm
Language.Hakaru.Parser.SymbolResolve
Reduce
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
reduce
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Reducer
1 (Type/Class)
Language.Hakaru.Syntax.Reducer
2 (Type/Class)
Language.Hakaru.Runtime.LogFloatPrelude
3 (Data Constructor)
Language.Hakaru.Runtime.LogFloatPrelude
4 (Type/Class)
Language.Hakaru.Runtime.Prelude
5 (Data Constructor)
Language.Hakaru.Runtime.Prelude
6 (Type/Class)
Language.Hakaru.Parser.AST
Reducer'
Language.Hakaru.Parser.AST
reductionCG
Language.Hakaru.CodeGen.CodeGenMonad
Red_Add
Language.Hakaru.Syntax.Reducer
Red_Fanout
Language.Hakaru.Syntax.Reducer
Red_Index
Language.Hakaru.Syntax.Reducer
Red_Nop
Language.Hakaru.Syntax.Reducer
Red_Split
Language.Hakaru.Syntax.Reducer
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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
Reject_
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
removeUnicodeChars
Language.Hakaru.Syntax.Rename
rename
1 (Function)
Language.Hakaru.Syntax.ABT
2 (Function)
Language.Hakaru.Parser.Maple
renameAST
Language.Hakaru.Syntax.Rename
renameInEnv
Language.Hakaru.Syntax.Unroll
Renamer
Language.Hakaru.Syntax.Rename
renames
Language.Hakaru.Syntax.ABT
renameVar
Language.Hakaru.Syntax.Rename
replaceBody
Language.Hakaru.Parser.Import
reserved
Language.Hakaru.Parser.Parser
reservedNames
Language.Hakaru.CodeGen.CodeGenMonad
reservedOp
Language.Hakaru.Parser.Parser
reserveIdent
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
rewindE
Language.Hakaru.CodeGen.Libs
right
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
RightAssoc
Language.Hakaru.Pretty.Haskell
run
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
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
R_Add
Language.Hakaru.Parser.AST
r_add
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
R_Add_
Language.Hakaru.Parser.AST
R_Fanout
Language.Hakaru.Parser.AST
r_fanout
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
R_Fanout_
Language.Hakaru.Parser.AST
R_Index
Language.Hakaru.Parser.AST
r_index
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
R_Index_
Language.Hakaru.Parser.AST
R_Nop
Language.Hakaru.Parser.AST
r_nop
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
R_Nop_
Language.Hakaru.Parser.AST
R_Split
Language.Hakaru.Parser.AST
r_split
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
R_Split_
Language.Hakaru.Parser.AST