Data.Functor.Composition.T

Documentation

newtype T ct cu t u a

Constructors

T

Fields

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

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