comonad-5.0.8: Comonads
Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Composition

Synopsis

Documentation

class Composition (o :: (Type -> Type) -> (Type -> Type) -> Type -> Type) where Source #

We often need to distinguish between various forms of Functor-like composition in Haskell in order to please the type system. This lets us work with these representations uniformly.

Methods

decompose :: o f g x -> f (g x) Source #

compose :: f (g x) -> o f g x Source #

Instances

Instances details
Composition (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Data.Functor.Composition

Methods

decompose :: Compose f g x -> f (g x) Source #

compose :: f (g x) -> Compose f g x Source #