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 - U
U
Language.Hakaru.Parser.AST
ULiteral
Language.Hakaru.Parser.AST
unAssocs
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
underBinders
Language.Hakaru.Syntax.ABT
underLam
Language.Hakaru.Syntax.AST.Transforms
unDis
Language.Hakaru.Evaluation.DisintegrationMonad
unDList1
Language.Hakaru.Syntax.IClasses
uneither
Language.Hakaru.Syntax.Prelude
unEval
Language.Hakaru.Evaluation.EvalMonad
unExpect
Language.Hakaru.Evaluation.ExpectMonad
unFix11
Language.Hakaru.Syntax.IClasses
Uniform
Language.Hakaru.Syntax.AST
uniform
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
uniform'
Language.Hakaru.Syntax.Prelude
Unit
Language.Hakaru.Parser.AST
unit
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
unitV
Language.Hakaru.Syntax.Prelude
unit_
1 (Function)
Language.Hakaru.Parser.Parser
2 (Function)
Language.Hakaru.Parser.SymbolResolve
UnLCs
Language.Hakaru.Syntax.AST
unLC_
Language.Hakaru.Syntax.AST
unLift1
Language.Hakaru.Syntax.IClasses
unLift2
Language.Hakaru.Syntax.IClasses
unMaxNat
Data.Number.Nat
unMaxNatural
Data.Number.Natural
unmaybe
Language.Hakaru.Syntax.Prelude
unMeasure
Language.Hakaru.Runtime.Prelude
unpair
Language.Hakaru.Syntax.Prelude
unPEval
Language.Hakaru.Evaluation.PEvalMonad
Unsafe
Language.Hakaru.Types.Coercion
unsafeDiv
Language.Hakaru.Syntax.Prelude
unsafeDiv_
Language.Hakaru.Syntax.Prelude
UnsafeFrom_
Language.Hakaru.Syntax.AST
unsafeFrom_
1 (Function)
Language.Hakaru.Parser.SymbolResolve
2 (Function)
Language.Hakaru.Syntax.Prelude
unsafeMinus
Language.Hakaru.Syntax.Prelude
unsafeMinusNat
Language.Hakaru.Syntax.Prelude
unsafeMinusProb
Language.Hakaru.Syntax.Prelude
unsafeMinus_
Language.Hakaru.Syntax.Prelude
UnsafeMode
Language.Hakaru.Syntax.TypeCheck
unsafeNaryOp_
Language.Hakaru.Syntax.Prelude
unsafeNat
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Data.Number.Nat
unsafeNatural
Data.Number.Natural
unsafeNonNegativeRational
Data.Number.Natural
unsafeProb
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
unsafeProbFraction
Language.Hakaru.Syntax.Prelude
unsafeProbFraction_
Language.Hakaru.Syntax.Prelude
unsafeProbSemiring
Language.Hakaru.Syntax.Prelude
unsafeProbSemiring_
Language.Hakaru.Syntax.Prelude
unsafePush
Language.Hakaru.Evaluation.Types
unsafePushes
Language.Hakaru.Evaluation.Types
UnsafeTo_
Language.Hakaru.Parser.AST
unTCM
Language.Hakaru.Syntax.TypeCheck
Untyped
Language.Hakaru.Parser.AST
unVarSet
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
unviewABT
Language.Hakaru.Syntax.ABT
update
Language.Hakaru.Evaluation.Lazy
updateEnv
Language.Hakaru.Sample