Prologue.Data.Traversable

Documentation

type family Traversables (lst :: [* -> *]) :: Constraint where ...

Equations

Traversables '[] = ()

Traversables (t ': ts) = (Traversable t, Traversables ts)

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

bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

(<$>=) :: (Monad m, Traversable t1) => (a -> m b) -> t1 a -> m (t1 b) infixl 4

(<<$>>=) :: (Monad m, Traversables '[t1, t2]) => (a -> m b) -> t2 (t1 a) -> m (t2 (t1 b)) infixl 4

mapM2 :: (Monad m, Traversables '[t1, t2]) => (a -> m b) -> t2 (t1 a) -> m (t2 (t1 b))

(<<<$>>>=) :: (Monad m, Traversables '[t1, t2, t3]) => (a -> m b) -> t3 (t2 (t1 a)) -> m (t3 (t2 (t1 b))) infixl 4

mapM3 :: (Monad m, Traversables '[t1, t2, t3]) => (a -> m b) -> t3 (t2 (t1 a)) -> m (t3 (t2 (t1 b)))

(<<<<$>>>>=) :: (Monad m, Traversables '[t1, t2, t3, t4]) => (a -> m b) -> t4 (t3 (t2 (t1 a))) -> m (t4 (t3 (t2 (t1 b)))) infixl 4

mapM4 :: (Monad m, Traversables '[t1, t2, t3, t4]) => (a -> m b) -> t4 (t3 (t2 (t1 a))) -> m (t4 (t3 (t2 (t1 b))))

(<<<<<$>>>>>=) :: (Monad m, Traversables '[t1, t2, t3, t4, t5]) => (a -> m b) -> t5 (t4 (t3 (t2 (t1 a)))) -> m (t5 (t4 (t3 (t2 (t1 b))))) infixl 4

mapM5 :: (Monad m, Traversables '[t1, t2, t3, t4, t5]) => (a -> m b) -> t5 (t4 (t3 (t2 (t1 a)))) -> m (t5 (t4 (t3 (t2 (t1 b)))))

(<|$>=) :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t (a, b)) infixl 4

(<$|>=) :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t (b, a)) infixl 4