Data.Functor.Composition

comonad-transformers-2.0.2: Comonad transformers

Data.Functor.Composition

Synopsis

- class Composition o where
  - decompose :: o f g x -> f (g x)
  - compose :: f (g x) -> o f g x

# Documentation

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

Instances

Composition Compose |