Safe Haskell | Safe |
---|---|

Language | Haskell98 |

Lazy homogeneous tuples

- data Tup0 a = Tup0
- data Tup1 a = Tup1 a
- data Tup2 a = Tup2 a a
- data Tup3 a = Tup3 a a a
- data Tup4 a = Tup4 a a a a
- data Tup5 a = Tup5 a a a a a
- data Tup6 a = Tup6 a a a a a a
- data Tup7 a = Tup7 a a a a a a a
- data Tup8 a = Tup8 a a a a a a a a
- data Tup9 a = Tup9 a a a a a a a a a
- tupTup :: Applicative f => f a -> f a -> f (Tup2 a)
- tupTup3 :: Applicative f => f a -> f a -> f a -> f (Tup3 a)
- tupTup4 :: Applicative f => f a -> f a -> f a -> f a -> f (Tup4 a)
- tupTup5 :: Applicative f => f a -> f a -> f a -> f a -> f a -> f (Tup5 a)

# data type declarations

Tup1 a |

Tup2 a a |

Functor Tup2 Source # | |

Applicative Tup2 Source # | |

Foldable Tup2 Source # | |

Traversable Tup2 Source # | |

Tup Tup2 Source # | |

TupConcat Tup7 Tup2 Tup9 Source # | |

TupConcat Tup6 Tup2 Tup8 Source # | |

TupConcat Tup5 Tup2 Tup7 Source # | |

TupConcat Tup4 Tup2 Tup6 Source # | |

TupConcat Tup3 Tup2 Tup5 Source # | |

TupConcat Tup2 Tup7 Tup9 Source # | |

TupConcat Tup2 Tup6 Tup8 Source # | |

TupConcat Tup2 Tup5 Tup7 Source # | |

TupConcat Tup2 Tup4 Tup6 Source # | |

TupConcat Tup2 Tup3 Tup5 Source # | |

TupConcat Tup2 Tup2 Tup4 Source # | |

TupConcat Tup2 Tup1 Tup3 Source # | |

TupConcat Tup2 Tup0 Tup2 Source # | |

TupConcat Tup1 Tup2 Tup3 Source # | |

TupConcat Tup1 Tup1 Tup2 Source # | |

TupConcat Tup0 Tup2 Tup2 Source # | |

Bounded a => Bounded (Tup2 a) Source # | |

Eq a => Eq (Tup2 a) Source # | |

Fractional a => Fractional (Tup2 a) Source # | |

Num a => Num (Tup2 a) Source # | |

Ord a => Ord (Tup2 a) Source # | |

Read a => Read (Tup2 a) Source # | |

Show a => Show (Tup2 a) Source # | |

Monoid a => Monoid (Tup2 a) Source # | |

Storable a => Storable (Tup2 a) Source # | |

Tup3 a a a |

Functor Tup3 Source # | |

Applicative Tup3 Source # | |

Foldable Tup3 Source # | |

Traversable Tup3 Source # | |

Tup Tup3 Source # | |

TupConcat Tup6 Tup3 Tup9 Source # | |

TupConcat Tup5 Tup3 Tup8 Source # | |

TupConcat Tup4 Tup3 Tup7 Source # | |

TupConcat Tup3 Tup6 Tup9 Source # | |

TupConcat Tup3 Tup5 Tup8 Source # | |

TupConcat Tup3 Tup4 Tup7 Source # | |

TupConcat Tup3 Tup3 Tup6 Source # | |

TupConcat Tup3 Tup2 Tup5 Source # | |

TupConcat Tup3 Tup1 Tup4 Source # | |

TupConcat Tup3 Tup0 Tup3 Source # | |

TupConcat Tup2 Tup3 Tup5 Source # | |

TupConcat Tup2 Tup1 Tup3 Source # | |

TupConcat Tup1 Tup3 Tup4 Source # | |

TupConcat Tup1 Tup2 Tup3 Source # | |

TupConcat Tup0 Tup3 Tup3 Source # | |

Bounded a => Bounded (Tup3 a) Source # | |

Eq a => Eq (Tup3 a) Source # | |

Fractional a => Fractional (Tup3 a) Source # | |

Num a => Num (Tup3 a) Source # | |

Ord a => Ord (Tup3 a) Source # | |

Read a => Read (Tup3 a) Source # | |

Show a => Show (Tup3 a) Source # | |

Monoid a => Monoid (Tup3 a) Source # | |

Storable a => Storable (Tup3 a) Source # | |

Tup4 a a a a |

Functor Tup4 Source # | |

Applicative Tup4 Source # | |

Foldable Tup4 Source # | |

Traversable Tup4 Source # | |

Tup Tup4 Source # | |

