hakaru-0.7.0: A probabilistic programming language
Contents
Index
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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (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
Pair_
Language.Hakaru.Parser.AST
pair_
Language.Hakaru.Syntax.Prelude
PAns
Language.Hakaru.Evaluation.PEvalMonad
paraABT
Language.Hakaru.Syntax.ABT
Parallel
Language.Hakaru.CodeGen.Libs
parDo
Language.Hakaru.CodeGen.CodeGenMonad
parens
Language.Hakaru.Parser.Maple
parse
Language.Hakaru.Runtime.CmdLine
Parseable
Language.Hakaru.Runtime.CmdLine
parseAndInfer
Language.Hakaru.Command
parseAndInfer'
Language.Hakaru.Command
parseAndInferWithDebug
Language.Hakaru.Command
parseAndInferWithMode
Language.Hakaru.Command
parseAndInferWithMode'
Language.Hakaru.Command
parseHakaru
Language.Hakaru.Parser.Parser
parseHakaruWithImports
Language.Hakaru.Parser.Parser
parseMaple
Language.Hakaru.Parser.Maple
parseReplLine
Language.Hakaru.Parser.Parser
Pattern
1 (Type/Class)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Type/Class)
Language.Hakaru.Runtime.Prelude
3 (Type/Class)
Language.Hakaru.Syntax.Datum
4 (Type/Class)
Language.Hakaru.Parser.AST
Pattern'
Language.Hakaru.Parser.AST
PCode
Language.Hakaru.Parser.AST
pCoerce
Language.Hakaru.Pretty.SExpression
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
PDone
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
perform
Language.Hakaru.Disintegrate
permutes
Language.Hakaru.Evaluation.DisintegrationMonad
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
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
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
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
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
pjust
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
plate'
Language.Hakaru.Syntax.Prelude
plateWithVar
Language.Hakaru.Syntax.Prelude
Plate_
Language.Hakaru.Parser.AST
pLeft
Language.Hakaru.Syntax.Datum
pleft
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
pNil
Language.Hakaru.Syntax.Datum
pNothing
Language.Hakaru.Syntax.Datum
pnothing
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
Pointwise
Language.Hakaru.Syntax.IClasses
PointwiseP
Language.Hakaru.Syntax.IClasses
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
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
Power
Language.Hakaru.Parser.Maple
power
Language.Hakaru.Parser.Maple
pPair
Language.Hakaru.Syntax.Datum
ppair
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
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
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
5 (Function)
Language.Hakaru.Pretty.SExpression
prettyArrayOp
Language.Hakaru.Pretty.SExpression
prettyAssoc
Language.Hakaru.Pretty.Haskell
prettyBranch
Language.Hakaru.Pretty.SExpression
prettyDatum
Language.Hakaru.Pretty.SExpression
prettyDatumCode
Language.Hakaru.Pretty.SExpression
prettyDatumFun
Language.Hakaru.Pretty.SExpression
prettyDatumStruct
Language.Hakaru.Pretty.SExpression
prettyFile'
Language.Hakaru.Pretty.SExpression
prettyLiteral
Language.Hakaru.Pretty.SExpression
prettyMeasureOp
Language.Hakaru.Pretty.SExpression
prettyNary
Language.Hakaru.Pretty.SExpression
prettyPattern
Language.Hakaru.Pretty.SExpression
prettyPrec
1 (Function)
Language.Hakaru.Pretty.Haskell
2 (Function)
Language.Hakaru.Pretty.Concrete
prettyPrecAssoc
Language.Hakaru.Pretty.Haskell
prettyPrec_
Language.Hakaru.Pretty.Haskell
prettyPrimOp
Language.Hakaru.Pretty.SExpression
prettyPrint
Language.Hakaru.CodeGen.Pretty
prettyRatio
Language.Hakaru.Pretty.SExpression
prettyReducer
Language.Hakaru.Pretty.SExpression
prettySCons
Language.Hakaru.Pretty.SExpression
prettyShow
Language.Hakaru.Pretty.SExpression
prettyString
Language.Hakaru.Pretty.Haskell
prettyT
Language.Hakaru.Pretty.Concrete
prettyTerm
Language.Hakaru.Pretty.SExpression
prettyType
1 (Function)
Language.Hakaru.Pretty.Haskell
2 (Function)
Language.Hakaru.Pretty.Concrete
3 (Function)
Language.Hakaru.Pretty.SExpression
prettyTypeS
Language.Hakaru.Pretty.Concrete
prettyTypeT
Language.Hakaru.Pretty.Concrete
prettyValue
Language.Hakaru.Pretty.Concrete
prettyVariable
Language.Hakaru.Pretty.SExpression
prettyView
Language.Hakaru.Pretty.SExpression
prettyViewABT
Language.Hakaru.Pretty.SExpression
pRight
Language.Hakaru.Syntax.Datum
pright
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
PrimCoerce
Language.Hakaru.Types.Coercion
primCoerceFrom
Language.Hakaru.Types.Coercion
primCoerceTo
Language.Hakaru.Types.Coercion
PrimCoercion
Language.Hakaru.Types.Coercion
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
print
Data.Text.Utf8
PrintConfig
1 (Type/Class)
Language.Hakaru.CodeGen.Wrapper
2 (Data Constructor)
Language.Hakaru.CodeGen.Wrapper
printfE
Language.Hakaru.CodeGen.Libs
printSourceSpan
Language.Hakaru.Parser.AST
priorAsProposal
Language.Hakaru.Inference
Prob
1 (Type/Class)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Type/Class)
Language.Hakaru.Runtime.Prelude
3 (Data Constructor)
Language.Hakaru.Parser.AST
prob_
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (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.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
3 (Function)
Language.Hakaru.Syntax.Prelude
4 (Function)
Language.Hakaru.Parser.Maple
Product_
Language.Hakaru.Parser.AST
Prod_
Language.Hakaru.Parser.Maple
prune
Language.Hakaru.Syntax.Prune
PStruct
Language.Hakaru.Parser.AST
pTrue
Language.Hakaru.Syntax.Datum
ptrue
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
pUnit
Language.Hakaru.Syntax.Datum
pUnsafeCoerce
Language.Hakaru.Pretty.SExpression
Pure
Language.Hakaru.Evaluation.Types
PureAns
Language.Hakaru.Evaluation.EvalMonad
pureEvaluate
1 (Function)
Language.Hakaru.Evaluation.ExpectMonad
2 (Function)
Language.Hakaru.Evaluation.EvalMonad
Purity
Language.Hakaru.Evaluation.Types
push
Language.Hakaru.Evaluation.Types
pushCtx
Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad
pushes
Language.Hakaru.Evaluation.Types
pushGuard
Language.Hakaru.Evaluation.DisintegrationMonad
pushPlate
Language.Hakaru.Evaluation.DisintegrationMonad
pushWeight
Language.Hakaru.Evaluation.DisintegrationMonad
putExprStat
Language.Hakaru.CodeGen.CodeGenMonad
putExtras
Language.Hakaru.Evaluation.DisintegrationMonad
putMallocStat
Language.Hakaru.CodeGen.CodeGenMonad
putStat
Language.Hakaru.CodeGen.CodeGenMonad
putStatements
Language.Hakaru.Evaluation.DisintegrationMonad
putStr
Data.Text.Utf8
putStrLn
Data.Text.Utf8
putStrLnS
Data.Text.Utf8
putStrS
Data.Text.Utf8
PVar
1 (Data Constructor)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Data Constructor)
Language.Hakaru.Runtime.Prelude
3 (Data Constructor)
Language.Hakaru.Syntax.Datum
4 (Data Constructor)
Language.Hakaru.Parser.AST
PVar'
Language.Hakaru.Parser.AST
Pw
Language.Hakaru.Syntax.IClasses
PWild
1 (Data Constructor)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Data Constructor)
Language.Hakaru.Runtime.Prelude
3 (Data Constructor)
Language.Hakaru.Syntax.Datum
4 (Data Constructor)
Language.Hakaru.Parser.AST
PWild'
Language.Hakaru.Parser.AST
PwP
Language.Hakaru.Syntax.IClasses