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 - U
U
Language.Hakaru.Parser.AST
ULiteral
Language.Hakaru.Parser.AST
unAssocs
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
uncase_
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
underBinders
Language.Hakaru.Syntax.ABT
underLam
Language.Hakaru.Syntax.AST.Transforms
underLam'
Language.Hakaru.Syntax.AST.Transforms
underLam'p
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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
uniform'
Language.Hakaru.Syntax.Prelude
Unify1
Language.Hakaru.Syntax.TypeCheck.Unification
Unify2
Language.Hakaru.Syntax.TypeCheck.Unification
unifyArray
Language.Hakaru.Syntax.TypeCheck.Unification
unifyFun
Language.Hakaru.Syntax.TypeCheck.Unification
unifyMeasure
Language.Hakaru.Syntax.TypeCheck.Unification
unifyPair
Language.Hakaru.Syntax.TypeCheck.Unification
unionCtx
Language.Hakaru.Syntax.Transform
, Language.Hakaru.Syntax.AST
unionTable
Language.Hakaru.Syntax.Transform
, Language.Hakaru.Syntax.AST
unionVarSet
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
uniquify
Language.Hakaru.Syntax.Uniquify
Unit
Language.Hakaru.Parser.AST
unit
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
unitV
Language.Hakaru.Syntax.Prelude
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.CmdLine
unpair
Language.Hakaru.Syntax.Prelude
unPEval
Language.Hakaru.Evaluation.PEvalMonad
unroll
Language.Hakaru.Syntax.Unroll
Unsafe
Language.Hakaru.Types.Coercion
unsafeDiv
Language.Hakaru.Syntax.Prelude
unsafeDiv_
Language.Hakaru.Syntax.Prelude
UnsafeFrom_
Language.Hakaru.Syntax.AST
unsafeFrom_
Language.Hakaru.Syntax.Prelude
unsafeInt
Language.Hakaru.Sample
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.TypeCheckMonad
,
Language.Hakaru.Syntax.TypeCheck
unsafeNaryOp_
Language.Hakaru.Syntax.Prelude
unsafeNat
1 (Function)
Data.Number.Nat
2 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
3 (Function)
Language.Hakaru.Runtime.Prelude
unsafeNatural
Data.Number.Natural
unsafeNonNegativeRational
Data.Number.Natural
unsafeProb
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (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.TypeCheckMonad
,
Language.Hakaru.Syntax.TypeCheck
Untyped
Language.Hakaru.Parser.AST
unVarSet
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
unviewABT
Language.Hakaru.Syntax.ABT
updateEnv
Language.Hakaru.Sample
updateEnvs
Language.Hakaru.Sample
U_ABT
Language.Hakaru.Parser.AST