contravariant-extras-0.3.4: Extras for the "contravariant" package

Safe HaskellNone
LanguageHaskell2010

Contravariant.Extras

Synopsis

Documentation

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

module Contravariant.Extras.Contrazip

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

An alias to divided.

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

data Supplied divisible Source #

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) Source # 

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) Source # 

Methods

mempty :: Supplied divisible #

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

mconcat :: [Supplied divisible] -> Supplied divisible #