Control.Applicative.Compose

Documentation

newtype (f :+: g) a

Type-level composition

Constructors

Compose

Fields

decompose :: f (g a)

Instances

(Functor f, Functor g) => Functor (:+: f g)

(Applicative f, Applicative g) => Applicative (:+: f g)