morphisms-functors-0.1.6: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Composition.TT

Documentation

newtype TT ct cu cv t u v a Source #

Constructors

TT 

Fields

  • tt :: t (u (v a))
     
Instances
(Covariant t, Covariant u, Contravariant v) => Contravariant (TT Co Co Contra t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Covariant t, Contravariant u, Covariant v) => Contravariant (TT Co Contra Co t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Contravariant t, Covariant u, Covariant v) => Contravariant (TT Contra Co Co t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Contravariant t, Contravariant u, Contravariant v) => Contravariant (TT Contra Contra Contra t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Covariant t, Covariant u, Covariant v) => Covariant (TT Co Co Co t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Covariant t, Contravariant u, Contravariant v) => Covariant (TT Co Contra Contra t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Contravariant t, Covariant u, Contravariant v) => Covariant (TT Contra Co Contra t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Contravariant t, Contravariant u, Covariant v) => Covariant (TT Contra Contra Co t u v) Source # 
Instance details

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 Source #

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

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

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

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

(Alternative t, Covariant u, Covariant v) => Alternative (TT Co Co Co t u v) Source # 
Instance details

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 Source #

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 Source #

(Applicative t, Applicative u, Applicative v) => Applicative (TT Co Co Co t u v) Source # 
Instance details

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 Source #

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 Source #

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

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

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

(Exclusive t, Covariant u, Covariant v) => Exclusive (TT Co Co Co t u v) Source # 
Instance details

Defined in Data.Functor.Composition.TT

Methods

exclusive :: TT Co Co Co t u v a Source #

(Extractable t, Extractable u, Extractable v) => Extractable (TT Co Co Co t u v) Source # 
Instance details

Defined in Data.Functor.Composition.TT

Methods

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

(Pointable t, Pointable u, Pointable v) => Pointable (TT Co Co Co t u v) Source # 
Instance details

Defined in Data.Functor.Composition.TT

Methods

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

(Adjunctive t w, Adjunctive v x, Adjunctive u y) => Adjoint (TT Co Co Co t v u) (TT Co Co Co w x y) Source # 
Instance details

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 Source #

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

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

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