Data.Functor.Invariant.Inplicative

Contents

Description

Contains the classes Inply and Inplicative, the invariant counterparts to ApplyDivise and ApplicativeDivisible.

Since: 0.4.0.0

Synopsis

class Invariant f => Inply (f :: Type -> Type) where
- gather :: (b -> c -> a) -> (a -> (b, c)) -> f b -> f c -> f a
- gathered :: f a -> f b -> f (a, b)