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

Index - S

SControl.Monad.Foil.Internal, Control.Monad.Foil
SameNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
ScopeControl.Monad.Foil.Internal, Control.Monad.Foil
ScopedAST 
1 (Type/Class)Control.Monad.Free.Foil
2 (Data Constructor)Control.Monad.Free.Foil
sinkControl.Monad.Foil.Internal, Control.Monad.Foil
sinkabilityProofControl.Monad.Foil.Internal, Control.Monad.Foil
SinkableControl.Monad.Foil.Internal, Control.Monad.Foil
substitute 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil
substituteRefreshedControl.Monad.Free.Foil
SubstitutionControl.Monad.Foil.Internal, Control.Monad.Foil