constraint-classes-0.1.0: Prelude classes using ConstraintKinds

Safe HaskellNone
LanguageHaskell2010

Control.ConstraintClasses.Extras

Documentation

class CFunctor f => CZippable f where Source #

Minimal complete definition

czip, czipWith4

Methods

czip :: (CFun f a, CFun f b, CFun f (a, b)) => f a -> f b -> f (a, b) Source #

czipWith :: (CFun f a, CFun f b, CFun f (a, b), CFun f c) => (a -> b -> c) -> f a -> f b -> f c Source #

czipWith3 :: (CFun f a, CFun f b, CFun f c, CFun f (a, b), CFun f ((a, b), c), CFun f d) => (a -> b -> c -> d) -> f a -> f b -> f c -> f d Source #

czipWith4 :: (CFun f a, CFun f b, CFun f c, CFun f d, CFun f e) => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e Source #