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

Language | Haskell98 |

Homogeneous tuples as newtypes of standard Haskell tuples. This is a third alternative implementation.

ntup3 1 2 3 == NTup3 (1,2,3)

- data NTup0 a = NTup0
- newtype NTup1 a = NTup1 a
- newtype NTup2 a = NTup2 (a, a)
- newtype NTup3 a = NTup3 (a, a, a)
- newtype NTup4 a = NTup4 (a, a, a, a)
- newtype NTup5 a = NTup5 (a, a, a, a, a)
- newtype NTup6 a = NTup6 (a, a, a, a, a, a)
- newtype NTup7 a = NTup7 (a, a, a, a, a, a, a)
- newtype NTup8 a = NTup8 (a, a, a, a, a, a, a, a)
- newtype NTup9 a = NTup9 (a, a, a, a, a, a, a, a, a)
- ntup0 :: NTup0 a
- ntup1 :: a -> NTup1 a
- ntup2 :: a -> a -> NTup2 a
- ntup3 :: a -> a -> a -> NTup3 a
- ntup4 :: a -> a -> a -> a -> NTup4 a
- ntup5 :: a -> a -> a -> a -> a -> NTup5 a
- ntup6 :: a -> a -> a -> a -> a -> a -> NTup6 a
- ntup7 :: a -> a -> a -> a -> a -> a -> a -> NTup7 a
- ntup8 :: a -> a -> a -> a -> a -> a -> a -> a -> NTup8 a
- ntup9 :: a -> a -> a -> a -> a -> a -> a -> a -> a -> NTup9 a
- untup1 :: NTup1 a -> a
- untup2 :: NTup2 a -> (a, a)
- untup3 :: NTup3 a -> (a, a, a)
- untup4 :: NTup4 a -> (a, a, a, a)
- untup5 :: NTup5 a -> (a, a, a, a, a)
- untup6 :: NTup6 a -> (a, a, a, a, a, a)
- untup7 :: NTup7 a -> (a, a, a, a, a, a, a)
- untup8 :: NTup8 a -> (a, a, a, a, a, a, a, a)
- untup9 :: NTup9 a -> (a, a, a, a, a, a, a, a, a)

# newtyped tuples

NTup1 a |

NTup2 (a, a) |

NTup3 (a, a, a) |

NTup4 (a, a, a, a) |

Functor NTup4 Source # | |

Applicative NTup4 Source # | |

Foldable NTup4 Source # | |

Traversable NTup4 Source # | |

Tup NTup4 Source # | |

TupConcat NTup5 NTup4 NTup9 Source # | |

TupConcat NTup4 NTup5 NTup9 Source # | |

TupConcat NTup4 NTup4 NTup8 Source # | |

TupConcat NTup4 NTup3 NTup7 Source # | |

TupConcat NTup4 NTup2 NTup6 Source # | |

TupConcat NTup4 NTup1 NTup5 Source # | |

TupConcat NTup4 NTup0 NTup4 Source # | |

TupConcat NTup3 NTup4 NTup7 Source # | |

TupConcat NTup3 NTup1 NTup4 Source # | |

TupConcat NTup2 NTup4 NTup6 Source # | |

TupConcat NTup2 NTup2 NTup4 Source # | |

TupConcat NTup1 NTup4 NTup5 Source # | |

TupConcat NTup1 NTup3 NTup4 Source # | |

TupConcat NTup0 NTup4 NTup4 Source # | |

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

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

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

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

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

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

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

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

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

NTup5 (a, a, a, a, a) |

Functor NTup5 Source # | |

Applicative NTup5 Source # | |

Foldable NTup5 Source # | |

Traversable NTup5 Source # | |

Tup NTup5 Source # | |

TupConcat NTup5 NTup4 NTup9 Source # | |

TupConcat NTup5 NTup3 NTup8 Source # | |

TupConcat NTup5 NTup2 NTup7 Source # | |

TupConcat NTup5 NTup1 NTup6 Source # | |

TupConcat NTup5 NTup0 NTup5 Source # | |

TupConcat NTup4 NTup5 NTup9 Source # | |

TupConcat NTup4 NTup1 NTup5 Source # | |

TupConcat NTup3 NTup5 NTup8 Source # | |

TupConcat NTup3 NTup2 NTup5 Source # | |

TupConcat NTup2 NTup5 NTup7 Source # | |

TupConcat NTup2 NTup3 NTup5 Source # | |

