Safe Haskell	Safe
Language	Haskell2010

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 #