Transformation.Shallow

Type classes Functor, Foldable, and Traversable that correspond to the standard type classes of the same name. The rank2classes package provides the equivalent set of classes for natural transformations.

Documentation

class (Transformation t, Functor g) => Functor t g where

Like Functor except it takes a Transformation instead of a polymorphic function

Methods

(<$>) :: t -> g (Domain t) -> g (Codomain t)

Instances

(Functor t g, Functor t h) => Functor t (Product g h)

Defined in Transformation.Shallow

Methods

(<$>) :: t -> Product g h (Domain t) -> Product g h (Codomain t)

class (Transformation t, Foldable g) => Foldable t g where

Like Foldable except it takes a Transformation instead of a polymorphic function

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> g (Domain t) -> m

Instances

(Foldable t g, Foldable t h, Codomain t ~ (Const m :: Type -> Type), Monoid m) => Foldable t (Product g h)

Defined in Transformation.Shallow

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> Product g h (Domain t) -> m

class (Transformation t, Traversable g) => Traversable t g where

Like Traversable except it takes a Transformation instead of a polymorphic function

Methods

traverse :: Codomain t ~ Compose m f => t -> g (Domain t) -> m (g f)

Instances

(Traversable t g, Traversable t h, Codomain t ~ Compose m f, Applicative m) => Traversable t (Product g h)

Defined in Transformation.Shallow

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> Product g h (Domain t) -> m (Product g h f)

fmap :: Functor t g => t -> g (Domain t) -> g (Codomain t)

Alphabetical synonym for <$>