Modulecontravariant-1.5.6

Data.Functor.Contravariant.Compose

Synopsis

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

Instances1Functor

(Contravariant f, Contravariant g) => Functor (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose

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

Instances3Functor, Contravariant, Divisible

(Functor f, Functor g) => Functor (ComposeCF f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Contravariant f, Functor g) => Contravariant (ComposeCF f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Divisible f, Applicative g) => Divisible (ComposeCF f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose

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

Instances4Functor, Contravariant, Decidable, Divisible

(Functor f, Functor g) => Functor (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Functor f, Contravariant g) => Contravariant (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Applicative f, Decidable g) => Decidable (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
(Applicative f, Divisible g) => Divisible (ComposeFC f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose