¤ idRightF, idLeftF, et al

Plumbing: common patterns of serial and parallel compositions

Types

idRightF :: F a b -> F (a  c) (b  c)
idLeftF :: F c d -> F (b  c) (b  d)
toBothF :: F b (b  b)
throughF :: F c b -> F c (b  c)
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.