Data.Functor.Composition.TT

Documentation

newtype TT ct cu cv t u v a

Constructors

TT

Fields

• tt :: (t :.: (u :.: v)) a

Instances

(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