| :^: | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| 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 |
| AndShowConNumber | Control.Monad.Foil.Internal.ValidNameBinders |
| AndShowDataType | Control.Monad.Foil.Internal.ValidNameBinders |
| AndShowFieldNumber | Control.Monad.Foil.Internal.ValidNameBinders |
| 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 | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| applyMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| assertDistinct | Control.Monad.Foil.Internal, Control.Monad.Foil |
| assertExt | Control.Monad.Foil.Internal, Control.Monad.Foil |
| AST | Control.Monad.Free.Foil |
| AtomSucc | Control.Monad.Foil.Internal.ValidNameBinders |
| AtomUnSucc | Control.Monad.Foil.Internal.ValidNameBinders |
| 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 |
| CountCons | Control.Monad.Foil.Internal.ValidNameBinders |
| CountFields | Control.Monad.Foil.Internal.ValidNameBinders |
| deriveCoSinkable | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveUnifiablePattern | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.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 |
| ExtractRenamingK | Control.Monad.Foil.Internal |
| extractRenamingK | Control.Monad.Foil.Internal |
| extractTwoRenamingsK | Control.Monad.Foil.Internal |
| First | Control.Monad.Foil.Internal.ValidNameBinders |
| 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 |
| freeVarsOf | Control.Monad.Free.Foil |
| freeVarsOfScopedAST | Control.Monad.Free.Foil |
| fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fromNameBindersList | Control.Monad.Foil.Internal |
| genericZipMatchK | Data.ZipMatchK.Generic |
| genericZipMatchWithK | Data.ZipMatchK.Generic |
| getNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| getNameBindersRaw | Control.Monad.Foil.Internal |
| getNameMap | Control.Monad.Foil.Internal |
| ggetNameBinders | Control.Monad.Foil.Internal |
| ggetNameBindersRaw | Control.Monad.Foil.Internal |
| GHasNameBinders | Control.Monad.Foil.Internal |
| GInnerScopeOfAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| GInnerScopeOfRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| greallyUnsafeSetNameBindersRaw | Control.Monad.Foil.Internal |
| gsinkabilityProof1 | Control.Monad.Foil.Internal |
| gsinkabilityProof2 | Control.Monad.Foil.Internal |
| gsinkabilityProofK | Control.Monad.Foil.Internal |
| gsinkabilityProofK' | Control.Monad.Foil.Internal |
| GSinkableK | Control.Monad.Foil.Internal |
| gsinkK | Control.Monad.Foil.Internal |
| gunsafeSetNameBinders | Control.Monad.Foil.Internal |
| gunsafeWithPatternViaHasNameBinders | Control.Monad.Foil.Internal |
| GValidNameBinders | Control.Monad.Foil.Internal.ValidNameBinders |
| GZipMatch | Data.ZipMatchK.Generic |
| gzipMatchWith | Data.ZipMatchK.Generic |
| HasNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| Mappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| 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 |
| nameMapToScope | 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 |
| pairA | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| PairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| pairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| 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 |
| PutBackLoT | Control.Monad.Foil.Internal.ValidNameBinders |
| putBackRenamingK | Control.Monad.Foil.Internal |
| putBackTwoRenamingsK | Control.Monad.Foil.Internal |
| 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 |
| RCons | Control.Monad.Foil.Internal |
| reallyUnsafeSetNameBindersRaw | Control.Monad.Foil.Internal |
| 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 |
| RenamingsK | Control.Monad.Foil.Internal |
| ReqsZipMatch | Data.ZipMatchK.Generic |
| ReqsZipMatchFieldsWith | Data.ZipMatchK.Generic |
| ReqsZipMatchWith | Data.ZipMatchK.Generic |
| RNil | Control.Monad.Foil.Internal |
| rreturn | Control.Monad.Foil.Relative |
| RSkip | Control.Monad.Foil.Internal |
| S | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SameInnerScope | Control.Monad.Foil.Internal.ValidNameBinders |
| 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 |
| ShowKindedScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowLocalizeError | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowSaturatedPatternType | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScopeN | Control.Monad.Foil.Internal.ValidNameBinders |
| signatureNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| sinkabilityProofK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SinkableK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkK | Control.Monad.Foil.Internal |
| SubstInAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| SubstInRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| 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 |
| unsafeSetNameBinders | Control.Monad.Foil.Internal |
| UnsafeSubstitution | Control.Monad.Foil.Internal |
| unsinkAST | Control.Monad.Free.Foil |
| 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 | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| zipMatch1 | Data.ZipMatchK |
| zipMatch2 | Data.ZipMatchK |
| ZipMatchFields | Data.ZipMatchK.Generic |
| zipMatchFieldsWith | Data.ZipMatchK.Generic |
| ZipMatchK | Data.ZipMatchK.Generic, Data.ZipMatchK |
| zipMatchK | Data.ZipMatchK |
| zipMatchViaChooseLeft | Data.ZipMatchK |
| zipMatchViaEq | Data.ZipMatchK |
| zipMatchWith1 | Data.ZipMatchK |
| zipMatchWith2 | Data.ZipMatchK |
| zipMatchWithK | Data.ZipMatchK.Generic, Data.ZipMatchK |