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

free-foil-0.1.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 - C

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