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

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 - 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
compWithNameBinderList	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
CountCons	Control.Monad.Foil.Internal.ValidNameBinders
CountFields	Control.Monad.Foil.Internal.ValidNameBinders