Modulerebase-1.21.2Haskell2010

Rebase.Data.Functor.Contravariant.Compose

newtypenewtype Compose (f :: Type -> Type) (g :: Type -> Type) a

Composition of two contravariant functors

Instances2Functor, Invariant

(Contravariant f, Contravariant g) => Functor (Compose f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Invariant f, Invariant g) => Invariant (Compose f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package

newtypenewtype ComposeCF (f :: Type -> Type) (g :: Type -> Type) a

Composition of contravariant and covariant functors

Instances4Functor, Contravariant, Divisible, Invariant

(Functor f, Functor g) => Functor (ComposeCF f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Contravariant f, Functor g) => Contravariant (ComposeCF f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Divisible f, Applicative g) => Divisible (ComposeCF f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Invariant f, Invariant g) => Invariant (ComposeCF f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package

newtypenewtype ComposeFC (f :: Type -> Type) (g :: Type -> Type) a

Composition of covariant and contravariant functors

Instances5Functor, Contravariant, Decidable, Divisible, Invariant

(Functor f, Functor g) => Functor (ComposeFC f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Functor f, Contravariant g) => Contravariant (ComposeFC f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Applicative f, Decidable g) => Decidable (ComposeFC f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Applicative f, Divisible g) => Divisible (ComposeFC f g)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.Compose
(Invariant f, Invariant g) => Invariant (ComposeFC f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package