Control.Functor.Composition.Extendable

Documentation

class Covariant t => Extendable t where

When providing a new instance, you should ensure it satisfies the three laws:
* Duplication interchange: comap (comap f) . duplicate ≡ duplicate . comap f
* Extension interchange: extend f ≡ comap f . duplicate

Minimal complete definition

(=>>)

Methods

(=>>) :: t a -> (t a -> b) -> t b infixl 1

Infix and flipped version of extend, the dual of >>=

(<<=) :: (t a -> b) -> t a -> t b infixr 1

Flipped version of >>=, the dual of =<<

extend :: (t a -> b) -> t a -> t b

Prefix and flipped version of =>>, the dual of bind

duplicate :: t a -> (t :.: t) a

Clone existing structure, the dual of join