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

Safe HaskellNone
LanguageHaskell2010

Contravariant.Extras

Synopsis

Documentation

contrazip functions of multiple arities.

module Contravariant.Extras.Contrazip

contrazipLifting functions of multiple arities.

module Contravariant.Extras.ContrazipLifting

(>*<) :: 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 # 
Instance details

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

Defined in Contravariant.Extras

Methods

mempty :: Supplied divisible #

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

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