tuple-0.3.0.2: Various functions on tuples

Safe Haskell | Safe-Inferred
Language | Haskell98

Data.Tuple.Sequence

Synopsis

- class SequenceT a b | a -> b where
  - sequenceT :: a -> b

# Documentation

class SequenceT a b | a -> b where Source #

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 -> b Source #

#### Instances

Instances details

Monad m => SequenceT (OneTuple (m a)) (m (OneTuple a)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: OneTuple (m a) -> m (OneTuple a) Source #
Monad m => SequenceT (m a1, m a2) (m (a1, a2)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2) -> m (a1, a2) Source #
Monad m => SequenceT (m a1, m a2, m a3) (m (a1, a2, a3)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2, m a3) -> m (a1, a2, a3) Source #
Monad m => SequenceT (m a1, m a2, m a3, m a4) (m (a1, a2, a3, a4)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2, m a3, m a4) -> m (a1, a2, a3, a4) Source #
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5) (m (a1, a2, a3, a4, a5)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2, m a3, m a4, m a5) -> m (a1, a2, a3, a4, a5) Source #
Monad m => SequenceT (m a1, m a2, m a3, m a4, m a5, m a6) (m (a1, a2, a3, a4, a5, a6)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2, m a3, m a4, m a5, m a6) -> m (a1, a2, a3, a4, a5, a6) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods sequenceT :: (m a1, m a2, m a3, m a4, m a5, m a6, m a7) -> m (a1, a2, a3, a4, a5, a6, a7) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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) Source #
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 a16) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) Source #
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 a16, m a17) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) Source #
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 a16, m a17, m a18) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) Source #
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 a16, m a17, m a18, m a19) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) Source #
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 a16, m a17, m a18, m a19, m a20) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) Source #
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 a16, m a17, m a18, m a19, m a20, m a21) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27)) Source # |
Instance details Defined in Data.Tuple.Sequence Methods 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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) Source #
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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28)) Source # |

Instance details

Defined in Data.Tuple.Sequence

Methods

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) Source #

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29)) Source # |

Instance details

Defined in Data.Tuple.Sequence

Methods

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) Source #

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30)) Source # |

Instance details

Defined in Data.Tuple.Sequence

Methods

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) Source #

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30, m a31) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31)) Source # |

Instance details

Defined in Data.Tuple.Sequence

Methods

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30, m a31) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) Source #

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30, m a31, m a32) (m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32)) Source #

Instance details

Defined in Data.Tuple.Sequence

Methods

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 a16, m a17, m a18, m a19, m a20, m a21, m a22, m a23, m a24, m a25, m a26, m a27, m a28, m a29, m a30, m a31, m a32) -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32) Source #