TupConcat Tup5 Tup4 Tup9 Source # | |

TupConcat Tup4 Tup5 Tup9 Source # | |

TupConcat Tup4 Tup4 Tup8 Source # | |

TupConcat Tup4 Tup3 Tup7 Source # | |

TupConcat Tup4 Tup2 Tup6 Source # | |

TupConcat Tup4 Tup1 Tup5 Source # | |

TupConcat Tup4 Tup0 Tup4 Source # | |

TupConcat Tup3 Tup4 Tup7 Source # | |

TupConcat Tup3 Tup1 Tup4 Source # | |

TupConcat Tup2 Tup4 Tup6 Source # | |

TupConcat Tup2 Tup2 Tup4 Source # | |

TupConcat Tup1 Tup4 Tup5 Source # | |

TupConcat Tup1 Tup3 Tup4 Source # | |

TupConcat Tup0 Tup4 Tup4 Source # | |

Bounded a => Bounded (Tup4 a) Source # | |

Eq a => Eq (Tup4 a) Source # | |

Fractional a => Fractional (Tup4 a) Source # | |

Num a => Num (Tup4 a) Source # | |

Ord a => Ord (Tup4 a) Source # | |

Read a => Read (Tup4 a) Source # | |

Show a => Show (Tup4 a) Source # | |

Monoid a => Monoid (Tup4 a) Source # | |

Storable a => Storable (Tup4 a) Source # | |

Tup5 a a a a a |

Functor Tup5 Source # | |

Applicative Tup5 Source # | |

Foldable Tup5 Source # | |

Traversable Tup5 Source # | |

Tup Tup5 Source # | |

TupConcat Tup5 Tup4 Tup9 Source # | |

TupConcat Tup5 Tup3 Tup8 Source # | |

TupConcat Tup5 Tup2 Tup7 Source # | |

TupConcat Tup5 Tup1 Tup6 Source # | |

TupConcat Tup5 Tup0 Tup5 Source # | |

TupConcat Tup4 Tup5 Tup9 Source # | |

TupConcat Tup4 Tup1 Tup5 Source # | |

TupConcat Tup3 Tup5 Tup8 Source # | |

TupConcat Tup3 Tup2 Tup5 Source # | |

TupConcat Tup2 Tup5 Tup7 Source # | |

TupConcat Tup2 Tup3 Tup5 Source # | |

TupConcat Tup1 Tup5 Tup6 Source # | |

TupConcat Tup1 Tup4 Tup5 Source # | |

TupConcat Tup0 Tup5 Tup5 Source # | |

Bounded a => Bounded (Tup5 a) Source # | |

Eq a => Eq (Tup5 a) Source # | |

Fractional a => Fractional (Tup5 a) Source # | |

Num a => Num (Tup5 a) Source # | |

Ord a => Ord (Tup5 a) Source # | |

Read a => Read (Tup5 a) Source # | |

Show a => Show (Tup5 a) Source # | |

Monoid a => Monoid (Tup5 a) Source # | |

Storable a => Storable (Tup5 a) Source # | |

Tup6 a a a a a a |

Functor Tup6 Source # | |

Applicative Tup6 Source # | |

Foldable Tup6 Source # | |

Traversable Tup6 Source # | |

Tup Tup6 Source # | |

TupConcat Tup6 Tup3 Tup9 Source # | |

TupConcat Tup6 Tup2 Tup8 Source # | |

TupConcat Tup6 Tup1 Tup7 Source # | |

TupConcat Tup6 Tup0 Tup6 Source # | |

TupConcat Tup5 Tup1 Tup6 Source # | |

TupConcat Tup4 Tup2 Tup6 Source # | |

TupConcat Tup3 Tup6 Tup9 Source # | |

TupConcat Tup3 Tup3 Tup6 Source # | |

TupConcat Tup2 Tup6 Tup8 Source # | |

TupConcat Tup2 Tup4 Tup6 Source # | |

TupConcat Tup1 Tup6 Tup7 Source # | |

TupConcat Tup1 Tup5 Tup6 Source # | |

TupConcat Tup0 Tup6 Tup6 Source # | |

Bounded a => Bounded (Tup6 a) Source # | |

Eq a => Eq (Tup6 a) Source # | |

Fractional a => Fractional (Tup6 a) Source # | |

Num a => Num (Tup6 a) Source # | |

Ord a => Ord (Tup6 a) Source # | |

Read a => Read (Tup6 a) Source # | |

Show a => Show (Tup6 a) Source # | |

Monoid a => Monoid (Tup6 a) Source # | |

Storable a => Storable (Tup6 a) Source # | |

Tup7 a a a a a a a |

Functor Tup7 Source # | |

