Control.Functor.Basic.TTT

Documentation

newtype TTT ct cu cv cw t u v w a

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 ()

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

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

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

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

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

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

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

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

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