| addNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addRename | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| AppE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| AppF | Control.Monad.Free.Foil.Example |
| assertDistinct | Control.Monad.Foil.Internal, Control.Monad.Foil |
| AST | Control.Monad.Free.Foil |
| churchN | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| coSinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| CoSinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| 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 |
| ExtEndo | Control.Monad.Foil.Internal |
| extendRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendRenamingNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtEvidence | Control.Monad.Foil.Internal, Control.Monad.Foil |
| getNameMap | Control.Monad.Foil.Internal |
| Id | Control.Monad.Foil.Internal |
| identitySubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| InjectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| injectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lam | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| LamE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| LamF | Control.Monad.Free.Foil.Example |
| lookupName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lookupSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| member | Control.Monad.Foil.Internal, Control.Monad.Foil |
| mkFoilData | Control.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH |
| mkFromFoil | Control.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH |
| mkInstancesFoil | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| mkToFoil | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| Name | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| 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 |
| PeelConT | Control.Monad.Foil.TH.Util |
| peelConT | Control.Monad.Foil.TH.Util |
| ppExpr | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| ppName | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 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 |
| RelMonad | Control.Monad.Foil.Relative |
| rreturn | Control.Monad.Foil.Relative |
| S | 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 |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| substitute | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| tvarName | Control.Monad.Foil.TH.Util |
| unpeelConT | Control.Monad.Foil.TH.Util |
| unsafeAssertFresh | Control.Monad.Foil.Internal |
| unsafeDistinct | Control.Monad.Foil.Internal |
| unsafeExt | Control.Monad.Foil.Internal |
| UnsafeName | Control.Monad.Foil.Internal |
| UnsafeNameBinder | Control.Monad.Foil.Internal |
| UnsafeScope | Control.Monad.Foil.Internal |
| UnsafeSubstitution | Control.Monad.Foil.Internal |
| unsinkName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Var | Control.Monad.Free.Foil |
| VarE | Control.Monad.Foil.Example |
| VoidS | Control.Monad.Foil.Internal, Control.Monad.Foil |
| whnf | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 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 |
| withRefreshed | Control.Monad.Foil.Internal, Control.Monad.Foil |