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 - C
CAddAssOp
Language.Hakaru.CodeGen.AST
CAddOp
Language.Hakaru.CodeGen.AST
CAdrOp
Language.Hakaru.CodeGen.AST
call_expr
Language.Hakaru.Parser.Parser
CAndAssOp
Language.Hakaru.CodeGen.AST
CAndOp
Language.Hakaru.CodeGen.AST
CArrDesig
Language.Hakaru.CodeGen.AST
Case
Language.Hakaru.Parser.AST
caseBind
Language.Hakaru.Syntax.ABT
caseBinds
Language.Hakaru.Syntax.ABT
CaseEvaluator
Language.Hakaru.Evaluation.Lazy
caseLazy
Language.Hakaru.Evaluation.Types
caseVarSyn
Language.Hakaru.Syntax.ABT
caseWhnf
Language.Hakaru.Evaluation.Types
Case_
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
case_
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
CAssign
Language.Hakaru.CodeGen.AST
CAssignOp
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CAST
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
cata11
Language.Hakaru.Syntax.IClasses
cataABT
Language.Hakaru.Syntax.ABT
Categorical
Language.Hakaru.Syntax.AST
categorical
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
categorical'
Language.Hakaru.Syntax.Prelude
cauchy
Language.Hakaru.Syntax.Prelude
CAuto
Language.Hakaru.CodeGen.AST
CBinary
Language.Hakaru.CodeGen.AST
CBinaryOp
Language.Hakaru.CodeGen.AST
CBlockDecl
Language.Hakaru.CodeGen.AST
CBlockStat
Language.Hakaru.CodeGen.AST
CBreak
Language.Hakaru.CodeGen.AST
CCall
Language.Hakaru.CodeGen.AST
CCase
Language.Hakaru.CodeGen.AST
CCast
Language.Hakaru.CodeGen.AST
CChar
Language.Hakaru.CodeGen.AST
CCharConst
Language.Hakaru.CodeGen.AST
CComma
Language.Hakaru.CodeGen.AST
CComment
Language.Hakaru.CodeGen.AST
CCommentExt
Language.Hakaru.CodeGen.AST
CCompOp
Language.Hakaru.CodeGen.AST
CCompound
Language.Hakaru.CodeGen.AST
CCompoundBlockItem
Language.Hakaru.CodeGen.AST
CCompoundLit
Language.Hakaru.CodeGen.AST
CCond
Language.Hakaru.CodeGen.AST
CCons
Language.Hakaru.Types.Coercion
CConst
Language.Hakaru.CodeGen.AST
CConstant
Language.Hakaru.CodeGen.AST
CConstQual
Language.Hakaru.CodeGen.AST
CCont
Language.Hakaru.CodeGen.AST
CDDeclrArr
Language.Hakaru.CodeGen.AST
CDDeclrFun
Language.Hakaru.CodeGen.AST
CDDeclrIdent
Language.Hakaru.CodeGen.AST
CDecl
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CDeclExt
Language.Hakaru.CodeGen.AST
CDeclr
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CDeclSpec
Language.Hakaru.CodeGen.AST
CDefault
Language.Hakaru.CodeGen.AST
CDirectDeclr
Language.Hakaru.CodeGen.AST
CDivAssOp
Language.Hakaru.CodeGen.AST
CDivOp
Language.Hakaru.CodeGen.AST
CDouble
Language.Hakaru.CodeGen.AST
CEnum
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CEnumType
Language.Hakaru.CodeGen.AST
CEqOp
Language.Hakaru.CodeGen.AST
CExpr
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CExtDecl
Language.Hakaru.CodeGen.AST
CExtern
Language.Hakaru.CodeGen.AST
CFloat
Language.Hakaru.CodeGen.AST
CFloatConst
Language.Hakaru.CodeGen.AST
CFor
Language.Hakaru.CodeGen.AST
CFunDef
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CFunDefExt
Language.Hakaru.CodeGen.AST
CFunSpec
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CG
1 (Type/Class)
Language.Hakaru.CodeGen.CodeGenMonad
2 (Data Constructor)
Language.Hakaru.CodeGen.CodeGenMonad
CGeqOp
Language.Hakaru.CodeGen.AST
CGoto
Language.Hakaru.CodeGen.AST
CGrOp
Language.Hakaru.CodeGen.AST
Chain
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
chain
Language.Hakaru.Syntax.Prelude
chain'
Language.Hakaru.Syntax.Prelude
Chain_
Language.Hakaru.Parser.AST
chain_expr
Language.Hakaru.Parser.Parser
checkType
Language.Hakaru.Syntax.TypeCheck
chi2
Language.Hakaru.Syntax.Prelude
choose
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
CIf
Language.Hakaru.CodeGen.AST
CIndex
Language.Hakaru.CodeGen.AST
CIndOp
Language.Hakaru.CodeGen.AST
CInit
Language.Hakaru.CodeGen.AST
CInitExpr
Language.Hakaru.CodeGen.AST
CInitList
Language.Hakaru.CodeGen.AST
CInt
Language.Hakaru.CodeGen.AST
cInt2Real
Language.Hakaru.Parser.SymbolResolve
CIntConst
Language.Hakaru.CodeGen.AST
CLabel
Language.Hakaru.CodeGen.AST
CLeOp
Language.Hakaru.CodeGen.AST
CLeqOp
Language.Hakaru.CodeGen.AST
CLndOp
Language.Hakaru.CodeGen.AST
CLong
Language.Hakaru.CodeGen.AST
CLorOp
Language.Hakaru.CodeGen.AST
CMember
Language.Hakaru.CodeGen.AST
CMemberDesig
Language.Hakaru.CodeGen.AST
CMinOp
Language.Hakaru.CodeGen.AST
CMulAssOp
Language.Hakaru.CodeGen.AST
CMulOp
Language.Hakaru.CodeGen.AST
cNat2Int
Language.Hakaru.Parser.SymbolResolve
cNat2Prob
Language.Hakaru.Parser.SymbolResolve
cNat2Real
Language.Hakaru.Parser.SymbolResolve
CNegOp
Language.Hakaru.CodeGen.AST
CNeqOp
Language.Hakaru.CodeGen.AST
CNil
Language.Hakaru.Types.Coercion
coalesce
1 (Function)
Language.Hakaru.Evaluation.Coalesce
2 (Function)
Language.Hakaru.Syntax.AST.Transforms
coalesceNaryOp
Language.Hakaru.Syntax.AST.Transforms
Code
Language.Hakaru.Types.DataKind
CodeGen
Language.Hakaru.CodeGen.CodeGenMonad
Coerce
Language.Hakaru.Types.Coercion
coerceFrom
Language.Hakaru.Types.Coercion
coerceTo
Language.Hakaru.Types.Coercion
CoerceTo_
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
coerceTo_
Language.Hakaru.Syntax.Prelude
Coercion
Language.Hakaru.Types.Coercion
CoercionMode
Language.Hakaru.Types.Coercion
collapseNaryOp
Language.Hakaru.Parser.Maple
collapseSuperposes
Language.Hakaru.Parser.SymbolResolve
comma
Language.Hakaru.Parser.Maple
commaSep
1 (Function)
Language.Hakaru.Parser.Maple
2 (Function)
Language.Hakaru.Parser.Parser
comments
Language.Hakaru.Parser.Parser
congruence
Language.Hakaru.Syntax.IClasses
cons
Language.Hakaru.Syntax.Prelude
Cons1
Language.Hakaru.Syntax.IClasses
constantPropagation
Language.Hakaru.Evaluation.ConstantPropagation
constrainOutcome
Language.Hakaru.Disintegrate
constrainValue
Language.Hakaru.Disintegrate
constV
Language.Hakaru.Syntax.Prelude
Continuous
Language.Hakaru.Types.Coercion
continuous
Language.Hakaru.Types.Coercion
COrAssOp
Language.Hakaru.CodeGen.AST
COrOp
Language.Hakaru.CodeGen.AST
Cos
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
cos
Language.Hakaru.Syntax.Prelude
Cosh
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
cosh
Language.Hakaru.Syntax.Prelude
Counting
Language.Hakaru.Syntax.AST
counting
Language.Hakaru.Syntax.Prelude
CPartDesig
Language.Hakaru.CodeGen.AST
CPlusOp
Language.Hakaru.CodeGen.AST
CPostDecOp
Language.Hakaru.CodeGen.AST
CPostIncOp
Language.Hakaru.CodeGen.AST
CPPExt
Language.Hakaru.CodeGen.AST
CPPStat
Language.Hakaru.CodeGen.AST
CPreDecOp
Language.Hakaru.CodeGen.AST
CPreIncOp
Language.Hakaru.CodeGen.AST
cProb2Real
Language.Hakaru.Parser.SymbolResolve
CPtrDeclr
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
createIdent
Language.Hakaru.CodeGen.CodeGenMonad
CRegister
Language.Hakaru.CodeGen.AST
CReturn
Language.Hakaru.CodeGen.AST
CRmdAssOp
Language.Hakaru.CodeGen.AST
CRmdOp
Language.Hakaru.CodeGen.AST
CShlAssOp
Language.Hakaru.CodeGen.AST
CShlOp
Language.Hakaru.CodeGen.AST
CShort
Language.Hakaru.CodeGen.AST
CShrAssOp
Language.Hakaru.CodeGen.AST
CShrOp
Language.Hakaru.CodeGen.AST
CSigned
Language.Hakaru.CodeGen.AST
CSizeOfExpr
Language.Hakaru.CodeGen.AST
CSizeOfType
Language.Hakaru.CodeGen.AST
CStat
Language.Hakaru.CodeGen.AST
CStatic
Language.Hakaru.CodeGen.AST
CStorageSpec
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CStringConst
Language.Hakaru.CodeGen.AST
CStructTag
Language.Hakaru.CodeGen.AST
CSubAssOp
Language.Hakaru.CodeGen.AST
CSubOp
Language.Hakaru.CodeGen.AST
CSUSpec
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CSUTag
Language.Hakaru.CodeGen.AST
CSUType
Language.Hakaru.CodeGen.AST
CSwitch
Language.Hakaru.CodeGen.AST
CTypeDef
Language.Hakaru.CodeGen.AST
CTypeDefType
Language.Hakaru.CodeGen.AST
CTypeQual
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CTypeSpec
1 (Type/Class)
Language.Hakaru.CodeGen.AST
2 (Data Constructor)
Language.Hakaru.CodeGen.AST
CUnary
Language.Hakaru.CodeGen.AST
CUnaryOp
Language.Hakaru.CodeGen.AST
CUnionTag
Language.Hakaru.CodeGen.AST
CUnsigned
Language.Hakaru.CodeGen.AST
CVar
Language.Hakaru.CodeGen.AST
CVoid
Language.Hakaru.CodeGen.AST
CVolatQual
Language.Hakaru.CodeGen.AST
CWhile
Language.Hakaru.CodeGen.AST
CXorAssOp
Language.Hakaru.CodeGen.AST
CXorOp
Language.Hakaru.CodeGen.AST