definitive-base-1.2: The base modules of the Definitive framework.

Safe HaskellNone



class Functor t => Contravariant t whereSource


collect :: Functor f => f (t a) -> t (f a)Source

traverse :: (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)Source

for :: (Applicative f, Traversable t) => t a -> (a -> f b) -> f (t b)Source

transpose :: (Applicative f, Traversable t) => t (f a) -> f (t a)Source

doTimes :: Applicative f => Int -> f a -> f [a]Source

converted :: (Unit f, Unit g, Foldable f, Foldable g, Monoid (f a), Monoid (g b)) => Iso (f a) (f b) (g a) (g b)Source

folded :: (Unit f', Foldable f, Monoid m) => Iso m m' (f m) (f' m')Source