summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
060fd97)
This screws up syntax highlighting, but at least gives proper output.
f1 >> f2 = f1 >>= \_ -> f2
(>>=) :: Stateful s1 r1 -> (r1 -> Stateful s2 r2) -> Stateful (s1, s2) r2
f1 >> f2 = f1 >>= \_ -> f2
(>>=) :: Stateful s1 r1 -> (r1 -> Stateful s2 r2) -> Stateful (s1, s2) r2
-f1 >>= f2 = \\(s1, s2) -> let (s1', r1) = f1 s1
+f1 >>= f2 = \(s1, s2) -> let (s1', r1) = f1 s1
(s2', r2) = f2 r1 s2
in ((s1', s2'), r2)
(s2', r2) = f2 r1 s2
in ((s1', s2'), r2)