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 |