absurd2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
addNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
addRename | Control.Monad.Foil.Internal, Control.Monad.Foil |
addSubst | 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 |
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 |
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 |
fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
fromNameBindersList | Control.Monad.Foil.Internal |
getNameMap | Control.Monad.Foil.Internal |
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 |
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 |
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 |
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 |
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 |
NameBinderListCons | Control.Monad.Foil.Internal |
NameBinderListEmpty | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
ZipMatch | Control.Monad.Free.Foil |
zipMatch | Control.Monad.Free.Foil |