:^: | 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 |