Applicative Tup7 Source # | |

Foldable Tup7 Source # | |

Traversable Tup7 Source # | |

Tup Tup7 Source # | |

TupConcat Tup7 Tup2 Tup9 Source # | |

TupConcat Tup7 Tup1 Tup8 Source # | |

TupConcat Tup7 Tup0 Tup7 Source # | |

TupConcat Tup6 Tup1 Tup7 Source # | |

TupConcat Tup5 Tup2 Tup7 Source # | |

TupConcat Tup4 Tup3 Tup7 Source # | |

TupConcat Tup3 Tup4 Tup7 Source # | |

TupConcat Tup2 Tup7 Tup9 Source # | |

TupConcat Tup2 Tup5 Tup7 Source # | |

TupConcat Tup1 Tup7 Tup8 Source # | |

TupConcat Tup1 Tup6 Tup7 Source # | |

TupConcat Tup0 Tup7 Tup7 Source # | |

Bounded a => Bounded (Tup7 a) Source # | |

Eq a => Eq (Tup7 a) Source # | |

Fractional a => Fractional (Tup7 a) Source # | |

Num a => Num (Tup7 a) Source # | |

Ord a => Ord (Tup7 a) Source # | |

Read a => Read (Tup7 a) Source # | |

Show a => Show (Tup7 a) Source # | |

Monoid a => Monoid (Tup7 a) Source # | |

Storable a => Storable (Tup7 a) Source # | |

Tup8 a a a a a a a a |

Functor Tup8 Source # | |

Applicative Tup8 Source # | |

Foldable Tup8 Source # | |

Traversable Tup8 Source # | |

Tup Tup8 Source # | |

TupConcat Tup8 Tup1 Tup9 Source # | |

TupConcat Tup8 Tup0 Tup8 Source # | |

TupConcat Tup7 Tup1 Tup8 Source # | |

TupConcat Tup6 Tup2 Tup8 Source # | |

TupConcat Tup5 Tup3 Tup8 Source # | |

TupConcat Tup4 Tup4 Tup8 Source # | |

TupConcat Tup3 Tup5 Tup8 Source # | |

TupConcat Tup2 Tup6 Tup8 Source # | |

TupConcat Tup1 Tup8 Tup9 Source # | |

TupConcat Tup1 Tup7 Tup8 Source # | |

TupConcat Tup0 Tup8 Tup8 Source # | |

Bounded a => Bounded (Tup8 a) Source # | |

Eq a => Eq (Tup8 a) Source # | |

Fractional a => Fractional (Tup8 a) Source # | |

Num a => Num (Tup8 a) Source # | |

Ord a => Ord (Tup8 a) Source # | |

Read a => Read (Tup8 a) Source # | |

Show a => Show (Tup8 a) Source # | |

Monoid a => Monoid (Tup8 a) Source # | |

Storable a => Storable (Tup8 a) Source # | |

Tup9 a a a a a a a a a |

Functor Tup9 Source # | |

Applicative Tup9 Source # | |

Foldable Tup9 Source # | |

Traversable Tup9 Source # | |

Tup Tup9 Source # | |

TupConcat Tup9 Tup0 Tup9 Source # | |

TupConcat Tup8 Tup1 Tup9 Source # | |

TupConcat Tup7 Tup2 Tup9 Source # | |

TupConcat Tup6 Tup3 Tup9 Source # | |

TupConcat Tup5 Tup4 Tup9 Source # | |

TupConcat Tup4 Tup5 Tup9 Source # | |

TupConcat Tup3 Tup6 Tup9 Source # | |

TupConcat Tup2 Tup7 Tup9 Source # | |

TupConcat Tup1 Tup8 Tup9 Source # | |

TupConcat Tup0 Tup9 Tup9 Source # | |

Bounded a => Bounded (Tup9 a) Source # | |

Eq a => Eq (Tup9 a) Source # | |

Fractional a => Fractional (Tup9 a) Source # | |

Num a => Num (Tup9 a) Source # | |

Ord a => Ord (Tup9 a) Source # | |

Read a => Read (Tup9 a) Source # | |

Show a => Show (Tup9 a) Source # | |

Monoid a => Monoid (Tup9 a) Source # | |

Storable a => Storable (Tup9 a) Source # | |

# "tupping"

tupTup :: Applicative f => f a -> f a -> f (Tup2 a) Source #

tupTup3 :: Applicative f => f a -> f a -> f a -> f (Tup3 a) Source #

tupTup4 :: Applicative f => f a -> f a -> f a -> f a -> f (Tup4 a) Source #

tupTup5 :: Applicative f => f a -> f a -> f a -> f a -> f a -> f (Tup5 a) Source #