Control.Functor.Composition.Bindable

Documentation

class Covariant t => Bindable t where

When providing a new instance, you should ensure it satisfies the one law:
* Interchange: t >>= f = join (f <$> t)

Minimal complete definition

(>>=)

Methods

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

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

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

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

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

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

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

Merge effects/contexts, the dual of duplicate