Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
^
|
-
~
_
All
Index - P
PageWidth
Elara.Data.Pretty
pageWidth
Elara.Data.Pretty
param
Elara.Interpreter
parametrizedTok
Elara.Lexer.Action
parens
Elara.Data.Pretty
parensIf
Elara.Data.Pretty
ParsedFile
Elara.Query
ParsedModule
Elara.Query
parseErrorSources
Elara.Parse.Error
parsePrimOp
Elara.Prim
Parser
Elara.Parse.Primitives
ParseState
Elara.Lexer.Utils
PartialApplication
Elara.Interpreter
PartialDeclaration
Elara.Desugar.Common
partialDeclarations
Elara.Desugar
partialDeclarationSourceRegion
Elara.Desugar.Common
PartialNamesNotEqual
Elara.Desugar.Error
partialNamesNotEqual
Elara.Error.Codes
, Elara.Error
partitionEithers
Prelude
partitionWith
Prelude
pass
Prelude
path
Elara.AST.Region
PatLoc
Elara.AST.Location
patParser
Elara.Parse.Pattern
Pattern
1 (Type/Class)
Elara.AST.Types
2 (Data Constructor)
Elara.AST.Types
Pattern'
Elara.AST.Types
PatternArityMismatch
Elara.TypeInfer.Error
patternArityMismatch
Elara.Error.Codes
, Elara.Error
patternDependencies
Elara.SCC
PatternExtension
Elara.AST.Phase
PatternMatchFailedError
Elara.JVM.IR
PatternMatchMissingBinders
Elara.Core.TypeCheck
PatternMeta
Elara.AST.Phase
PatternNode
Elara.AST.Location
patternRegion
Elara.Parse.Declaration
patternSite
Elara.TypeInfer.Context
PChar
Elara.AST.Types
PCon
Elara.AST.Types
peelLam
Elara.Core.LiftClosures.Util
pElement
Elara.Parse.Expression
pendingPosition
Elara.Lexer.Utils
pendingTokens
Elara.Lexer.Utils
permutations
Prelude
pExpression
Elara.Parse.Expression
PExtension
Elara.AST.Types
PFloat
Elara.AST.Types
phantom
Prelude
PhaseCoerce
Elara.AST.PhaseCoerce
phaseCoerce
Elara.AST.PhaseCoerce
pi
Prelude
PInt
Elara.AST.Types
pipe
Elara.Data.Pretty
pipeInline
Elara.CoreToCore
plate
Prelude
Plated
Prelude
plural
Elara.Data.Pretty
Polytype
1 (Type/Class)
Elara.TypeInfer.Type
2 (Data Constructor)
Elara.TypeInfer.Type
PolytypeAlias
Elara.TypeInfer.Error
PolytypeAliasError
Elara.TypeInfer.Error
polytypeLoc
Elara.TypeInfer.Type
Position
1 (Type/Class)
Elara.AST.Region
2 (Data Constructor)
Elara.AST.Region
position
Elara.Lexer.Utils
positionToDiagnosePosition
Elara.AST.Region
positionToSp
Elara.AST.Region
Precedence
Elara.Shunt.Operator
precedence
Elara.Shunt.Operator
pred
Prelude
Predicate
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
preRegisterType
Elara.Data.Kind.Infer
Pretty
Elara.Data.Pretty
pretty
Elara.Data.Pretty
prettyAlt
Elara.Core.Pretty
prettyBinaryOperator
Elara.AST.Pretty
prettyBinaryOperatorExt
Elara.AST.Pretty
prettyCall
Elara.JVM.IR
prettyCallStack
Prelude
prettyConstructorBinder
Elara.AST.Pretty
prettyConstructorOccurrence
Elara.AST.Pretty
prettyCtorsInline
Elara.Pretty.Common
PrettyDbg
1 (Type/Class)
Elara.Parse.Debug
2 (Data Constructor)
Elara.Parse.Debug
prettyDeclaration
Elara.AST.Pretty
prettyDeclarationBody
Elara.AST.Pretty
prettyDeclBodyExtension
Elara.AST.Pretty
prettyDesugaredExprExt
Elara.AST.Phases.Desugared
prettyExpr
1 (Function)
Elara.Core.Pretty
2 (Function)
Elara.AST.Pretty
prettyExpr'
Elara.AST.Pretty
prettyExpr1
Elara.Core.Pretty
prettyExpr2
Elara.Core.Pretty
prettyExprAppFun
Elara.AST.Pretty
prettyExprAtom
Elara.AST.Pretty
prettyExpressionExtension
Elara.AST.Pretty
prettyExpressionMeta
Elara.AST.Pretty
prettyExprRoundTrip
Elara.AST.Phases.Frontend.Pretty
PrettyExtensions
Elara.AST.Pretty
prettyFrontendDeclBodyExt
Elara.AST.Phases.Frontend
prettyFrontendExprExt
Elara.AST.Phases.Frontend
prettyInfixedOccurrence
Elara.AST.Pretty
prettyInParensExt
Elara.AST.Pretty
prettyLambdaBinder
Elara.AST.Pretty
prettyListExprExt
Elara.AST.Pretty
prettyListTuplePatternExt
Elara.AST.Pretty
prettyMatchAlt
Elara.Pretty.Common
prettyMatchAlts
Elara.Pretty.Common
prettyModule
Elara.AST.Pretty
prettyOp
Elara.Shunt.Operator
prettyOperatorOccurrence
Elara.AST.Pretty
prettyOpTable
Elara.Shunt.Operator
prettyPattern
Elara.AST.Pretty
prettyPattern'
Elara.AST.Pretty
prettyPatternExtension
Elara.AST.Pretty
prettyPatternMeta
Elara.AST.Pretty
prettyPatternRoundTrip
Elara.AST.Phases.Frontend.Pretty
PrettyPhase
Elara.AST.Pretty
PrettyPhaseLoc
Elara.AST.Pretty
prettySrcLoc
Prelude
prettyStringExpr
Elara.Data.Pretty
prettyTdef
Elara.Core.Module
prettyTLLam
Elara.Core.Pretty
prettyTopTypeBinder
Elara.AST.Pretty
prettyTopValueBinder
Elara.AST.Pretty
prettyToString
Print
prettyToText
Elara.Data.Pretty
prettyToUnannotatedText
Elara.Data.Pretty
prettyTupleExprExt
Elara.AST.Pretty
prettyTupleTypeExt
Elara.AST.Pretty
prettyTy
Elara.Core.Pretty
prettyTy1
Elara.Core.Pretty
prettyTy2
Elara.Core.Pretty
prettyType
Elara.AST.Pretty
prettyType'
Elara.AST.Pretty
prettyTypeAppFun
Elara.AST.Pretty
prettyTypeAtom
Elara.AST.Pretty
prettyTypeDeclaration
Elara.AST.Pretty
prettyTypeDeclBody
Elara.AST.Pretty
prettyTypedLambdaParam
Elara.AST.Pretty
prettyTypeMeta
Elara.AST.Pretty
prettyTypeOccurrence
Elara.AST.Pretty
prettyTypeSyntaxExtension
Elara.AST.Pretty
prettyTypeVariable
1 (Function)
Elara.Core.Pretty
2 (Function)
Elara.AST.Pretty
prettyTypeVariables
Elara.Core.Pretty
prettyValueBinder
Elara.AST.Pretty
prettyValueDeclPatterns
Elara.AST.Pretty
prettyValueOccurrence
Elara.AST.Pretty
prettyValueWithType
Elara.Interpreter
PrettyVar
Elara.Core.Pretty
prettyVar
Elara.Core.Pretty
prettyVarArg
Elara.Core.Pretty
prettyVBind
Elara.Core.Pretty
prettyVdef
Elara.Core.Pretty
prettyVdefg
Elara.Core.Pretty
preview
Prelude
Prim
Elara.Core
PrimAdd
Elara.JVM.IR
PrimaryMarker
Elara.Error
PrimBinOp
Elara.JVM.IR
PrimChar
Elara.Prim
PrimCompare
Elara.Prim
PrimDebugWithMsg
Elara.Prim
PrimDivide
Elara.JVM.IR
PrimDouble
Elara.Prim
PrimEquals
Elara.Prim
PrimFloat
Elara.Prim
PrimGetArgs
Elara.Prim
PrimGT
Elara.JVM.IR
PrimInt
Elara.Prim
PrimIntAdd
Elara.Prim
PrimIntDivide
Elara.Prim
PrimIntMultiply
Elara.Prim
PrimIntNegate
Elara.Prim
PrimIntRemainder
Elara.Prim
PrimIntSubtract
Elara.Prim
PrimIO
Elara.Prim
PrimIOBind
Elara.Prim
PrimitiveIntOp
Elara.JVM.IR
PrimitiveLitBool
Elara.JVM.IR
PrimitiveLitInt
Elara.JVM.IR
primitiveRenameState
Elara.Prim.Rename
primitiveTypes
Elara.Prim
primKindCheckContext
Elara.Prim
primLocated
Elara.Prim
primModuleName
Elara.Prim
PrimMultiply
Elara.JVM.IR
PrimOp
1 (Type/Class)
Elara.Prim
2 (Type/Class)
Elara.JVM.IR
3 (Data Constructor)
Elara.JVM.IR
4 (Data Constructor)
Elara.Core
primOpArity
Elara.Prim
PrimPrintln
Elara.Prim
PrimReadFile
Elara.Prim
primRegion
Elara.Prim
PrimString
Elara.Prim
PrimStringCons
Elara.Prim
PrimStringHead
Elara.Prim
PrimStringIsEmpty
Elara.Prim
PrimStringTail
Elara.Prim
PrimSubtract
Elara.JVM.IR
PrimThrowError
Elara.Prim
PrimToString
Elara.Prim
Print
Elara.Interpreter
print
Prelude
printColored
Print
printPretty
Print
printText
Elara.Interpreter
Prism
Prelude
prism
Prelude
Prism'
Prelude
prism'
Prelude
Product
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
product
Prelude
programArgs
Elara.Settings
properFraction
Prelude
providedBinders
Elara.Core.TypeCheck
Proxy
1 (Type/Class)
Prelude
2 (Data Constructor)
Prelude
PString
Elara.AST.Types
punctuate
Elara.Data.Pretty
punctuation
Elara.Data.Pretty.Styles
PUnit
Elara.AST.Types
pure
Prelude
pushContext
Elara.TypeInfer.Context
putBS
Prelude
putBSLn
Prelude
putLBS
Prelude
putLBSLn
Prelude
putLText
Prelude
putLTextLn
Prelude
putMVar
Prelude
putStr
Prelude
putStrLn
Prelude
putText
Prelude
putTextLn
Prelude
putTMVar
Prelude
PVar
Elara.AST.Types
PWildcard
Elara.AST.Types