Constructors
ComposegetCompose :: f (g a)
Instances1Functor
(Contravariant f, Contravariant g) => Functor (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Compose
Modulecontravariant-1.5.6
Data.Functor.Contravariant.Compose
- 3 types
- Packagecontravariant-1.5.6
- Exports3
- LicenceBSD-3-Clause
Constructors
ComposeCFgetComposeCF :: f (g 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
Constructors
ComposeFCgetComposeFC :: f (g 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