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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Basic.TTT

Documentation

newtype TTT ct cu cv cw t u v w a Source #

Constructors

TTT 

Fields

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TTT Contra Contra Contra Contra t u v w) Source # 
Instance details

Defined in Control.Functor.Basic.TTT

Methods

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

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

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

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

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

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

Defined in Control.Functor.Basic.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 Source #

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

(*>) :: 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 Source #

(<*) :: 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 Source #

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

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

Defined in Control.Functor.Basic.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 Source #

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

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

Defined in Control.Functor.Basic.TTT

Methods

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

(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''') Source # 
Instance details

Defined in Control.Functor.Basic.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 Source #

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

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

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