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

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 - W

whnf
1 (Function)	Control.Monad.Foil.Example
2 (Function)	Control.Monad.Free.Foil.Example
whnf'
1 (Function)	Control.Monad.Foil.Example
2 (Function)	Control.Monad.Free.Foil.Example
withDisjointUnion	Control.Monad.Foil.Blocks
withExtendScopeRange	Control.Monad.Foil.Blocks
withFresh	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshBinder	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshIn	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshInBlock	Control.Monad.Foil.Blocks
withFreshNameBinderList	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshNameBinderListIn	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshPattern	Control.Monad.Foil.Internal, Control.Monad.Foil
WithNameBinderList
1 (Type/Class)	Control.Monad.Foil.Internal
2 (Data Constructor)	Control.Monad.Foil.Internal
withPattern	Control.Monad.Foil.Internal, Control.Monad.Foil
withRefreshed	Control.Monad.Foil.Internal, Control.Monad.Foil
withRefreshedIn	Control.Monad.Foil.Internal, Control.Monad.Foil
WithRefreshedPattern
1 (Type/Class)	Control.Monad.Foil.Internal
2 (Data Constructor)	Control.Monad.Foil.Internal
withRefreshedPattern	Control.Monad.Foil.Internal, Control.Monad.Foil
WithRefreshedPattern'
1 (Type/Class)	Control.Monad.Foil.Internal
2 (Data Constructor)	Control.Monad.Foil.Internal
withRefreshedPattern'	Control.Monad.Foil.Internal, Control.Monad.Foil
withRelevantScope	Control.Monad.Free.Foil
withRestrictedScope	Control.Monad.Foil.Internal, Control.Monad.Foil
withThinnedNameBinderList	Control.Monad.Foil.Internal, Control.Monad.Foil
WrongDeclarationCount	Control.Monad.Free.Foil.Artifact