Data.Functor.Composition

1 class

Packagecomonad-5.0.9
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceComposition.hs

classclass Composition (o :: (Type -> Type) -> (Type -> Type) -> Type -> Type) where

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)
compose :: f (g x) -> o f g x

Instances1Composition

Composition ComposeDefined in comonad-5.0.9 · Data.Functor.Composition