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 - P
Pair
Language.Hakaru.Parser.AST
pair
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Pair1
1 (Type/Class)
Language.Hakaru.Syntax.IClasses
2 (Data Constructor)
Language.Hakaru.Syntax.IClasses
Pair2
1 (Type/Class)
Language.Hakaru.Syntax.IClasses
2 (Data Constructor)
Language.Hakaru.Syntax.IClasses
pairPat
Language.Hakaru.Parser.SymbolResolve
pairs
Language.Hakaru.Parser.Parser
Pair_
Language.Hakaru.Parser.AST
pair_
Language.Hakaru.Syntax.Prelude
PAns
Language.Hakaru.Evaluation.PEvalMonad
paraABT
Language.Hakaru.Syntax.ABT
parallel
Language.Hakaru.CodeGen.CodeGenMonad
parens
1 (Function)
Language.Hakaru.Parser.Maple
2 (Function)
Language.Hakaru.Parser.Parser
parseAndInfer
Language.Hakaru.Command
parseHakaru
Language.Hakaru.Parser.Parser
parseHakaruWithImports
Language.Hakaru.Parser.Parser
parseMaple
Language.Hakaru.Parser.Maple
Parser
Language.Hakaru.Parser.Parser
ParserStream
Language.Hakaru.Parser.Parser
Pattern
1 (Type/Class)
Language.Hakaru.Runtime.Prelude
2 (Type/Class)
Language.Hakaru.Syntax.Datum
3 (Type/Class)
Language.Hakaru.Parser.AST
Pattern'
Language.Hakaru.Parser.AST
pat_expr
Language.Hakaru.Parser.Parser
PCode
Language.Hakaru.Parser.AST
pCons
Language.Hakaru.Syntax.Datum
PData'
Language.Hakaru.Parser.AST
PDatum
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
3 (Type/Class)
Language.Hakaru.Parser.AST
PDatumCode
Language.Hakaru.Syntax.Datum
PDatumFun
Language.Hakaru.Syntax.Datum
PDatumStruct
Language.Hakaru.Syntax.Datum
pdat_expr
Language.Hakaru.Parser.Parser
PDone
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
perform
Language.Hakaru.Disintegrate
PEt
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
PEval
1 (Type/Class)
Language.Hakaru.Evaluation.PEvalMonad
2 (Data Constructor)
Language.Hakaru.Evaluation.PEvalMonad
pFalse
Language.Hakaru.Syntax.Datum
pfalse
Language.Hakaru.Runtime.Prelude
PFun
Language.Hakaru.Parser.AST
Pi
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
pi
Language.Hakaru.Syntax.Prelude
PIdent
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
PInl
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
PInr
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
pJust
Language.Hakaru.Syntax.Datum
PKonst
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
Plate
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
plate
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
plate'
Language.Hakaru.Syntax.Prelude
plateWithVar
Language.Hakaru.Syntax.Prelude
Plate_
Language.Hakaru.Parser.AST
plate_expr
Language.Hakaru.Parser.Parser
pLeft
Language.Hakaru.Syntax.Datum
pNil
Language.Hakaru.Syntax.Datum
pNothing
Language.Hakaru.Syntax.Datum
Poisson
Language.Hakaru.Syntax.AST
poisson
Language.Hakaru.Syntax.Prelude
poisson'
Language.Hakaru.Syntax.Prelude
poisson_rng
Language.Hakaru.Sample
Pos
Language.Hakaru.Parser.Maple
pose
Language.Hakaru.Runtime.Prelude
postfix
Language.Hakaru.Parser.Parser
Power
Language.Hakaru.Parser.Maple
power
Language.Hakaru.Parser.Maple
pPair
Language.Hakaru.Syntax.Datum
ppair
Language.Hakaru.Runtime.Prelude
ppBinder
Language.Hakaru.Pretty.Haskell
ppBinop
Language.Hakaru.Pretty.Haskell
ppCoerceTo
Language.Hakaru.Pretty.Haskell
PPDefine
Language.Hakaru.CodeGen.AST
PPElif
Language.Hakaru.CodeGen.AST
PPElse
Language.Hakaru.CodeGen.AST
PPEndif
Language.Hakaru.CodeGen.AST
PPError
Language.Hakaru.CodeGen.AST
PPIf
Language.Hakaru.CodeGen.AST
PPIfDef
Language.Hakaru.CodeGen.AST
PPIfNDef
Language.Hakaru.CodeGen.AST
PPInclude
Language.Hakaru.CodeGen.AST
PPPragma
Language.Hakaru.CodeGen.AST
ppRatio
Language.Hakaru.Pretty.Haskell
PPUndef
Language.Hakaru.CodeGen.AST
ppUnsafeFrom
Language.Hakaru.Pretty.Haskell
ppVariable
Language.Hakaru.Pretty.Haskell
ppVariables
Language.Hakaru.Pretty.Haskell
prefix
Language.Hakaru.Parser.Parser
Preprocessor
Language.Hakaru.CodeGen.AST
Pretty
1 (Type/Class)
Language.Hakaru.CodeGen.Pretty
2 (Type/Class)
Language.Hakaru.Pretty.Haskell
pretty
1 (Function)
Language.Hakaru.CodeGen.Pretty
2 (Function)
Language.Hakaru.Pretty.Haskell
3 (Function)
Language.Hakaru.Pretty.Concrete
4 (Function)
Language.Hakaru.Pretty.Maple
prettyAssoc
Language.Hakaru.Pretty.Haskell
,
Language.Hakaru.Pretty.Concrete
prettyPrec
1 (Function)
Language.Hakaru.Pretty.Haskell
2 (Function)
Language.Hakaru.Pretty.Concrete
prettyPrecAssoc
Language.Hakaru.Pretty.Haskell
,
Language.Hakaru.Pretty.Concrete
prettyPrec_
Language.Hakaru.Pretty.Haskell
prettyPrint
Language.Hakaru.CodeGen.Pretty
prettyType
Language.Hakaru.Pretty.Concrete
prettyValue
Language.Hakaru.Pretty.Concrete
pRight
Language.Hakaru.Syntax.Datum
primBern
Language.Hakaru.Parser.SymbolResolve
PrimCoerce
Language.Hakaru.Types.Coercion
primCoerce
Language.Hakaru.Parser.SymbolResolve
primCoerceFrom
Language.Hakaru.Types.Coercion
primCoerceTo
Language.Hakaru.Types.Coercion
PrimCoercion
Language.Hakaru.Types.Coercion
primFactor
Language.Hakaru.Parser.SymbolResolve
primJust
Language.Hakaru.Parser.SymbolResolve
primLeft
Language.Hakaru.Parser.SymbolResolve
primMeasure1
Language.Hakaru.Parser.SymbolResolve
primMeasure2
Language.Hakaru.Parser.SymbolResolve
primNothing
Language.Hakaru.Parser.SymbolResolve
PrimOp
1 (Type/Class)
Language.Hakaru.Syntax.AST
2 (Type/Class)
Language.Hakaru.Parser.AST
primOp0_
Language.Hakaru.Syntax.Prelude
primOp1_
Language.Hakaru.Syntax.Prelude
primOp2_
Language.Hakaru.Syntax.Prelude
primOp3_
Language.Hakaru.Syntax.Prelude
PrimOp_
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
primPat
Language.Hakaru.Parser.SymbolResolve
primPrimOp0
Language.Hakaru.Parser.SymbolResolve
primPrimOp1
Language.Hakaru.Parser.SymbolResolve
primPrimOp2
Language.Hakaru.Parser.SymbolResolve
primRight
Language.Hakaru.Parser.SymbolResolve
primTable
Language.Hakaru.Parser.SymbolResolve
primTypes
Language.Hakaru.Parser.SymbolResolve
primUnsafe
Language.Hakaru.Parser.SymbolResolve
primWeight
Language.Hakaru.Parser.SymbolResolve
PrintConfig
1 (Type/Class)
Language.Hakaru.CodeGen.Wrapper
2 (Data Constructor)
Language.Hakaru.CodeGen.Wrapper
printfE
Language.Hakaru.CodeGen.AST
printSourceSpan
Language.Hakaru.Parser.AST
priorAsProposal
Language.Hakaru.Inference
Prob
Language.Hakaru.Parser.AST
prob_
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Syntax.Prelude
Prod
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
prod
Language.Hakaru.Syntax.Prelude
Product
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
product
1 (Function)
Language.Hakaru.Runtime.Prelude
2 (Function)
Language.Hakaru.Parser.Maple
3 (Function)
Language.Hakaru.Syntax.Prelude
Product_
Language.Hakaru.Parser.AST
product_expr
Language.Hakaru.Parser.Parser
Prod_
Language.Hakaru.Parser.Maple
pseudoblockExpr
Language.Hakaru.Parser.Parser
PStruct
Language.Hakaru.Parser.AST
pTrue
Language.Hakaru.Syntax.Datum
ptrue
Language.Hakaru.Runtime.Prelude
pUnit
Language.Hakaru.Syntax.Datum
Pure
Language.Hakaru.Evaluation.Types
PureAns
Language.Hakaru.Evaluation.EvalMonad
pureEvaluate
1 (Function)
Language.Hakaru.Evaluation.EvalMonad
2 (Function)
Language.Hakaru.Evaluation.ExpectMonad
Purity
Language.Hakaru.Evaluation.Types
push
Language.Hakaru.Evaluation.Types
pushes
Language.Hakaru.Evaluation.Types
pushPlate
Language.Hakaru.Evaluation.DisintegrationMonad
putExprStat
Language.Hakaru.CodeGen.CodeGenMonad
putLocs
Language.Hakaru.Evaluation.DisintegrationMonad
putStat
Language.Hakaru.CodeGen.CodeGenMonad
putStatements
Language.Hakaru.Evaluation.DisintegrationMonad
PVar
1 (Data Constructor)
Language.Hakaru.Runtime.Prelude
2 (Data Constructor)
Language.Hakaru.Syntax.Datum
3 (Data Constructor)
Language.Hakaru.Parser.AST
PVar'
Language.Hakaru.Parser.AST
PWild
1 (Data Constructor)
Language.Hakaru.Runtime.Prelude
2 (Data Constructor)
Language.Hakaru.Syntax.Datum
3 (Data Constructor)
Language.Hakaru.Parser.AST
PWild'
Language.Hakaru.Parser.AST