Data.Functor.Extend

$definition

class Functor w => Extend w where

Methods

duplicated :: w a -> w (w a)

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

extended :: (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 f => Extend (MaybeApply f)

(Extend f, Semigroup a) => Extend (Static f a)