Contravariant.Extras

Documentation

A berserk collection of contrazip functions with arities of up to 42.

module Contravariant.Extras.Contrazip

module Contravariant.Extras.Eliminate

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

An alias to divided.

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

data Supplied divisible

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

Constructors

Supplied !(divisible input) !input

Instances

Divisible divisible => Semigroup (Supplied divisible)

Defined in Contravariant.Extras

Methods

(<>) :: Supplied divisible -> Supplied divisible -> Supplied divisible

sconcat :: NonEmpty (Supplied divisible) -> Supplied divisible

stimes :: Integral b => b -> Supplied divisible -> Supplied divisible

Divisible divisible => Monoid (Supplied divisible)

Defined in Contravariant.Extras

Methods

mempty :: Supplied divisible

mappend :: Supplied divisible -> Supplied divisible -> Supplied divisible

mconcat :: [Supplied divisible] -> Supplied divisible