| Safe Haskell | None |
|---|
Clean.Traversable
Documentation
module Clean.Applicative
class Traversable t whereSource
Methods
sequence :: Applicative f => t (f a) -> f (t a)Source
Instances
class Contravariant t whereSource
Instances
| Contravariant Id | |
| Contravariant ((->) a) |
traverse :: (Applicative f, Functor t, Traversable t) => (a1 -> f a) -> t a1 -> f (t a)Source
foreach :: (Applicative f, Functor t, Traversable t) => t a1 -> (a1 -> f a) -> f (t a)Source
transpose :: (Applicative f, Traversable t) => t (f a) -> f (t a)Source
flip :: (Functor f, Contravariant t) => f (t a) -> t (f a)Source