Contents
Index
hakaru-0.6.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
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
Reduce
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
reduce
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
Reducer
1 (Type/Class)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Data Constructor)
Language.Hakaru.Runtime.LogFloatPrelude
3 (Type/Class)
Language.Hakaru.Runtime.Prelude
4 (Data Constructor)
Language.Hakaru.Runtime.Prelude
5 (Type/Class)
Language.Hakaru.Syntax.Reducer
6 (Type/Class)
Language.Hakaru.Parser.AST
Reducer'
Language.Hakaru.Parser.AST
Reduction
Language.Hakaru.CodeGen.Libs
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
Reparam
1 (Data Constructor)
Language.Hakaru.Syntax.Transform
,
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
reservedNames
Language.Hakaru.CodeGen.CodeGenMonad
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
resolveVar
Language.Hakaru.Syntax.ABT
rewindE
Language.Hakaru.CodeGen.Libs
right
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (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
runDisInCtx
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
runPretty'
Language.Hakaru.Pretty.SExpression
runPureEval
Language.Hakaru.Evaluation.PEvalMonad
runPureEvaluate
Language.Hakaru.Evaluation.EvalMonad
runTCM
Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad
,
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