Data.Functor.Composition

Synopsis

class Composition

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

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

Instances1Composition

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