¤ 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.