category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Composition.Class

Description

 

Documentation

class Composition c whereSource

Methods

decompose :: c f g x -> f (g x)Source

compose :: f (g x) -> c f g xSource

Instances