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

Safe HaskellNone





class Functor t => Contravariant t where Source


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

Instance utilities

coerceSeq :: forall f t' t a. (Applicative f, Traversable t) => (forall b. t b -> t' b) -> t' (f a) -> f (t' a) Source