tuple-0.2.0.1: Various functions on tuples

Data.Tuple.Sequence

Synopsis

Documentation

class SequenceT a b | a -> b whereSource

Tuple sequencing, i.e., take a tuple of of monadic actions and do them from left-to-right, returning the resulting tuple.

Methods

sequenceT :: a -> bSource

Instances

Monad m => SequenceT (OneTuple (m a)) (m (OneTuple a)) 
Monad m => SequenceT (m a1, m a2) (m (a1, a2)) 
Monad m => SequenceT (m a1, m a2, m a3) (m (a1, a2, a3)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4) (m (a1, a2, a3, a4)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5) (m (a1, a2, a3, a4, a5)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6) (m (a1, a2, a3, a4, a5, a6)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7) (m (a1, a2, a3, a4, a5, a6, a7)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8) (m (a1, a2, a3, a4, a5, a6, a7, a8)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10, m a11) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10, m a11, m a12) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10, m a11, m a12, m a13) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10, m a11, m a12, m a13, m a14) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)) 
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6, m a7, m a8, m a9, m a10, m a11, m a12, m a13, m a14, m a15) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15))