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

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Z
:
All

Index - C

checkExtScope	Control.Monad.Foil.Blocks
checkScopeUnion	Control.Monad.Foil.Blocks
checkStoredLayout	Control.Monad.Free.Foil.Artifact
churchN
1 (Function)	Control.Monad.Foil.Example
2 (Function)	Control.Monad.Free.Foil.Example
closeOverTelescope	Control.Monad.Foil.Telescope
compExtendScope	Control.Monad.Foil.Internal
compNamesOf	Control.Monad.Foil.Internal
composeExtWithin	Control.Monad.Foil.Blocks
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
concatNameBinderLists	Control.Monad.Foil.Internal, Control.Monad.Foil
ConstantAmongLocals	Control.Monad.Free.Foil.Artifact
constantRelocation	Control.Monad.Free.Foil.Artifact
convertFromAST	Control.Monad.Free.Foil
convertFromASTWith	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