| :^: | Control.Monad.Free.Foil.Generic |
| absurd2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addRename | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubstList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubstPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| alphaEquiv | Control.Monad.Free.Foil |
| alphaEquivRefreshed | Control.Monad.Free.Foil |
| alphaEquivScoped | Control.Monad.Free.Foil |
| andThenUnifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| andThenUnifyPatterns | 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 |
| ApplyMappings | Control.Monad.Free.Foil.Generic |
| applyMappings | Control.Monad.Free.Foil.Generic |
| assertDistinct | Control.Monad.Foil.Internal, Control.Monad.Foil |
| assertExt | 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 |
| compExtendScope | Control.Monad.Foil.Internal |
| compNamesOf | Control.Monad.Foil.Internal |
| composeNameBinderRenamings | Control.Monad.Foil.Internal, Control.Monad.Foil |
| compUnsinkName | Control.Monad.Foil.Internal |
| compWithNameBinderList | Control.Monad.Foil.Internal |
| compWithRefreshedPattern | Control.Monad.Foil.Internal |
| compWithRefreshedPattern' | Control.Monad.Foil.Internal |
| convertFromAST | Control.Monad.Free.Foil |
| convertFromScopedAST | Control.Monad.Free.Foil |
| convertToAST | Control.Monad.Free.Foil |
| convertToScopedAST | Control.Monad.Free.Foil |
| coSinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| CoSinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| 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 |
| FreeFoilConfig | |
| 1 (Type/Class) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 2 (Data Constructor) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConvertFromName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConvertToName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilScopeNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| FreeFoilTermConfig | |
| 1 (Type/Class) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 2 (Data Constructor) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilTermConfigs | Control.Monad.Free.Foil.TH.MkFreeFoil |
| fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fromNameBindersList | Control.Monad.Foil.Internal |
| genericZipMatch2 | Control.Monad.Free.Foil.Generic |
| genericZipMatchK | Control.Monad.Free.Foil.Generic |
| genericZipMatchWithK | Control.Monad.Free.Foil.Generic |
| getNameMap | Control.Monad.Foil.Internal |
| GZipMatch | Control.Monad.Free.Foil.Generic |
| gzipMatchWith | Control.Monad.Free.Foil.Generic |
| Id | Control.Monad.Foil.Internal |
| identitySubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| idExtendScope | Control.Monad.Foil.Internal |
| idNamesOf | Control.Monad.Foil.Internal |
| idUnsinkName | Control.Monad.Foil.Internal |
| idWithNameBinderList | Control.Monad.Foil.Internal |
| idWithRefreshedPattern | Control.Monad.Foil.Internal |
| idWithRefreshedPattern' | Control.Monad.Foil.Internal |
| InjectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| injectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| intToRawIdentName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 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 |
| liftRM | Control.Monad.Foil.Relative |
| lookupName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lookupSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| M0 | Control.Monad.Free.Foil.Generic |
| Mappings | Control.Monad.Free.Foil.Generic |
| 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 |
| 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 |
| mkFreeFoil | Control.Monad.Free.Foil.TH.MkFreeFoil |
| mkFreeFoilConversions | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 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 |
| 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 |
| Name | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderListCons | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderListEmpty | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameBinderListOf | 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 |
| nameMapToSubstitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| 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 |
| PairMappings | Control.Monad.Free.Foil.Generic |
| pairMappings | Control.Monad.Free.Foil.Generic |
| 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 |
| rawBindingName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawFreshName | Control.Monad.Foil.Internal |
| rawIdentName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawMember | Control.Monad.Foil.Internal |
| RawName | Control.Monad.Foil.Internal |
| rawQuantifiedNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| RawScope | Control.Monad.Foil.Internal |
| rawScopeName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawScopeToTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawSubScopeNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawSubTermNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawTermToScopeName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawVarConName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawVarIdentToTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rbind | Control.Monad.Foil.Relative |
| refreshAST | Control.Monad.Free.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 |
| ReqsZipMatch | Control.Monad.Free.Foil.Generic |
| ReqsZipMatchFieldsWith | Control.Monad.Free.Foil.Generic |
| ReqsZipMatchWith | Control.Monad.Free.Foil.Generic |
| 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 |
| signatureNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 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 |
| substitutePattern | Control.Monad.Free.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| tvarName | Control.Monad.Foil.TH.Util |
| U2 | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| 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 |
| unpeelConT | Control.Monad.Foil.TH.Util |
| unsafeAssertFresh | Control.Monad.Foil.Internal |
| unsafeDistinct | Control.Monad.Foil.Internal |
| unsafeEqAST | Control.Monad.Free.Foil |
| unsafeEqPattern | Control.Monad.Foil.Internal |
| 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 |
| V2 | 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 |
| voidSubst | 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 |
| withFreshPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| WithNameBinderList | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withRefreshed | 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 |
| WithRefreshedPattern' | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withRefreshedPattern' | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ZipLoT | Control.Monad.Free.Foil.Generic |
| ZipMatch | Control.Monad.Free.Foil |
| zipMatch | Control.Monad.Free.Foil |
| ZipMatchFields | Control.Monad.Free.Foil.Generic |
| zipMatchFieldsWith | Control.Monad.Free.Foil.Generic |
| ZipMatchK | Control.Monad.Free.Foil.Generic |
| zipMatchK | Control.Monad.Free.Foil.Generic |
| zipMatchViaChooseLeft | Control.Monad.Free.Foil.Generic |
| zipMatchViaEq | Control.Monad.Free.Foil.Generic |
| zipMatchWithK | Control.Monad.Free.Foil.Generic |