Data.Functor.Extend

$definition

class Functor w => Extend w where

Methods

duplicate :: w a -> w (w a)

 duplicate = extend id
 fmap (fmap f) . duplicate = duplicate . fmap f

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

 extend f  = fmap f . duplicate

Instances

Extend []

Extend Maybe

Extend Tree

Extend Seq

Extend NonEmpty

Extend Identity

Semigroup m => Extend ((->) m)

Extend (Either a)

Extend ((,) e)

Extend w => Extend (IdentityT w)

(=>>) :: Extend w => w a -> (w a -> b) -> w b

extend with the arguments swapped. Dual to >>= for a Monad.

(<<=) :: Extend w => (w a -> b) -> w a -> w b

extend in operator form

(=>=) :: Extend w => (w a -> b) -> (w b -> c) -> w a -> c

Left-to-right Cokleisli composition

(=<=) :: Extend w => (w b -> c) -> (w a -> b) -> w a -> c

Right-to-left Cokleisli composition