Control.Variance

Documentation

data Variant

Constructors

Co

Contra

Instances

(Covariant t, Contravariant u) => Contravariant (T Co Contra t u)

Defined in Data.Functor.Composition.T

Methods

(>$<) :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a

contramap :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a

(>$) :: b -> T Co Contra t u b -> T Co Contra t u a

($<) :: T Co Contra t u b -> b -> T Co Contra t u a

full :: T Co Contra t u () -> T Co Contra t u a

(Contravariant t, Covariant u) => Contravariant (T Contra Co t u)

Defined in Data.Functor.Composition.T

Methods

(>$<) :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a

contramap :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a

(>$) :: b -> T Contra Co t u b -> T Contra Co t u a

($<) :: T Contra Co t u b -> b -> T Contra Co t u a

full :: T Contra Co t u () -> T Contra Co t u a

(Covariant t, Covariant u) => Covariant (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

(<$>) :: (a -> b) -> T Co Co t u a -> T Co Co t u b

comap :: (a -> b) -> T Co Co t u a -> T Co Co t u b

(<$) :: a -> T Co Co t u b -> T Co Co t u a

($>) :: T Co Co t u a -> b -> T Co Co t u b

void :: T Co Co t u a -> T Co Co t u ()

(Contravariant t, Contravariant u) => Covariant (T Contra Contra t u)

Defined in Data.Functor.Composition.T

Methods

(<$>) :: (a -> b) -> T Contra Contra t u a -> T Contra Contra t u b

comap :: (a -> b) -> T Contra Contra t u a -> T Contra Contra t u b

(<$) :: a -> T Contra Contra t u b -> T Contra Contra t u a

($>) :: T Contra Contra t u a -> b -> T Contra Contra t u b

void :: T Contra Contra t u a -> T Contra Contra t u ()

(Alternative t, Covariant u) => Alternative (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

(<+>) :: T Co Co t u a -> T Co Co t u a -> T Co Co t u a

alter :: T Co Co t u a -> T Co Co t u a -> T Co Co t u a

(Applicative t, Applicative u) => Applicative (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

(<*>) :: T Co Co t u (a -> b) -> T Co Co t u a -> T Co Co t u b

apply :: T Co Co t u (a -> b) -> T Co Co t u a -> T Co Co t u b

(*>) :: T Co Co t u a -> T Co Co t u b -> T Co Co t u b

(<*) :: T Co Co t u a -> T Co Co t u b -> T Co Co t u a

forever :: T Co Co t u a -> T Co Co t u b

(Exclusive t, Covariant u) => Exclusive (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

exclusive :: T Co Co t u a

(Extractable t, Extractable u) => Extractable (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

extract :: T Co Co t u a -> a

(Pointable t, Pointable u) => Pointable (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

point :: a -> T Co Co t u a

(Adjunctive t u, Adjunctive v w) => Adjoint (T Co Co t v) (T Co Co u w)

Defined in Data.Functor.Composition.T

Methods

phi :: (T Co Co t v a -> b) -> a -> T Co Co u w b

psi :: (a -> T Co Co u w b) -> T Co Co t v a -> b

eta :: a -> (T Co Co u w :.: T Co Co t v) a

epsilon :: (T Co Co t v :.: T Co Co u w) a -> a

(Covariant t, Covariant u, Contravariant v) => Contravariant (TT Co Co Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

contramap :: (a -> b) -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

(>$) :: b -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

($<) :: TT Co Co Contra t u v b -> b -> TT Co Co Contra t u v a

full :: TT Co Co Contra t u v () -> TT Co Co Contra t u v a

(Covariant t, Contravariant u, Covariant v) => Contravariant (TT Co Contra Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

contramap :: (a -> b) -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

(>$) :: b -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

($<) :: TT Co Contra Co t u v b -> b -> TT Co Contra Co t u v a

full :: TT Co Contra Co t u v () -> TT Co Contra Co t u v a

(Contravariant t, Covariant u, Covariant v) => Contravariant (TT Contra Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

contramap :: (a -> b) -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

(>$) :: b -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

($<) :: TT Contra Co Co t u v b -> b -> TT Contra Co Co t u v a

full :: TT Contra Co Co t u v () -> TT Contra Co Co t u v a

(Contravariant t, Contravariant u, Contravariant v) => Contravariant (TT Contra Contra Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

contramap :: (a -> b) -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

(>$) :: b -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

($<) :: TT Contra Contra Contra t u v b -> b -> TT Contra Contra Contra t u v a

full :: TT Contra Contra Contra t u v () -> TT Contra Contra Contra t u v a

(Covariant t, Covariant u, Covariant v) => Covariant (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(<$>) :: (a -> b) -> TT Co Co Co t u v a -> TT Co Co Co t u v b

comap :: (a -> b) -> TT Co Co Co t u v a -> TT Co Co Co t u v b

(<$) :: a -> TT Co Co Co t u v b -> TT Co Co Co t u v a

($>) :: TT Co Co Co t u v a -> b -> TT Co Co Co t u v b

void :: TT Co Co Co t u v a -> TT Co Co Co t u v ()

(Covariant t, Contravariant u, Contravariant v) => Covariant (TT Co Contra Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(<$>) :: (a -> b) -> TT Co Contra Contra t u v a -> TT Co Contra Contra t u v b

comap :: (a -> b) -> TT Co Contra Contra t u v a -> TT Co Contra Contra t u v b

(<$) :: a -> TT Co Contra Contra t u v b -> TT Co Contra Contra t u v a

($>) :: TT Co Contra Contra t u v a -> b -> TT Co Contra Contra t u v b

void :: TT Co Contra Contra t u v a -> TT Co Contra Contra t u v ()

(Contravariant t, Covariant u, Contravariant v) => Covariant (TT Contra Co Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(<$>) :: (a -> b) -> TT Contra Co Contra t u v a -> TT Contra Co Contra t u v b

comap :: (a -> b) -> TT Contra Co Contra t u v a -> TT Contra Co Contra t u v b

(<$) :: a -> TT Contra Co Contra t u v b -> TT Contra Co Contra t u v a

($>) :: TT Contra Co Contra t u v a -> b -> TT Contra Co Contra t u v b

void :: TT Contra Co Contra t u v a -> TT Contra Co Contra t u v ()

(Contravariant t, Contravariant u, Covariant v) => Covariant (TT Contra Contra Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(<$>) :: (a -> b) -> TT Contra Contra Co t u v a -> TT Contra Contra Co t u v b

comap :: (a -> b) -> TT Contra Contra Co t u v a -> TT Contra Contra Co t u v b

(<$) :: a -> TT Contra Contra Co t u v b -> TT Contra Contra Co t u v a

($>) :: TT Contra Contra Co t u v a -> b -> TT Contra Contra Co t u v b

void :: TT Contra Contra Co t u v a -> TT Contra Contra Co t u v ()

(Alternative t, Covariant u, Covariant v) => Alternative (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(<+>) :: TT Co Co Co t u v a -> TT Co Co Co t u v a -> TT Co Co Co t u v a

alter :: TT Co Co Co t u v a -> TT Co Co Co t u v a -> TT Co Co Co t u v a

(Applicative t, Applicative u, Applicative v) => Applicative (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(<*>) :: TT Co Co Co t u v (a -> b) -> TT Co Co Co t u v a -> TT Co Co Co t u v b

apply :: TT Co Co Co t u v (a -> b) -> TT Co Co Co t u v a -> TT Co Co Co t u v b

(*>) :: TT Co Co Co t u v a -> TT Co Co Co t u v b -> TT Co Co Co t u v b

(<*) :: TT Co Co Co t u v a -> TT Co Co Co t u v b -> TT Co Co Co t u v a

forever :: TT Co Co Co t u v a -> TT Co Co Co t u v b

(Exclusive t, Covariant u, Covariant v) => Exclusive (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

exclusive :: TT Co Co Co t u v a

(Extractable t, Extractable u, Extractable v) => Extractable (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

extract :: TT Co Co Co t u v a -> a

(Pointable t, Pointable u, Pointable v) => Pointable (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

point :: a -> TT Co Co Co t u v a

(Adjunctive t w, Adjunctive v x, Adjunctive u y) => Adjoint (TT Co Co Co t v u) (TT Co Co Co w x y)

Defined in Data.Functor.Composition.TT

Methods

phi :: (TT Co Co Co t v u a -> b) -> a -> TT Co Co Co w x y b

psi :: (a -> TT Co Co Co w x y b) -> TT Co Co Co t v u a -> b

eta :: a -> (TT Co Co Co w x y :.: TT Co Co Co t v u) a

epsilon :: (TT Co Co Co t v u :.: TT Co Co Co w x y) a -> a

(Covariant t, Covariant u, Covariant v, Contravariant w) => Contravariant (TTT Co Co Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

contramap :: (a -> b) -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

(>$) :: b -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

($<) :: TTT Co Co Co Contra t u v w b -> b -> TTT Co Co Co Contra t u v w a

full :: TTT Co Co Co Contra t u v w () -> TTT Co Co Co Contra t u v w a

(Covariant t, Covariant u, Contravariant v, Covariant w) => Contravariant (TTT Co Co Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

contramap :: (a -> b) -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

(>$) :: b -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

($<) :: TTT Co Co Contra Co t u v w b -> b -> TTT Co Co Contra Co t u v w a

full :: TTT Co Co Contra Co t u v w () -> TTT Co Co Contra Co t u v w a

(Covariant t, Contravariant u, Covariant v, Covariant w) => Contravariant (TTT Co Contra Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

contramap :: (a -> b) -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

(>$) :: b -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

($<) :: TTT Co Contra Co Co t u v w b -> b -> TTT Co Contra Co Co t u v w a

full :: TTT Co Contra Co Co t u v w () -> TTT Co Contra Co Co t u v w a

(Covariant t, Contravariant u, Contravariant v, Contravariant w) => Contravariant (TTT Co Contra Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

contramap :: (a -> b) -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

(>$) :: b -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

($<) :: TTT Co Contra Contra Contra t u v w b -> b -> TTT Co Contra Contra Contra t u v w a

full :: TTT Co Contra Contra Contra t u v w () -> TTT Co Contra Contra Contra t u v w a

(Contravariant t, Covariant u, Covariant v, Covariant w) => Contravariant (TTT Contra Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

contramap :: (a -> b) -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

(>$) :: b -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

($<) :: TTT Contra Co Co Co t u v w b -> b -> TTT Contra Co Co Co t u v w a

full :: TTT Contra Co Co Co t u v w () -> TTT Contra Co Co Co t u v w a

(Contravariant t, Covariant u, Contravariant v, Contravariant w) => Contravariant (TTT Contra Co Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

contramap :: (a -> b) -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

(>$) :: b -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

($<) :: TTT Contra Co Contra Contra t u v w b -> b -> TTT Contra Co Contra Contra t u v w a

full :: TTT Contra Co Contra Contra t u v w () -> TTT Contra Co Contra Contra t u v w a

(Contravariant t, Contravariant u, Covariant v, Contravariant w) => Contravariant (TTT Contra Contra Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

contramap :: (a -> b) -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

(>$) :: b -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

($<) :: TTT Contra Contra Co Contra t u v w b -> b -> TTT Contra Contra Co Contra t u v w a

full :: TTT Contra Contra Co Contra t u v w () -> TTT Contra Contra Co Contra t u v w a

(Contravariant t, Contravariant u, Contravariant v, Covariant w) => Contravariant (TTT Contra Contra Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

contramap :: (a -> b) -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

(>$) :: b -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

($<) :: TTT Contra Contra Contra Co t u v w b -> b -> TTT Contra Contra Contra Co t u v w a

full :: TTT Contra Contra Contra Co t u v w () -> TTT Contra Contra Contra Co t u v w a

(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b

comap :: (a -> b) -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b

(<$) :: a -> TTT Co Co Co Co t u v w b -> TTT Co Co Co Co t u v w a

($>) :: TTT Co Co Co Co t u v w a -> b -> TTT Co Co Co Co t u v w b

void :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w ()

(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (TTT Co Co Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Co Co Contra Contra t u v w a -> TTT Co Co Contra Contra t u v w b

comap :: (a -> b) -> TTT Co Co Contra Contra t u v w a -> TTT Co Co Contra Contra t u v w b

(<$) :: a -> TTT Co Co Contra Contra t u v w b -> TTT Co Co Contra Contra t u v w a

($>) :: TTT Co Co Contra Contra t u v w a -> b -> TTT Co Co Contra Contra t u v w b

void :: TTT Co Co Contra Contra t u v w a -> TTT Co Co Contra Contra t u v w ()

(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (TTT Co Contra Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Co Contra Co Contra t u v w a -> TTT Co Contra Co Contra t u v w b

comap :: (a -> b) -> TTT Co Contra Co Contra t u v w a -> TTT Co Contra Co Contra t u v w b

(<$) :: a -> TTT Co Contra Co Contra t u v w b -> TTT Co Contra Co Contra t u v w a

($>) :: TTT Co Contra Co Contra t u v w a -> b -> TTT Co Contra Co Contra t u v w b

void :: TTT Co Contra Co Contra t u v w a -> TTT Co Contra Co Contra t u v w ()

(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (TTT Co Contra Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Co Contra Contra Co t u v w a -> TTT Co Contra Contra Co t u v w b

comap :: (a -> b) -> TTT Co Contra Contra Co t u v w a -> TTT Co Contra Contra Co t u v w b

(<$) :: a -> TTT Co Contra Contra Co t u v w b -> TTT Co Contra Contra Co t u v w a

($>) :: TTT Co Contra Contra Co t u v w a -> b -> TTT Co Contra Contra Co t u v w b

void :: TTT Co Contra Contra Co t u v w a -> TTT Co Contra Contra Co t u v w ()

(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (TTT Contra Co Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Contra Co Co Contra t u v w a -> TTT Contra Co Co Contra t u v w b

comap :: (a -> b) -> TTT Contra Co Co Contra t u v w a -> TTT Contra Co Co Contra t u v w b

(<$) :: a -> TTT Contra Co Co Contra t u v w b -> TTT Contra Co Co Contra t u v w a

($>) :: TTT Contra Co Co Contra t u v w a -> b -> TTT Contra Co Co Contra t u v w b

void :: TTT Contra Co Co Contra t u v w a -> TTT Contra Co Co Contra t u v w ()

(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (TTT Contra Co Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Contra Co Contra Co t u v w a -> TTT Contra Co Contra Co t u v w b

comap :: (a -> b) -> TTT Contra Co Contra Co t u v w a -> TTT Contra Co Contra Co t u v w b

(<$) :: a -> TTT Contra Co Contra Co t u v w b -> TTT Contra Co Contra Co t u v w a

($>) :: TTT Contra Co Contra Co t u v w a -> b -> TTT Contra Co Contra Co t u v w b

void :: TTT Contra Co Contra Co t u v w a -> TTT Contra Co Contra Co t u v w ()

(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (TTT Contra Contra Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Contra Contra Co Co t u v w a -> TTT Contra Contra Co Co t u v w b

comap :: (a -> b) -> TTT Contra Contra Co Co t u v w a -> TTT Contra Contra Co Co t u v w b

(<$) :: a -> TTT Contra Contra Co Co t u v w b -> TTT Contra Contra Co Co t u v w a

($>) :: TTT Contra Contra Co Co t u v w a -> b -> TTT Contra Contra Co Co t u v w b

void :: TTT Contra Contra Co Co t u v w a -> TTT Contra Contra Co Co t u v w ()

(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TTT Contra Contra Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<$>) :: (a -> b) -> TTT Contra Contra Contra Contra t u v w a -> TTT Contra Contra Contra Contra t u v w b

comap :: (a -> b) -> TTT Contra Contra Contra Contra t u v w a -> TTT Contra Contra Contra Contra t u v w b

(<$) :: a -> TTT Contra Contra Contra Contra t u v w b -> TTT Contra Contra Contra Contra t u v w a

($>) :: TTT Contra Contra Contra Contra t u v w a -> b -> TTT Contra Contra Contra Contra t u v w b

void :: TTT Contra Contra Contra Contra t u v w a -> TTT Contra Contra Contra Contra t u v w ()

(Alternative t, Covariant u, Covariant v, Covariant w) => Alternative (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<+>) :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w a

alter :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w a

(Applicative t, Applicative u, Applicative v, Applicative w) => Applicative (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(<*>) :: TTT Co Co Co Co t u v w (a -> b) -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b

apply :: TTT Co Co Co Co t u v w (a -> b) -> TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b

(*>) :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b -> TTT Co Co Co Co t u v w b

(<*) :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b -> TTT Co Co Co Co t u v w a

forever :: TTT Co Co Co Co t u v w a -> TTT Co Co Co Co t u v w b

(Exclusive t, Covariant u, Covariant v, Covariant w) => Exclusive (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

exclusive :: TTT Co Co Co Co t u v w a

(Extractable t, Extractable u, Extractable v, Extractable w) => Extractable (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

extract :: TTT Co Co Co Co t u v w a -> a

(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

point :: a -> TTT Co Co Co Co t u v w a

(Adjunctive t u, Adjunctive t' u', Adjunctive t'' u'', Adjunctive t''' u''') => Adjoint (TTT Co Co Co Co t t' t'' t''') (TTT Co Co Co Co u u' u'' u''')

Defined in Data.Functor.Composition.TTT

Methods

phi :: (TTT Co Co Co Co t t' t'' t''' a -> b) -> a -> TTT Co Co Co Co u u' u'' u''' b

psi :: (a -> TTT Co Co Co Co u u' u'' u''' b) -> TTT Co Co Co Co t t' t'' t''' a -> b

eta :: a -> (TTT Co Co Co Co u u' u'' u''' :.: TTT Co Co Co Co t t' t'' t''') a

epsilon :: (TTT Co Co Co Co t t' t'' t''' :.: TTT Co Co Co Co u u' u'' u''') a -> a

type (:.:) t u a = t (u a) infixr 0