idRightF, idLeftF, et al

Plumbing: common patterns of serial and parallel compositions

Types

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

Description

Various plumbing combinators.

Equalities

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

See Also

absF, idF, >+<.

Bugs

Documentation is incomlpete.