Contents
Index
A
B
C
D
E
F
G
H
I
L
M
N
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
PairE
Language.LambdaPi.Impl.Foil
PairF
1 (Type/Class)
Language.LambdaPi.Impl.FreeFoil
2 (Data Constructor)
Language.LambdaPi.Impl.FreeFoil
PairSig
Language.LambdaPi.Impl.FreeFoilTH
parenClose
Language.LambdaPi.Syntax.Layout
parenOpen
Language.LambdaPi.Syntax.Layout
parenth
Language.LambdaPi.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
pCommand
Language.LambdaPi.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
pListCommand
Language.LambdaPi.Syntax.Par
Pn
Language.LambdaPi.Syntax.Lex
Position
Language.LambdaPi.Syntax.Layout
posLineCol
Language.LambdaPi.Syntax.Lex
Posn
Language.LambdaPi.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
Language.LambdaPi.Syntax.Print
printExpr
Language.LambdaPi.Impl.Foil
printFoilTerm
Language.LambdaPi.Impl.FoilTH
printPosn
Language.LambdaPi.Syntax.Lex
printString
Language.LambdaPi.Syntax.Print
printTree
Language.LambdaPi.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
Language.LambdaPi.Syntax.Print
prt
Language.LambdaPi.Syntax.Print
prToken
Language.LambdaPi.Syntax.Lex
pScopedTerm
Language.LambdaPi.Syntax.Par
PT
Language.LambdaPi.Syntax.Lex
pTerm
Language.LambdaPi.Syntax.Par
pTerm1
Language.LambdaPi.Syntax.Par
pTerm2
Language.LambdaPi.Syntax.Par