idRightF, idLeftF, et al

Plumbing: common patterns of serial and parallel compositions


idRightF :: F a b -> F (Either a c) (Either b c)
idLeftF :: F a b -> F (Either c a) (Either c b)
toBothF :: F a (Either a a)
throughF :: F a b -> F a (Either b a)
bypassF :: F a a -> F a a
stubF :: F a b -> F c d


Various plumbing combinators.


  idRightF f = f   >+< idF
  idLeftF  f = idF >+< f
  throughF f = idRightF f >==< toBothF
  bypassF f = stripEither >^=< throughF f

See Also

absF, idF, >+<.


Documentation is incomlpete.