Contravariant.Extras

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

Safe Haskell | None
Language | Haskell2010

Contravariant.Extras

Synopsis

- module Contravariant.Extras.Contrazip
- contramany :: Decidable f => f a -> f [a]
- data Supplied divisible = Supplied !(divisible input) !input

# Documentation

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

module Contravariant.Extras.Contrazip

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 => Monoid (Supplied divisible) # |
Methods mempty :: Supplied divisible # mappend :: Supplied divisible -> Supplied divisible -> Supplied divisible # mconcat :: [Supplied divisible] -> Supplied divisible #