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
I
L
M
N
P
R
S
T
U
V
W
Z
:
All

Index - S

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