semigroupoids-5.3.1: Semigroupoids: Category sans id

Data.Functor.Extend

Contents

Description

Synopsis

# Extendable Functors

There are two ways to define an Extend instance:

I. Provide definitions for extended satisfying this law:

extended f . extended g = extended (f . extended g)

II. Alternately, you may choose to provide definitions for duplicated satisfying this law:

duplicated . duplicated = fmap duplicated . duplicated

You may of course, choose to define both duplicated and extended. In that case you must also satisfy these laws:

extended f = fmap f . duplicated
duplicated = extended id

These are the default definitions of extended and duplicated.

class Functor w => Extend w where Source #

Minimal complete definition

Methods

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

duplicated = extended id
fmap (fmap f) . duplicated = duplicated . fmap f

extended :: (w a -> b) -> w a -> w b Source #

extended f  = fmap f . duplicated
Instances
 Extend [] Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: [a] -> [[a]] Source #extended :: ([a] -> b) -> [a] -> [b] Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Maybe a -> Maybe (Maybe a) Source #extended :: (Maybe a -> b) -> Maybe a -> Maybe b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Par1 a -> Par1 (Par1 a) Source #extended :: (Par1 a -> b) -> Par1 a -> Par1 b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Min a -> Min (Min a) Source #extended :: (Min a -> b) -> Min a -> Min b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Max a -> Max (Max a) Source #extended :: (Max a -> b) -> Max a -> Max b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: First a -> First (First a) Source #extended :: (First a -> b) -> First a -> First b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Last a -> Last (Last a) Source #extended :: (Last a -> b) -> Last a -> Last b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsextended :: (Identity a -> b) -> Identity a -> Identity b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Dual a -> Dual (Dual a) Source #extended :: (Dual a -> b) -> Dual a -> Dual b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Sum a -> Sum (Sum a) Source #extended :: (Sum a -> b) -> Sum a -> Sum b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsextended :: (Product a -> b) -> Product a -> Product b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsextended :: (NonEmpty a -> b) -> NonEmpty a -> NonEmpty b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Tree a -> Tree (Tree a) Source #extended :: (Tree a -> b) -> Tree a -> Tree b Source # Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Seq a -> Seq (Seq a) Source #extended :: (Seq a -> b) -> Seq a -> Seq b Source # Extend (Either a) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Either a a0 -> Either a (Either a a0) Source #extended :: (Either a a0 -> b) -> Either a a0 -> Either a b Source # Extend (V1 :: * -> *) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: V1 a -> V1 (V1 a) Source #extended :: (V1 a -> b) -> V1 a -> V1 b Source # Extend (U1 :: * -> *) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: U1 a -> U1 (U1 a) Source #extended :: (U1 a -> b) -> U1 a -> U1 b Source # Extend ((,) e) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: (e, a) -> (e, (e, a)) Source #extended :: ((e, a) -> b) -> (e, a) -> (e, b) Source # Extend (Proxy :: * -> *) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Proxy a -> Proxy (Proxy a) Source #extended :: (Proxy a -> b) -> Proxy a -> Proxy b Source # Extend f => Extend (MaybeApply f) Source # Instance detailsDefined in Data.Functor.Bind.Class Methodsduplicated :: MaybeApply f a -> MaybeApply f (MaybeApply f a) Source #extended :: (MaybeApply f a -> b) -> MaybeApply f a -> MaybeApply f b Source # Extend f => Extend (Rec1 f) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Rec1 f a -> Rec1 f (Rec1 f a) Source #extended :: (Rec1 f a -> b) -> Rec1 f a -> Rec1 f b Source # Extend f => Extend (Alt f) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Alt f a -> Alt f (Alt f a) Source #extended :: (Alt f a -> b) -> Alt f a -> Alt f b Source # (Extend w, Semigroup m) => Extend (TracedT m w) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: TracedT m w a -> TracedT m w (TracedT m w a) Source #extended :: (TracedT m w a -> b) -> TracedT m w a -> TracedT m w b Source # Extend w => Extend (StoreT s w) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: StoreT s w a -> StoreT s w (StoreT s w a) Source #extended :: (StoreT s w a -> b) -> StoreT s w a -> StoreT s w b Source # Extend w => Extend (EnvT e w) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: EnvT e w a -> EnvT e w (EnvT e w a) Source #extended :: (EnvT e w a -> b) -> EnvT e w a -> EnvT e w b Source # Extend w => Extend (IdentityT w) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: IdentityT w a -> IdentityT w (IdentityT w a) Source #extended :: (IdentityT w a -> b) -> IdentityT w a -> IdentityT w b Source # Extend (Tagged a) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Tagged a a0 -> Tagged a (Tagged a a0) Source #extended :: (Tagged a a0 -> b) -> Tagged a a0 -> Tagged a b Source # (Extend f, Semigroup a) => Extend (Static f a) Source # Instance detailsDefined in Data.Semigroupoid.Static Methodsduplicated :: Static f a a0 -> Static f a (Static f a a0) Source #extended :: (Static f a a0 -> b) -> Static f a a0 -> Static f a b Source # Semigroup m => Extend ((->) m :: * -> *) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: (m -> a) -> m -> m -> a Source #extended :: ((m -> a) -> b) -> (m -> a) -> m -> b Source # (Extend f, Extend g) => Extend (f :+: g) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: (f :+: g) a -> (f :+: g) ((f :+: g) a) Source #extended :: ((f :+: g) a -> b) -> (f :+: g) a -> (f :+: g) b Source # (Extend f, Extend g) => Extend (Sum f g) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: Sum f g a -> Sum f g (Sum f g a) Source #extended :: (Sum f g a -> b) -> Sum f g a -> Sum f g b Source # Extend f => Extend (M1 i t f) Source # Instance detailsDefined in Data.Functor.Extend Methodsduplicated :: M1 i t f a -> M1 i t f (M1 i t f a) Source #extended :: (M1 i t f a -> b) -> M1 i t f a -> M1 i t f b Source #