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

free-foil-0.3.2: 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 - 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
withFresh	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshBinder	Control.Monad.Foil.Internal, Control.Monad.Foil
withFreshNameBinderList	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
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