kure-2.14.4: Combinators for Strategic Programming (Index - S)

kure-2.14.4: Combinators for Strategic Programming

A
B
C
D
E
F
G
I
J
K
L
M
N
O
P
R
S
T
U
W
<
>
@
All

Index - S

serialise	Language.KURE.Combinators.Arrow, Language.KURE.Combinators, Language.KURE
setFailMsg	Language.KURE.MonadCatch, Language.KURE
sideEffectR	Language.KURE.Combinators.Translate, Language.KURE.Combinators, Language.KURE
SnocPath
1 (Type/Class)	Language.KURE.Path, Language.KURE
2 (Data Constructor)	Language.KURE.Path, Language.KURE
snocPathToPath	Language.KURE.Path, Language.KURE
successT	Language.KURE.Combinators.Translate, Language.KURE.Combinators, Language.KURE
summandIsTypeT	Language.KURE.Walker, Language.KURE
swap	Language.KURE.Combinators.Arrow, Language.KURE.Combinators, Language.KURE