comonad-4.2.3: Comonads

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Functor.Composition

Synopsis

Documentation

class Composition o 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