A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
All

Index - P

Pair
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.FreeFoilTH
3 (Data Constructor)	Language.LambdaPi.Impl.FreeFoil
pairA	Data.ZipMatchK.Mappings, Data.ZipMatchK
PairE	Language.LambdaPi.Impl.Foil
PairF
1 (Type/Class)	Language.LambdaPi.Impl.FreeFoil
2 (Data Constructor)	Language.LambdaPi.Impl.FreeFoil
PairMappings	Data.ZipMatchK.Mappings, Data.ZipMatchK
pairMappings	Data.ZipMatchK.Mappings, Data.ZipMatchK
PairSig	Language.LambdaPi.Impl.FreeFoilTH
parenClose	Language.LambdaPi.Syntax.Layout
parenOpen	Language.LambdaPi.Syntax.Layout
parenth
1 (Function)	Language.LambdaPi.Syntax.Print
2 (Function)	Language.SOAS.Syntax.Print
Pattern
1 (Type/Class)	Language.LambdaPi.Syntax.Abs
2 (Type/Class)	Language.LambdaPi.Impl.Foil
Pattern'	Language.LambdaPi.Syntax.Abs
PatternPair
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.Foil
PatternVar
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.Foil
PatternWildcard
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.Foil
pBinders	Language.SOAS.Syntax.Par
pCommand	Language.LambdaPi.Syntax.Par
pConstraint	Language.SOAS.Syntax.Par
pContext	Language.SOAS.Syntax.Par
PeelConT	Control.Monad.Foil.TH.Util
peelConT	Control.Monad.Foil.TH.Util
Pi
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.FreeFoilTH
3 (Data Constructor)	Language.LambdaPi.Impl.FreeFoil
PiE	Language.LambdaPi.Impl.Foil
PiF	Language.LambdaPi.Impl.FreeFoil
PiSig	Language.LambdaPi.Impl.FreeFoilTH
PlainOpArg
1 (Data Constructor)	Language.SOAS.Syntax.Abs
2 (Data Constructor)	Language.SOAS.Impl.Generated
PlainOpArgSig	Language.SOAS.Impl.Generated
pListCommand	Language.LambdaPi.Syntax.Par
pListMetaVarTyping	Language.SOAS.Syntax.Par
pListOpArg	Language.SOAS.Syntax.Par
pListScopedOpArgTyping	Language.SOAS.Syntax.Par
pListScopedType	Language.SOAS.Syntax.Par
pListSubst	Language.SOAS.Syntax.Par
pListTerm	Language.SOAS.Syntax.Par
pListType	Language.SOAS.Syntax.Par
pListVarTyping	Language.SOAS.Syntax.Par
pMetaVarTyping	Language.SOAS.Syntax.Par
Pn
1 (Data Constructor)	Language.LambdaPi.Syntax.Lex
2 (Data Constructor)	Language.SOAS.Syntax.Lex
pOpArg	Language.SOAS.Syntax.Par
pOpArgTyping	Language.SOAS.Syntax.Par
pOpTyping	Language.SOAS.Syntax.Par
Position	Language.LambdaPi.Syntax.Layout
posLineCol
1 (Function)	Language.LambdaPi.Syntax.Lex
2 (Function)	Language.SOAS.Syntax.Lex
Posn
1 (Type/Class)	Language.LambdaPi.Syntax.Lex
2 (Type/Class)	Language.SOAS.Syntax.Lex
pPattern	Language.LambdaPi.Syntax.Par
ppExpr
1 (Function)	Control.Monad.Foil.Example
2 (Function)	Control.Monad.Free.Foil.Example
3 (Function)	Language.LambdaPi.Impl.Foil
ppLambdaPi	Language.LambdaPi.Impl.FreeFoil
ppName
1 (Function)	Control.Monad.Foil.Example
2 (Function)	Control.Monad.Free.Foil.Example
3 (Function)	Language.LambdaPi.Impl.Foil
ppPattern	Language.LambdaPi.Impl.Foil
pProgram	Language.LambdaPi.Syntax.Par
Print
1 (Type/Class)	Language.LambdaPi.Syntax.Print
2 (Type/Class)	Language.SOAS.Syntax.Print
printExpr	Language.LambdaPi.Impl.Foil
printFoilTerm	Language.LambdaPi.Impl.FoilTH
printPosn
1 (Function)	Language.LambdaPi.Syntax.Lex
2 (Function)	Language.SOAS.Syntax.Lex
printString
1 (Function)	Language.LambdaPi.Syntax.Print
2 (Function)	Language.SOAS.Syntax.Print
printTree
1 (Function)	Language.LambdaPi.Syntax.Print
2 (Function)	Language.SOAS.Syntax.Print
Product
1 (Data Constructor)	Language.LambdaPi.Syntax.Abs
2 (Data Constructor)	Language.LambdaPi.Impl.FreeFoilTH
3 (Data Constructor)	Language.LambdaPi.Impl.FreeFoil
ProductE	Language.LambdaPi.Impl.Foil
ProductF	Language.LambdaPi.Impl.FreeFoil
ProductSig	Language.LambdaPi.Impl.FreeFoilTH
Program	Language.LambdaPi.Syntax.Abs
Program'	Language.LambdaPi.Syntax.Abs
prPrec
1 (Function)	Language.LambdaPi.Syntax.Print
2 (Function)	Language.SOAS.Syntax.Print
prt
1 (Function)	Language.LambdaPi.Syntax.Print
2 (Function)	Language.SOAS.Syntax.Print
prToken
1 (Function)	Language.LambdaPi.Syntax.Lex
2 (Function)	Language.SOAS.Syntax.Lex
pScopedOpArgTyping	Language.SOAS.Syntax.Par
pScopedTerm
1 (Function)	Language.LambdaPi.Syntax.Par
2 (Function)	Language.SOAS.Syntax.Par
pScopedType	Language.SOAS.Syntax.Par
pSubst	Language.SOAS.Syntax.Par
PT
1 (Data Constructor)	Language.LambdaPi.Syntax.Lex
2 (Data Constructor)	Language.SOAS.Syntax.Lex
pTerm
1 (Function)	Language.LambdaPi.Syntax.Par
2 (Function)	Language.SOAS.Syntax.Par
pTerm1	Language.LambdaPi.Syntax.Par
pTerm2	Language.LambdaPi.Syntax.Par
pTermTyping	Language.SOAS.Syntax.Par
pType	Language.SOAS.Syntax.Par
pType1	Language.SOAS.Syntax.Par
pType2	Language.SOAS.Syntax.Par
pTypeBinders	Language.SOAS.Syntax.Par
pUnifier	Language.SOAS.Syntax.Par
PutBackLoT	Control.Monad.Foil.Internal.ValidNameBinders
putBackRenamingK	Control.Monad.Foil.Internal
putBackTwoRenamingsK	Control.Monad.Foil.Internal
pVarTyping	Language.SOAS.Syntax.Par