TupConcat NTup1 NTup5 NTup6 Source # | |

TupConcat NTup1 NTup4 NTup5 Source # | |

TupConcat NTup0 NTup5 NTup5 Source # | |

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

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

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

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

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

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

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

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

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

NTup6 (a, a, a, a, a, a) |

Functor NTup6 Source # | |

Applicative NTup6 Source # | |

Foldable NTup6 Source # | |

Traversable NTup6 Source # | |

Tup NTup6 Source # | |

TupConcat NTup6 NTup3 NTup9 Source # | |

TupConcat NTup6 NTup2 NTup8 Source # | |

TupConcat NTup6 NTup1 NTup7 Source # | |

TupConcat NTup6 NTup0 NTup6 Source # | |

TupConcat NTup5 NTup1 NTup6 Source # | |

TupConcat NTup4 NTup2 NTup6 Source # | |

TupConcat NTup3 NTup6 NTup9 Source # | |

TupConcat NTup3 NTup3 NTup6 Source # | |

TupConcat NTup2 NTup6 NTup8 Source # | |

TupConcat NTup2 NTup4 NTup6 Source # | |

TupConcat NTup1 NTup6 NTup7 Source # | |

TupConcat NTup1 NTup5 NTup6 Source # | |

TupConcat NTup0 NTup6 NTup6 Source # | |

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

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

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

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

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

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

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

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

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

NTup7 (a, a, a, a, a, a, a) |

Functor NTup7 Source # | |

Applicative NTup7 Source # | |

Foldable NTup7 Source # | |

Traversable NTup7 Source # | |

Tup NTup7 Source # | |

TupConcat NTup7 NTup2 NTup9 Source # | |

TupConcat NTup7 NTup1 NTup8 Source # | |

TupConcat NTup7 NTup0 NTup7 Source # | |

TupConcat NTup6 NTup1 NTup7 Source # | |

TupConcat NTup5 NTup2 NTup7 Source # | |

TupConcat NTup4 NTup3 NTup7 Source # | |

TupConcat NTup3 NTup4 NTup7 Source # | |

TupConcat NTup2 NTup7 NTup9 Source # | |

TupConcat NTup2 NTup5 NTup7 Source # | |

TupConcat NTup1 NTup7 NTup8 Source # | |

TupConcat NTup1 NTup6 NTup7 Source # | |

TupConcat NTup0 NTup7 NTup7 Source # | |

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

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

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

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

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

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

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

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

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

NTup8 (a, a, a, a, a, a, a, a) |

Functor NTup8 Source # | |

Applicative NTup8 Source # | |

Foldable NTup8 Source # | |

Traversable NTup8 Source # | |

Tup NTup8 Source # | |

TupConcat NTup8 NTup1 NTup9 Source # | |

TupConcat NTup8 NTup0 NTup8 Source # | |

TupConcat NTup7 NTup1 NTup8 Source # | |

TupConcat NTup6 NTup2 NTup8 Source # | |

TupConcat NTup5 NTup3 NTup8 Source # | |

TupConcat NTup4 NTup4 NTup8 Source # | |

TupConcat NTup3 NTup5 NTup8 Source # | |

TupConcat NTup2 NTup6 NTup8 Source # | |

TupConcat NTup1 NTup8 NTup9 Source # | |

TupConcat NTup1 NTup7 NTup8 Source # | |

TupConcat NTup0 NTup8 NTup8 Source # | |

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

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

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

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

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

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

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

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

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

NTup9 (a, a, a, a, a, a, a, a, a) |

Functor NTup9 Source # | |

Applicative NTup9 Source # | |

Foldable NTup9 Source # | |

Traversable NTup9 Source # | |

Tup NTup9 Source # | |

TupConcat NTup9 NTup0 NTup9 Source # | |

TupConcat NTup8 NTup1 NTup9 Source # | |

TupConcat NTup7 NTup2 NTup9 Source # | |

TupConcat NTup6 NTup3 NTup9 Source # | |

TupConcat NTup5 NTup4 NTup9 Source # | |

TupConcat NTup4 NTup5 NTup9 Source # | |

TupConcat NTup3 NTup6 NTup9 Source # | |

TupConcat NTup2 NTup7 NTup9 Source # | |

TupConcat NTup1 NTup8 NTup9 Source # | |

TupConcat NTup0 NTup9 NTup9 Source # | |

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

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

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

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

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

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

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

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

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