free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) (Index - S)

free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

A
C
D
E
F
G
H
I
L
M
N
P
R
S
T
U
V
W
Z
:
All

Index - S

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