Modulecontravariant-extras-0.3.5.4Haskell2010

Contravariant.Extras

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.

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