Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulecontravariant-extras-0.3.5.4Haskell2010

Contravariant.Extras

Synopsis

value >*<
value contramany
data Supplied

Packagecontravariant-extras-0.3.5.4
Exports3
LanguageHaskell2010
LicenceMIT
SourceExtras.hs

contrazip functions of multiple arities.

module Contravariant.Extras.Contrazip

contrazipLifting functions of multiple arities.

module Contravariant.Extras.ContrazipLifting

value(>*<) :: Divisible f => f a -> f b -> f (a, b)

An alias to divided.

valuecontramany :: Decidable f => f a -> f [a]

datadata Supplied (divisible :: Type -> Type)

A combination of a divisible functor with some input for it. Allows to use the Monoid API for composition.

Constructors

forall input. Supplied (divisible input) input

Instances2Semigroup, Monoid

Divisible divisible => Semigroup (Supplied divisible)Defined in contravariant-extras-0.3.5.4 · Contravariant.Extras
Divisible divisible => Monoid (Supplied divisible)Defined in contravariant-extras-0.3.5.4 · Contravariant.Extras