| :+: | Language.LambdaPi.Impl.FreeFoil |
| absurd2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addImplicit | Language.LambdaPi.Syntax.Layout |
| addNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addRename | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| afterPrev | Language.LambdaPi.Syntax.Layout |
| AlexA# | Language.LambdaPi.Syntax.Lex |
| AlexAcc | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| AlexAccNone | Language.LambdaPi.Syntax.Lex |
| AlexAccSkip | Language.LambdaPi.Syntax.Lex |
| AlexAddr | Language.LambdaPi.Syntax.Lex |
| AlexEOF | Language.LambdaPi.Syntax.Lex |
| AlexError | Language.LambdaPi.Syntax.Lex |
| alexGetByte | Language.LambdaPi.Syntax.Lex |
| alexIndexInt16OffAddr | Language.LambdaPi.Syntax.Lex |
| alexIndexInt32OffAddr | Language.LambdaPi.Syntax.Lex |
| AlexInput | Language.LambdaPi.Syntax.Lex |
| alexInputPrevChar | Language.LambdaPi.Syntax.Lex |
| AlexLastAcc | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| AlexLastSkip | Language.LambdaPi.Syntax.Lex |
| alexMove | Language.LambdaPi.Syntax.Lex |
| AlexNone | Language.LambdaPi.Syntax.Lex |
| AlexReturn | Language.LambdaPi.Syntax.Lex |
| alexScan | Language.LambdaPi.Syntax.Lex |
| alexScanUser | Language.LambdaPi.Syntax.Lex |
| AlexSkip | Language.LambdaPi.Syntax.Lex |
| alexStartPos | Language.LambdaPi.Syntax.Lex |
| AlexToken | Language.LambdaPi.Syntax.Lex |
| alex_accept | Language.LambdaPi.Syntax.Lex |
| alex_actions | Language.LambdaPi.Syntax.Lex |
| alex_action_3 | Language.LambdaPi.Syntax.Lex |
| alex_action_4 | Language.LambdaPi.Syntax.Lex |
| alex_action_5 | Language.LambdaPi.Syntax.Lex |
| alex_base | Language.LambdaPi.Syntax.Lex |
| alex_check | Language.LambdaPi.Syntax.Lex |
| alex_deflt | Language.LambdaPi.Syntax.Lex |
| alex_scan_tkn | Language.LambdaPi.Syntax.Lex |
| alex_table | Language.LambdaPi.Syntax.Lex |
| alex_tab_size | Language.LambdaPi.Syntax.Lex |
| alphaEquiv | |
| 1 (Function) | Control.Monad.Free.Foil |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| alphaEquivRefreshed | |
| 1 (Function) | Control.Monad.Free.Foil |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| alphaEquivScoped | Control.Monad.Free.Foil |
| andThenUnifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| andThenUnifyPatterns | Control.Monad.Foil.Internal, Control.Monad.Foil |
| App | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| AppE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 3 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| AppF | |
| 1 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| AppSig | Language.LambdaPi.Impl.FreeFoilTH |
| AProgram | Language.LambdaPi.Syntax.Abs |
| AScopedTerm | Language.LambdaPi.Syntax.Abs |
| assertDistinct | Control.Monad.Foil.Internal, Control.Monad.Foil |
| assertExt | Control.Monad.Foil.Internal, Control.Monad.Foil |
| AST | Control.Monad.Free.Foil |
| B | Language.LambdaPi.Syntax.Lex |
| Block | Language.LambdaPi.Syntax.Layout |
| BNFC'NoPosition | Language.LambdaPi.Syntax.Abs |
| BNFC'Position | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| BTree | Language.LambdaPi.Syntax.Lex |
| Byte | Language.LambdaPi.Syntax.Lex |
| churchN | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| Column | Language.LambdaPi.Syntax.Layout |
| column | Language.LambdaPi.Syntax.Layout |
| Command | Language.LambdaPi.Syntax.Abs |
| Command' | Language.LambdaPi.Syntax.Abs |
| CommandCheck | Language.LambdaPi.Syntax.Abs |
| CommandCompute | Language.LambdaPi.Syntax.Abs |
| compExtendScope | Control.Monad.Foil.Internal |
| compNamesOf | Control.Monad.Foil.Internal |
| composeNameBinderRenamings | Control.Monad.Foil.Internal, Control.Monad.Foil |
| compUnsinkName | Control.Monad.Foil.Internal |
| compWithRefreshedPattern | Control.Monad.Foil.Internal |
| compWithRefreshedPattern' | Control.Monad.Foil.Internal |
| concatD | Language.LambdaPi.Syntax.Print |
| concatS | Language.LambdaPi.Syntax.Print |
| confirm | Language.LambdaPi.Syntax.Layout |
| convertFromAST | Control.Monad.Free.Foil |
| convertFromScopedAST | Control.Monad.Free.Foil |
| convertFromTerm'Sig | Language.LambdaPi.Impl.FreeFoilTH |
| convertToAST | Control.Monad.Free.Foil |
| convertToScopedAST | Control.Monad.Free.Foil |
| convertToTerm'Sig | Language.LambdaPi.Impl.FreeFoilTH |
| coSinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| CoSinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| defaultMain | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| Definitive | Language.LambdaPi.Syntax.Layout |
| delimClose | Language.LambdaPi.Syntax.Layout |
| delimOpen | Language.LambdaPi.Syntax.Layout |
| delimSep | Language.LambdaPi.Syntax.Layout |
| deriveCoSinkable | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveUnifiablePattern | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveZipMatch | Control.Monad.Free.Foil.TH.ZipMatch, Control.Monad.Free.Foil.TH |
| DExt | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Distinct | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| DistinctEvidence | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Doc | Language.LambdaPi.Syntax.Print |
| doc | Language.LambdaPi.Syntax.Print |
| eitherResIdent | Language.LambdaPi.Syntax.Lex |
| emptyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| emptyNameMap | Control.Monad.Foil.Internal, Control.Monad.Foil |
| emptyScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Err | Language.LambdaPi.Syntax.Lex |
| Explicit | Language.LambdaPi.Syntax.Layout |
| Expr | |
| 1 (Type/Class) | Control.Monad.Foil.Example |
| 2 (Type/Class) | Control.Monad.Free.Foil.Example |
| 3 (Type/Class) | Language.LambdaPi.Impl.Foil |
| ExprF | Control.Monad.Free.Foil.Example |
| Ext | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtEndo | Control.Monad.Foil.Internal |
| extendRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendRenamingNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtendScope | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| extendScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendScopeFoilPattern' | Language.LambdaPi.Impl.FoilTH |
| extendScopePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtEvidence | Control.Monad.Foil.Internal, Control.Monad.Foil |
| First | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| FirstE | Language.LambdaPi.Impl.Foil |
| FirstF | Language.LambdaPi.Impl.FreeFoil |
| FirstSig | Language.LambdaPi.Impl.FreeFoilTH |
| FoilApp | Language.LambdaPi.Impl.FoilTH |
| FoilAScopedTerm | Language.LambdaPi.Impl.FoilTH |
| FoilFirst | Language.LambdaPi.Impl.FoilTH |
| FoilLam | Language.LambdaPi.Impl.FoilTH |
| FoilPair | Language.LambdaPi.Impl.FoilTH |
| FoilPattern | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Type/Class) | Language.LambdaPi.Impl.FoilTH |
| FoilPattern' | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Type/Class) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternPair | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternVar | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternWildcard | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPi | Language.LambdaPi.Impl.FoilTH |
| FoilProduct | Language.LambdaPi.Impl.FoilTH |
| FoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| FoilSecond | Language.LambdaPi.Impl.FoilTH |
| FoilTerm | Language.LambdaPi.Impl.FoilTH |
| FoilTerm' | Language.LambdaPi.Impl.FoilTH |
| FoilUniverse | Language.LambdaPi.Impl.FoilTH |
| FoilVar | Language.LambdaPi.Impl.FoilTH |
| fromFoilPattern | Language.LambdaPi.Impl.Foil |
| fromFoilPattern' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| fromFoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| fromFoilTerm | Language.LambdaPi.Impl.Foil |
| fromFoilTerm' | |
| 1 (Function) | Language.LambdaPi.Impl.FoilTH |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| fromFoilTermClosed | |
| 1 (Function) | Language.LambdaPi.Impl.FoilTH |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| fromLambdaPi | Language.LambdaPi.Impl.FreeFoil |
| fromLambdaPi' | Language.LambdaPi.Impl.FreeFoil |
| fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fromNameBindersList | Control.Monad.Foil.Internal |
| fromTerm' | Language.LambdaPi.Impl.FreeFoilTH |
| getNameMap | Control.Monad.Foil.Internal |
| getPattern'Binder | Language.LambdaPi.Impl.FreeFoilTH |
| getTerm'FromScopedTerm' | Language.LambdaPi.Impl.FreeFoilTH |
| happyError | Language.LambdaPi.Syntax.Par |
| HasPosition | Language.LambdaPi.Syntax.Abs |
| hasPosition | Language.LambdaPi.Syntax.Abs |
| Id | Control.Monad.Foil.Internal |
| identity | Language.LambdaPi.Impl.Foil |
| identitySubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| idExtendScope | Control.Monad.Foil.Internal |
| idNamesOf | Control.Monad.Foil.Internal |
| idUnsinkName | Control.Monad.Foil.Internal |
| idWithRefreshedPattern | Control.Monad.Foil.Internal |
| idWithRefreshedPattern' | Control.Monad.Foil.Internal |
| Implicit | Language.LambdaPi.Syntax.Layout |
| indentation | Language.LambdaPi.Syntax.Layout |
| InjectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| injectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| interpretCommand | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| interpretProgram | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| isImplicit | Language.LambdaPi.Syntax.Layout |
| isLayout | Language.LambdaPi.Syntax.Layout |
| isLayoutClose | Language.LambdaPi.Syntax.Layout |
| isLayoutOpen | Language.LambdaPi.Syntax.Layout |
| isLayoutSep | Language.LambdaPi.Syntax.Layout |
| isParenClose | Language.LambdaPi.Syntax.Layout |
| isParenOpen | Language.LambdaPi.Syntax.Layout |
| isStop | Language.LambdaPi.Syntax.Layout |
| isTokenIn | Language.LambdaPi.Syntax.Layout |
| Lam | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| lam | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| LambdaPi | Language.LambdaPi.Impl.FreeFoil |
| LambdaPiF | Language.LambdaPi.Impl.FreeFoil |
| LamE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 3 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| LamF | |
| 1 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| LamSig | Language.LambdaPi.Impl.FreeFoilTH |
| layoutClose | Language.LambdaPi.Syntax.Layout |
| LayoutDelimiters | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Layout |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Layout |
| layoutError | Language.LambdaPi.Syntax.Layout |
| layoutOpen | Language.LambdaPi.Syntax.Layout |
| layoutSep | Language.LambdaPi.Syntax.Layout |
| layoutStopWords | Language.LambdaPi.Syntax.Layout |
| layoutWords | Language.LambdaPi.Syntax.Layout |
| liftRM | Control.Monad.Foil.Relative |
| Line | Language.LambdaPi.Syntax.Layout |
| line | Language.LambdaPi.Syntax.Layout |
| lookupName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lookupSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| matchPattern | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| member | Control.Monad.Foil.Internal, Control.Monad.Foil |
| mergeNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| mkConvertFromFreeFoil | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertFromSig | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertToFreeFoil | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertToSig | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkEsc | Language.LambdaPi.Syntax.Print |
| mkExtendScopeFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkFoilData | Control.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH |
| mkFoilPattern | Control.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH |
| mkFromFoil | Control.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH |
| mkFromFoilPattern | Control.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH |
| mkGetPatternBinder | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkGetScopedTerm | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkInstancesFoil | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| mkPatternSynonym | Control.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH |
| mkPatternSynonyms | Control.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH |
| mkPosToken | Language.LambdaPi.Syntax.Lex |
| mkSignature | Control.Monad.Free.Foil.TH.Signature, Control.Monad.Free.Foil.TH |
| mkToFoil | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkToFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkToFoilTerm | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkWithRefreshedFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| myLexer | Language.LambdaPi.Syntax.Par |
| N | Language.LambdaPi.Syntax.Lex |
| Name | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderList | Control.Monad.Foil.Internal |
| NameBinderListCons | Control.Monad.Foil.Internal |
| NameBinderListEmpty | Control.Monad.Foil.Internal |
| NameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameBindersList | Control.Monad.Foil.Internal |
| nameBindersSingleton | Control.Monad.Foil.Internal |
| nameId | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameMap | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| nameOf | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NamesOf | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| namesOfPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| newLine | Language.LambdaPi.Syntax.Layout |
| nextPos | Language.LambdaPi.Syntax.Layout |
| nf | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| nf' | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| Node | Control.Monad.Free.Foil |
| NotUnifiable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| quickIndex | Language.LambdaPi.Syntax.Lex |
| rawFreshName | Control.Monad.Foil.Internal |
| rawMember | Control.Monad.Foil.Internal |
| RawName | Control.Monad.Foil.Internal |
| RawScope | Control.Monad.Foil.Internal |
| rbind | Control.Monad.Foil.Relative |
| refreshAST | Control.Monad.Free.Foil |
| refreshExpr | Language.LambdaPi.Impl.Foil |
| refreshScopedAST | Control.Monad.Free.Foil |
| RelMonad | Control.Monad.Foil.Relative |
| removeName | Control.Monad.Foil.TH.Util |
| RenameBothBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| RenameLeftNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| RenameRightNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| render | Language.LambdaPi.Syntax.Print |
| replicateS | Language.LambdaPi.Syntax.Print |
| resolveLayout | Language.LambdaPi.Syntax.Layout |
| resWords | Language.LambdaPi.Syntax.Lex |
| rreturn | Control.Monad.Foil.Relative |
| S | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SameNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Scope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopedAST | |
| 1 (Type/Class) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Control.Monad.Free.Foil |
| ScopedTerm | Language.LambdaPi.Syntax.Abs |
| ScopedTerm' | Language.LambdaPi.Syntax.Abs |
| Second | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| SecondE | Language.LambdaPi.Impl.Foil |
| SecondF | Language.LambdaPi.Impl.FreeFoil |
| SecondSig | Language.LambdaPi.Impl.FreeFoilTH |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Status | Language.LambdaPi.Syntax.Layout |
| sToken | Language.LambdaPi.Syntax.Layout |
| substitute | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| substituteRefresh | Language.LambdaPi.Impl.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| TC | Language.LambdaPi.Syntax.Lex |
| TD | Language.LambdaPi.Syntax.Lex |
| Tentative | Language.LambdaPi.Syntax.Layout |
| Term | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| Term' | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| Term'Sig | Language.LambdaPi.Impl.FreeFoilTH |
| TI | Language.LambdaPi.Syntax.Lex |
| TK | Language.LambdaPi.Syntax.Lex |
| TL | Language.LambdaPi.Syntax.Lex |
| toFoilPattern | Language.LambdaPi.Impl.Foil |
| toFoilPattern' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| toFoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| toFoilTerm | Language.LambdaPi.Impl.Foil |
| toFoilTerm' | Language.LambdaPi.Impl.FoilTH |
| toFoilTermClosed | Language.LambdaPi.Impl.Foil |
| Tok | Language.LambdaPi.Syntax.Lex |
| tok | Language.LambdaPi.Syntax.Lex |
| Token | Language.LambdaPi.Syntax.Lex |
| tokenLength | Language.LambdaPi.Syntax.Layout |
| tokenLineCol | Language.LambdaPi.Syntax.Lex |
| tokenPos | Language.LambdaPi.Syntax.Lex |
| tokenPosn | Language.LambdaPi.Syntax.Lex |
| tokens | Language.LambdaPi.Syntax.Lex |
| tokenText | Language.LambdaPi.Syntax.Lex |
| TokSymbol | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| toLambdaPi | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiClosed | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiLam | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiPi | Language.LambdaPi.Impl.FreeFoil |
| toTerm' | Language.LambdaPi.Impl.FreeFoilTH |
| toTerm'Closed | Language.LambdaPi.Impl.FreeFoilTH |
| TS | Language.LambdaPi.Syntax.Lex |
| tsID | Language.LambdaPi.Syntax.Lex |
| tsText | Language.LambdaPi.Syntax.Lex |
| TV | Language.LambdaPi.Syntax.Lex |
| tvarName | Control.Monad.Foil.TH.Util |
| T_VarIdent | Language.LambdaPi.Syntax.Lex |
| U2 | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| unescapeInitTail | Language.LambdaPi.Syntax.Lex |
| UnifiableInPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| UnifiablePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unifyInPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| UnifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unifyPatterns | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Universe | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| UniverseE | Language.LambdaPi.Impl.Foil |
| UniverseF | Language.LambdaPi.Impl.FreeFoil |
| UniverseSig | Language.LambdaPi.Impl.FreeFoilTH |
| unpeelConT | Control.Monad.Foil.TH.Util |
| unsafeAssertFresh | Control.Monad.Foil.Internal |
| unsafeDistinct | Control.Monad.Foil.Internal |
| unsafeEqAST | Control.Monad.Free.Foil |
| unsafeEqExpr | Language.LambdaPi.Impl.Foil |
| unsafeEqPattern | |
| 1 (Function) | Control.Monad.Foil.Internal |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| unsafeEqScopedAST | Control.Monad.Free.Foil |
| unsafeExt | Control.Monad.Foil.Internal |
| unsafeMergeNameBinders | Control.Monad.Foil.Internal |
| unsafeMergeUnifyBinders | Control.Monad.Foil.Internal |
| UnsafeName | Control.Monad.Foil.Internal |
| UnsafeNameBinder | Control.Monad.Foil.Internal |
| UnsafeNameBinders | Control.Monad.Foil.Internal |
| UnsafeScope | Control.Monad.Foil.Internal |
| UnsafeSubstitution | Control.Monad.Foil.Internal |
| UnsinkName | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| unsinkName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unsinkNamePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| utf8Encode | Language.LambdaPi.Syntax.Lex |
| V2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Var | |
| 1 (Data Constructor) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| VarE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| VarIdent | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| VoidS | Control.Monad.Foil.Internal, Control.Monad.Foil |
| whnf | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 4 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 5 (Function) | Language.LambdaPi.Impl.FoilTH |
| 6 (Function) | Language.LambdaPi.Impl.Foil |
| whnf' | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| withFresh | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withRefreshed | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withRefreshedFoilPattern' | Language.LambdaPi.Impl.FoilTH |
| WithRefreshedPattern | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withRefreshedPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| WithRefreshedPattern' | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withRefreshedPattern' | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ZipMatch | Control.Monad.Free.Foil |
| zipMatch | Control.Monad.Free.Foil |