| eitherResIdent | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.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 | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.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 |
| ExtractRenamingK | Control.Monad.Foil.Internal |
| extractRenamingK | Control.Monad.Foil.Internal |
| extractTwoRenamingsK | Control.Monad.Foil.Internal |