Safe Haskell	Safe
Language	Haskell2010

Data.Functor.Composition.T

Documentation

newtype T ct cu t u a Source #

Constructors

T
Fields t :: (t :.: u) a

Instances

(Covariant t, Contravariant u) => Contravariant (T Co Contra t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods (>$<) :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a Source # contramap :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a Source # (>$) :: b -> T Co Contra t u b -> T Co Contra t u a Source # ($<) :: T Co Contra t u b -> b -> T Co Contra t u a Source # full :: T Co Contra t u () -> T Co Contra t u a Source #
(Contravariant t, Covariant u) => Contravariant (T Contra Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods (>$<) :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a Source # contramap :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a Source # (>$) :: b -> T Contra Co t u b -> T Contra Co t u a Source # ($<) :: T Contra Co t u b -> b -> T Contra Co t u a Source # full :: T Contra Co t u () -> T Contra Co t u a Source #
(Covariant t, Covariant u) => Covariant (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods (<$>) :: (a -> b) -> T Co Co t u a -> T Co Co t u b Source # comap :: (a -> b) -> T Co Co t u a -> T Co Co t u b Source # (<$) :: a -> T Co Co t u b -> T Co Co t u a Source # ($>) :: T Co Co t u a -> b -> T Co Co t u b Source # void :: T Co Co t u a -> T Co Co t u () Source #
(Contravariant t, Contravariant u) => Covariant (T Contra Contra t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods (<$>) :: (a -> b) -> T Contra Contra t u a -> T Contra Contra t u b Source # comap :: (a -> b) -> T Contra Contra t u a -> T Contra Contra t u b Source # (<$) :: a -> T Contra Contra t u b -> T Contra Contra t u a Source # ($>) :: T Contra Contra t u a -> b -> T Contra Contra t u b Source # void :: T Contra Contra t u a -> T Contra Contra t u () Source #
(Alternative t, Covariant u) => Alternative (T Co Co t u) Source #
Instance details 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 Source # alter :: T Co Co t u a -> T Co Co t u a -> T Co Co t u a Source #
(Applicative t, Applicative u) => Applicative (T Co Co t u) Source #
Instance details 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 Source # apply :: T Co Co t u (a -> b) -> T Co Co t u a -> T Co Co t u b Source # (>) :: T Co Co t u a -> T Co Co t u b -> T Co Co t u b Source # (<*) :: T Co Co t u a -> T Co Co t u b -> T Co Co t u a Source # forever :: T Co Co t u a -> T Co Co t u b Source #
(Exclusive t, Covariant u) => Exclusive (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods exclusive :: T Co Co t u a Source #
(Extractable t, Extractable u) => Extractable (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods extract :: T Co Co t u a -> a Source #
(Pointable t, Pointable u) => Pointable (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods point :: a -> T Co Co t u a Source #
(Adjunctive t u, Adjunctive v w) => Adjoint (T Co Co t v) (T Co Co u w) Source #
Instance details Defined in Data.Functor.Composition.T Methods phi :: (T Co Co t v a -> b) -> a -> T Co Co u w b Source # psi :: (a -> T Co Co u w b) -> T Co Co t v a -> b Source # eta :: a -> (T Co Co u w :.: T Co Co t v) a Source # epsilon :: (T Co Co t v :.: T Co Co u w) a -> a Source #