emptyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
emptyNameMap | Control.Monad.Foil.Internal, Control.Monad.Foil |
emptyScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
Expr | |
1 (Type/Class) | Control.Monad.Foil.Example |
2 (Type/Class) | Control.Monad.Free.Foil.Example |
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 |
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 |