Rebase.Data.Functor.Extend · rebase-1.21.2

classclass Functor w => Extend (w :: Type -> Type) where

Methods

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

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

extended :: (w a -> b) -> w a -> w b
```
extended f  = fmap f . duplicated
```

Instances42Extend, …

Extend FirstDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend LastDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend MaxDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend MinDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend SeqDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend TreeDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend NonEmptyDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend IdentityDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend DualDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend ProductDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend SumDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend Par1Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend MaybeDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend VectorDefined in vector-instances-3.4.2 · Data.Vector.Instances · orphan
Extend []Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Functor f => Extend (Cofree f)Defined in free-5.2 · Control.Comonad.Cofree
Extend ProxyDefined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend U1Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend V1Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend (Either a)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend (Tuple2 e)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend f => Extend (MaybeApply f)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
Extend w => Extend (Coyoneda w)Defined in kan-extensions-5.2.7 · Data.Functor.Coyoneda
Extend w => Extend (Yoneda w)Defined in kan-extensions-5.2.7 · Data.Functor.Yoneda
(Representable f, Semigroup (Rep f)) => Extend (Co f)Defined in adjunctions-4.4.3 · Data.Functor.Rep
Extend (Density f)Defined in kan-extensions-5.2.7 · Control.Comonad.Density
Extend (Tagged a)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend f => Extend (Alt f)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend f => Extend (Rec1 f)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend w => Extend (EnvT e w)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend w => Extend (StoreT s w)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend w => Extend (IdentityT w)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
(Representable f, Representable m, Semigroup (Rep f), Semigroup (Rep m)) => Extend (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader
(Extend f, Semigroup a) => Extend (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
(Extend w, Representable g) => Extend (StoreT g w)Defined in adjunctions-4.4.3 · Control.Comonad.Representable.Store
(Extend w, Semigroup m) => Extend (TracedT m w)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Semigroup m => Extend ((->) m)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend (K1 i c)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
(Adjunction f g, Extend w) => Extend (AdjointT f g w)Defined in adjunctions-4.4.3 · Control.Comonad.Trans.Adjoint
(Extend f, Extend g) => Extend (Sum f g)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
(Extend f, Extend g) => Extend (f :+: g)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
Extend f => Extend (M1 i t f)Defined in semigroupoids-6.0.1 · Data.Functor.Extend

valuegduplicated :: (Extend (Rep1 w), Generic1 w) => w a -> w (w a)

#

Generic duplicated. Caveats:

Will not compile if w is a product type.
Will not compile if w contains fields where the type variable appears underneath the composition of type constructors (e.g., f (g a)).

valuegextended :: (Extend (Rep1 w), Generic1 w) => (w a -> b) -> w a -> w b

#

Generic extended. Caveats are the same as for gduplicated.