Control.Joint.Composition

Documentation

class Composition t where

Associated Types

type Primary t a :: *

Methods

unwrap :: t a -> Primary t a

Instances

Composition Maybe

Defined in Control.Joint.Base.Maybe

Associated Types

type Primary Maybe a :: Type

Methods

unwrap :: Maybe a -> Primary Maybe a

Composition (Either e)

Defined in Control.Joint.Base.Either

Associated Types

type Primary (Either e) a :: Type

Methods

unwrap :: Either e a -> Primary (Either e) a

Composition (Reader e)

Defined in Control.Joint.Base.Reader

Associated Types

type Primary (Reader e) a :: Type

Methods

unwrap :: Reader e a -> Primary (Reader e) a

Composition (TU t u)

Defined in Control.Joint.Schemes.TU

Associated Types

type Primary (TU t u) a :: Type

Methods

unwrap :: TU t u a -> Primary (TU t u) a

Composition (UT t u)

Defined in Control.Joint.Schemes.UT

Associated Types

type Primary (UT t u) a :: Type

Methods

unwrap :: UT t u a -> Primary (UT t u) a

Composition (UTU t u)

Defined in Control.Joint.Schemes.UTU

Associated Types

type Primary (UTU t u) a :: Type

Methods

unwrap :: UTU t u a -> Primary (UTU t u) a