| :^: | 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.Foil.Internal, Control.Monad.Foil |
| alphaEquiv | Control.Monad.Free.Foil |
| alphaEquivEnv | Control.Monad.Free.Foil |
| alphaEquivIn | Control.Monad.Foil.Internal, Control.Monad.Foil |
| alphaEquivRefreshed | Control.Monad.Free.Foil |
| alphaEquivScoped | Control.Monad.Free.Foil |
| alphaEquivScopedEnv | 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 |
| AnnAST | Control.Monad.Free.Foil.Annotated |
| AnnNode | Control.Monad.Free.Foil.Annotated |
| annotationOf | Control.Monad.Free.Foil.Annotated |
| AnnScopedAST | Control.Monad.Free.Foil.Annotated |
| AnnSig | |
| 1 (Type/Class) | Control.Monad.Free.Foil.Annotated |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Annotated |
| 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 |
| ArtifactError | Control.Monad.Free.Foil.Artifact |
| 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 |
| beginBlock | Control.Monad.Foil.Blocks |
| bindPairs | Control.Monad.Free.Foil |
| Block | Control.Monad.Foil.Blocks |
| blockExt | Control.Monad.Foil.Blocks |
| blockRange | Control.Monad.Foil.Blocks |
| checkExtScope | Control.Monad.Foil.Blocks |
| checkScopeUnion | Control.Monad.Foil.Blocks |
| checkStoredLayout | Control.Monad.Free.Foil.Artifact |
| churchN | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| closeOverTelescope | Control.Monad.Foil.Telescope |
| compExtendScope | Control.Monad.Foil.Internal |
| compNamesOf | Control.Monad.Foil.Internal |
| composeExtWithin | Control.Monad.Foil.Blocks |
| 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 |
| concatNameBinderLists | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ConstantAmongLocals | Control.Monad.Free.Foil.Artifact |
| constantRelocation | Control.Monad.Free.Foil.Artifact |
| convertFromAST | Control.Monad.Free.Foil |
| convertFromASTWith | 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 |
| decodeStored | Control.Monad.Free.Foil.Artifact |
| deriveBinaryPattern | Control.Monad.Free.Foil.Binary.TH |
| deriveCoSinkable | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveUnifiablePattern | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveZipMatchK | Data.ZipMatchK.TH |
| deriveZipMatchK1 | Data.ZipMatchK.TH |
| deriveZipMatchK2 | Data.ZipMatchK.TH |
| deriveZipMatchKWith | Data.ZipMatchK.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 |
| emptyNameSet | Control.Monad.Foil.Internal, Control.Monad.Foil |
| emptyRegistry | Control.Monad.Foil.Registry |
| 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 |
| ExtWithin | Control.Monad.Foil.Blocks |
| extWithinRanges | Control.Monad.Foil.Blocks |
| extWithinRefl | Control.Monad.Foil.Blocks |
| extWithinStep | Control.Monad.Foil.Blocks |
| First | Control.Monad.Foil.Internal.ValidNameBinders |
| firstRegionOf | Control.Monad.Foil.Registry |
| 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 |
| freeVarsOfAnnotated | Control.Monad.Free.Foil.Annotated |
| freeVarsOfScopedAST | Control.Monad.Free.Foil |
| fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fromNameBindersList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fullNameRange | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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, Control.Monad.Foil |
| 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 |
| localsOf | Control.Monad.Free.Foil.Artifact |
| lookupName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lookupSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| M0 | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| MalformedStoredTerm | Control.Monad.Free.Foil.Artifact |
| Mappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| mapWithName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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, Control.Monad.Foil |
| NameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameBindersList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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, Control.Monad.Foil |
| nameMapToSubstitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameOf | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameRange | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameRangeContains | Control.Monad.Free.Foil.Artifact |
| nameRangeHi | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameRangeLo | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameRangeSize | Control.Monad.Free.Foil.Artifact |
| nameRangesOverlap | Control.Monad.Free.Foil.Artifact |
| NameSet | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetFromList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetInsert | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetMember | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetNull | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetOfPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetSingleton | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetSize | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetSubsetOfScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameSetToList | 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 |
| nextRegion | Control.Monad.Foil.Registry |
| 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 |
| nullSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| OverlappingRegions | Control.Monad.Free.Foil.Artifact |
| pairA | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| PairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| pairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| Param | |
| 1 (Type/Class) | Control.Monad.Foil.Telescope |
| 2 (Data Constructor) | Control.Monad.Foil.Telescope |
| paramLabel | Control.Monad.Foil.Telescope |
| paramName | Control.Monad.Foil.Telescope |
| paramType | Control.Monad.Foil.Telescope |
| PatternTransport | Control.Monad.Foil.Internal, Control.Monad.Foil |
| payloadsAgree | Control.Monad.Foil.Telescope |
| PeelConT | Control.Monad.Foil.TH.Util |
| peelConT | Control.Monad.Foil.TH.Util |
| popNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| prettyArtifactError | Control.Monad.Free.Foil.Artifact |
| 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 |
| rawFreshNameIn | Control.Monad.Foil.Internal |
| rawIdentName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawMember | Control.Monad.Foil.Internal |
| RawName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| rawNameBinderList | 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 |
| RegionLayout | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| regionsAbove | Control.Monad.Foil.Registry |
| RegionsPerUnit | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| RegionWidth | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| registerUnit | Control.Monad.Foil.Registry |
| Registry | Control.Monad.Foil.Registry |
| registrySize | Control.Monad.Foil.Registry |
| RelMonad | Control.Monad.Foil.Relative |
| relocateConstants | Control.Monad.Free.Foil.Artifact |
| removeName | Control.Monad.Foil.TH.Util |
| RenameBothBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| renamedId | Control.Monad.Free.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 |
| resumeBlock | Control.Monad.Foil.Blocks |
| 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 |
| scopeToNameSet | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopeUnion | Control.Monad.Foil.Blocks |
| 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 |
| sink1 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sink2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| sinkabilityProof2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProofK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SinkableK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkContainer | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkK | Control.Monad.Foil.Internal |
| snocNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| spanOfNames | Control.Monad.Free.Foil.Artifact |
| SpellingForLocal | Control.Monad.Free.Foil.Artifact |
| storedBytes | Control.Monad.Free.Foil.Artifact |
| storedConstants | Control.Monad.Free.Foil.Artifact |
| StoredLayout | |
| 1 (Type/Class) | Control.Monad.Free.Foil.Artifact |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Artifact |
| storedLocals | Control.Monad.Free.Foil.Artifact |
| StoredTerm | |
| 1 (Type/Class) | Control.Monad.Free.Foil.Artifact |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Artifact |
| storeTerm | Control.Monad.Free.Foil.Artifact |
| StripeIndex | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| StripeLayout | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| stripeRange | Control.Monad.Foil.Registry |
| stripesAbove | Control.Monad.Foil.Registry |
| stripesBelowZero | Control.Monad.Foil.Registry |
| StripeSize | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| 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 |
| supportOf | Control.Monad.Free.Foil |
| supportOfScopedAST | Control.Monad.Free.Foil |
| Telescope | Control.Monad.Foil.Telescope |
| telescopeBinders | Control.Monad.Foil.Telescope |
| TelescopeCons | Control.Monad.Foil.Telescope |
| TelescopeEmpty | Control.Monad.Foil.Telescope |
| telescopeParams | Control.Monad.Foil.Telescope |
| telescopePayloads | Control.Monad.Foil.Telescope |
| termSpellings | Control.Monad.Free.Foil.Artifact |
| transportName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| transportPayload | Control.Monad.Foil.Internal, Control.Monad.Foil |
| TransportRenamed | Control.Monad.Foil.Internal |
| transportUnderBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| TransportVerbatim | Control.Monad.Foil.Internal |
| tryConvertToAST | Control.Monad.Free.Foil |
| tryConvertToASTWith | Control.Monad.Free.Foil |
| tryWithFreshIn | 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 |
| unifyPatternsIn | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unionNameMaps | Control.Monad.Foil.Blocks |
| UnknownConstant | Control.Monad.Free.Foil.Artifact |
| unpeelConT | Control.Monad.Foil.TH.Util |
| unresolvedIdent | Control.Monad.Free.Foil |
| unresolvedInScope | Control.Monad.Free.Foil |
| UnresolvedName | |
| 1 (Type/Class) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Control.Monad.Free.Foil |
| unresolvedNames | Control.Monad.Free.Foil |
| unsafeAssertFresh | Control.Monad.Foil.Internal |
| unsafeAssertRestricted | Control.Monad.Foil.Internal |
| unsafeAssertThinned | Control.Monad.Foil.Internal |
| unsafeConvertToAST | Control.Monad.Free.Foil |
| unsafeConvertToScopedAST | Control.Monad.Free.Foil |
| 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 |
| UnsafeNameSet | 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 |
| unsinkNameSet | 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 |
| verbatimTransport | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 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 |
| withDisjointUnion | Control.Monad.Foil.Blocks |
| withExtendScopeRange | Control.Monad.Foil.Blocks |
| withFresh | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshIn | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshInBlock | Control.Monad.Foil.Blocks |
| withFreshNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshNameBinderListIn | 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 |
| withRefreshedIn | 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 |
| withRelevantScope | Control.Monad.Free.Foil |
| withRestrictedScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withThinnedNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| WrongDeclarationCount | Control.Monad.Free.Foil.Artifact |
| 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 |