| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Tup.Newtype
Description
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
Constructors
| NTup0 |
Instances
| Functor NTup0 | |
| Applicative NTup0 | |
| Foldable NTup0 | |
| Traversable NTup0 | |
| Tup NTup0 | |
| TupConcat NTup9 NTup0 NTup9 | |
| TupConcat NTup8 NTup0 NTup8 | |
| TupConcat NTup7 NTup0 NTup7 | |
| TupConcat NTup6 NTup0 NTup6 | |
| TupConcat NTup5 NTup0 NTup5 | |
| TupConcat NTup4 NTup0 NTup4 | |
| TupConcat NTup3 NTup0 NTup3 | |
| TupConcat NTup2 NTup0 NTup2 | |
| TupConcat NTup1 NTup0 NTup1 | |
| TupConcat NTup0 NTup9 NTup9 | |
| TupConcat NTup0 NTup8 NTup8 | |
| TupConcat NTup0 NTup7 NTup7 | |
| TupConcat NTup0 NTup6 NTup6 | |
| TupConcat NTup0 NTup5 NTup5 | |
| TupConcat NTup0 NTup4 NTup4 | |
| TupConcat NTup0 NTup3 NTup3 | |
| TupConcat NTup0 NTup2 NTup2 | |
| TupConcat NTup0 NTup1 NTup1 | |
| TupConcat NTup0 NTup0 NTup0 | |
| Bounded (NTup0 a) | |
| Eq (NTup0 a) | |
| Fractional a => Fractional (NTup0 a) | |
| Num a => Num (NTup0 a) | |
| Ord (NTup0 a) | |
| Read (NTup0 a) | |
| Show (NTup0 a) | |
| Storable a => Storable (NTup0 a) | |
| Monoid a => Monoid (NTup0 a) |
Constructors
| NTup1 a |
Instances
| Functor NTup1 | |
| Applicative NTup1 | |
| Foldable NTup1 | |
| Traversable NTup1 | |
| Tup NTup1 | |
| TupConcat NTup8 NTup1 NTup9 | |
| TupConcat NTup7 NTup1 NTup8 | |
| TupConcat NTup6 NTup1 NTup7 | |
| TupConcat NTup5 NTup1 NTup6 | |
| TupConcat NTup4 NTup1 NTup5 | |
| TupConcat NTup3 NTup1 NTup4 | |
| TupConcat NTup2 NTup1 NTup3 | |
| TupConcat NTup1 NTup8 NTup9 | |
| TupConcat NTup1 NTup7 NTup8 | |
| TupConcat NTup1 NTup6 NTup7 | |
| TupConcat NTup1 NTup5 NTup6 | |
| TupConcat NTup1 NTup4 NTup5 | |
| TupConcat NTup1 NTup3 NTup4 | |
| TupConcat NTup1 NTup2 NTup3 | |
| TupConcat NTup1 NTup1 NTup2 | |
| TupConcat NTup1 NTup0 NTup1 | |
| TupConcat NTup0 NTup1 NTup1 | |
| Bounded a => Bounded (NTup1 a) | |
| Eq a => Eq (NTup1 a) | |
| Fractional a => Fractional (NTup1 a) | |
| Num a => Num (NTup1 a) | |
| Ord a => Ord (NTup1 a) | |
| Read a => Read (NTup1 a) | |
| Show a => Show (NTup1 a) | |
| Storable a => Storable (NTup1 a) | |
| Monoid a => Monoid (NTup1 a) |
Constructors
| NTup2 (a, a) |
Instances
| Functor NTup2 | |
| Applicative NTup2 | |
| Foldable NTup2 | |
| Traversable NTup2 | |
| Tup NTup2 | |
| TupConcat NTup7 NTup2 NTup9 | |
| TupConcat NTup6 NTup2 NTup8 | |
| TupConcat NTup5 NTup2 NTup7 | |
| TupConcat NTup4 NTup2 NTup6 | |
| TupConcat NTup3 NTup2 NTup5 | |
| TupConcat NTup2 NTup7 NTup9 | |
| TupConcat NTup2 NTup6 NTup8 | |
| TupConcat NTup2 NTup5 NTup7 | |
| TupConcat NTup2 NTup4 NTup6 | |
| TupConcat NTup2 NTup3 NTup5 | |
| TupConcat NTup2 NTup2 NTup4 | |
| TupConcat NTup2 NTup1 NTup3 | |
| TupConcat NTup2 NTup0 NTup2 | |
| TupConcat NTup1 NTup2 NTup3 | |
| TupConcat NTup1 NTup1 NTup2 | |
| TupConcat NTup0 NTup2 NTup2 | |
| Bounded a => Bounded (NTup2 a) | |
| Eq a => Eq (NTup2 a) | |
| Fractional a => Fractional (NTup2 a) | |
| Num a => Num (NTup2 a) | |
| Ord a => Ord (NTup2 a) | |
| Read a => Read (NTup2 a) | |
| Show a => Show (NTup2 a) | |
| Storable a => Storable (NTup2 a) | |
| Monoid a => Monoid (NTup2 a) |
Constructors
| NTup3 (a, a, a) |
Instances
| Functor NTup3 | |
| Applicative NTup3 | |
| Foldable NTup3 | |
| Traversable NTup3 | |
| Tup NTup3 | |
| TupConcat NTup6 NTup3 NTup9 | |
| TupConcat NTup5 NTup3 NTup8 | |
| TupConcat NTup4 NTup3 NTup7 | |
| TupConcat NTup3 NTup6 NTup9 | |
| TupConcat NTup3 NTup5 NTup8 | |
| TupConcat NTup3 NTup4 NTup7 | |
| TupConcat NTup3 NTup3 NTup6 | |
| TupConcat NTup3 NTup2 NTup5 | |
| TupConcat NTup3 NTup1 NTup4 | |
| TupConcat NTup3 NTup0 NTup3 | |
| TupConcat NTup2 NTup3 NTup5 | |
| TupConcat NTup2 NTup1 NTup3 | |
| TupConcat NTup1 NTup3 NTup4 | |
| TupConcat NTup1 NTup2 NTup3 | |
| TupConcat NTup0 NTup3 NTup3 | |
| Bounded a => Bounded (NTup3 a) | |
| Eq a => Eq (NTup3 a) | |
| Fractional a => Fractional (NTup3 a) | |
| Num a => Num (NTup3 a) | |
| Ord a => Ord (NTup3 a) | |
| Read a => Read (NTup3 a) | |
| Show a => Show (NTup3 a) | |
| Storable a => Storable (NTup3 a) | |
| Monoid a => Monoid (NTup3 a) |
Constructors
| NTup4 (a, a, a, a) |
Instances
| Functor NTup4 | |
| Applicative NTup4 | |
| Foldable NTup4 | |
| Traversable NTup4 | |
| Tup NTup4 | |
| TupConcat NTup5 NTup4 NTup9 | |
| TupConcat NTup4 NTup5 NTup9 | |
| TupConcat NTup4 NTup4 NTup8 | |
| TupConcat NTup4 NTup3 NTup7 | |
| TupConcat NTup4 NTup2 NTup6 | |
| TupConcat NTup4 NTup1 NTup5 | |
| TupConcat NTup4 NTup0 NTup4 | |
| TupConcat NTup3 NTup4 NTup7 | |
| TupConcat NTup3 NTup1 NTup4 | |
| TupConcat NTup2 NTup4 NTup6 | |
| TupConcat NTup2 NTup2 NTup4 | |
| TupConcat NTup1 NTup4 NTup5 | |
| TupConcat NTup1 NTup3 NTup4 | |
| TupConcat NTup0 NTup4 NTup4 | |
| Bounded a => Bounded (NTup4 a) | |
| Eq a => Eq (NTup4 a) | |
| Fractional a => Fractional (NTup4 a) | |
| Num a => Num (NTup4 a) | |
| Ord a => Ord (NTup4 a) | |
| Read a => Read (NTup4 a) | |
| Show a => Show (NTup4 a) | |
| Storable a => Storable (NTup4 a) | |
| Monoid a => Monoid (NTup4 a) |
Constructors
| NTup5 (a, a, a, a, a) |
Instances
| Functor NTup5 | |
| Applicative NTup5 | |
| Foldable NTup5 | |
| Traversable NTup5 | |
| Tup NTup5 | |
| TupConcat NTup5 NTup4 NTup9 | |
| TupConcat NTup5 NTup3 NTup8 | |
| TupConcat NTup5 NTup2 NTup7 | |
| TupConcat NTup5 NTup1 NTup6 | |
| TupConcat NTup5 NTup0 NTup5 | |
| TupConcat NTup4 NTup5 NTup9 | |
| TupConcat NTup4 NTup1 NTup5 | |
| TupConcat NTup3 NTup5 NTup8 | |
| TupConcat NTup3 NTup2 NTup5 | |
| TupConcat NTup2 NTup5 NTup7 | |
| TupConcat NTup2 NTup3 NTup5 | |
| TupConcat NTup1 NTup5 NTup6 | |
| TupConcat NTup1 NTup4 NTup5 | |
| TupConcat NTup0 NTup5 NTup5 | |
| Bounded a => Bounded (NTup5 a) | |
| Eq a => Eq (NTup5 a) | |
| Fractional a => Fractional (NTup5 a) | |
| Num a => Num (NTup5 a) | |
| Ord a => Ord (NTup5 a) | |
| Read a => Read (NTup5 a) | |
| Show a => Show (NTup5 a) | |
| Storable a => Storable (NTup5 a) | |
| Monoid a => Monoid (NTup5 a) |
Constructors
| NTup6 (a, a, a, a, a, a) |
Instances
| Functor NTup6 | |
| Applicative NTup6 | |
| Foldable NTup6 | |
| Traversable NTup6 | |
| Tup NTup6 | |
| TupConcat NTup6 NTup3 NTup9 | |
| TupConcat NTup6 NTup2 NTup8 | |
| TupConcat NTup6 NTup1 NTup7 | |
| TupConcat NTup6 NTup0 NTup6 | |
| TupConcat NTup5 NTup1 NTup6 | |
| TupConcat NTup4 NTup2 NTup6 | |
| TupConcat NTup3 NTup6 NTup9 | |
| TupConcat NTup3 NTup3 NTup6 | |
| TupConcat NTup2 NTup6 NTup8 | |
| TupConcat NTup2 NTup4 NTup6 | |
| TupConcat NTup1 NTup6 NTup7 | |
| TupConcat NTup1 NTup5 NTup6 | |
| TupConcat NTup0 NTup6 NTup6 | |
| Bounded a => Bounded (NTup6 a) | |
| Eq a => Eq (NTup6 a) | |
| Fractional a => Fractional (NTup6 a) | |
| Num a => Num (NTup6 a) | |
| Ord a => Ord (NTup6 a) | |
| Read a => Read (NTup6 a) | |
| Show a => Show (NTup6 a) | |
| Storable a => Storable (NTup6 a) | |
| Monoid a => Monoid (NTup6 a) |
Constructors
| NTup7 (a, a, a, a, a, a, a) |
Instances
| Functor NTup7 | |
| Applicative NTup7 | |
| Foldable NTup7 | |
| Traversable NTup7 | |
| Tup NTup7 | |
| TupConcat NTup7 NTup2 NTup9 | |
| TupConcat NTup7 NTup1 NTup8 | |
| TupConcat NTup7 NTup0 NTup7 | |
| TupConcat NTup6 NTup1 NTup7 | |
| TupConcat NTup5 NTup2 NTup7 | |
| TupConcat NTup4 NTup3 NTup7 | |
| TupConcat NTup3 NTup4 NTup7 | |
| TupConcat NTup2 NTup7 NTup9 | |
| TupConcat NTup2 NTup5 NTup7 | |
| TupConcat NTup1 NTup7 NTup8 | |
| TupConcat NTup1 NTup6 NTup7 | |
| TupConcat NTup0 NTup7 NTup7 | |
| Bounded a => Bounded (NTup7 a) | |
| Eq a => Eq (NTup7 a) | |
| Fractional a => Fractional (NTup7 a) | |
| Num a => Num (NTup7 a) | |
| Ord a => Ord (NTup7 a) | |
| Read a => Read (NTup7 a) | |
| Show a => Show (NTup7 a) | |
| Storable a => Storable (NTup7 a) | |
| Monoid a => Monoid (NTup7 a) |
Constructors
| NTup8 (a, a, a, a, a, a, a, a) |
Instances
| Functor NTup8 | |
| Applicative NTup8 | |
| Foldable NTup8 | |
| Traversable NTup8 | |
| Tup NTup8 | |
| TupConcat NTup8 NTup1 NTup9 | |
| TupConcat NTup8 NTup0 NTup8 | |
| TupConcat NTup7 NTup1 NTup8 | |
| TupConcat NTup6 NTup2 NTup8 | |
| TupConcat NTup5 NTup3 NTup8 | |
| TupConcat NTup4 NTup4 NTup8 | |
| TupConcat NTup3 NTup5 NTup8 | |
| TupConcat NTup2 NTup6 NTup8 | |
| TupConcat NTup1 NTup8 NTup9 | |
| TupConcat NTup1 NTup7 NTup8 | |
| TupConcat NTup0 NTup8 NTup8 | |
| Bounded a => Bounded (NTup8 a) | |
| Eq a => Eq (NTup8 a) | |
| Fractional a => Fractional (NTup8 a) | |
| Num a => Num (NTup8 a) | |
| Ord a => Ord (NTup8 a) | |
| Read a => Read (NTup8 a) | |
| Show a => Show (NTup8 a) | |
| Storable a => Storable (NTup8 a) | |
| Monoid a => Monoid (NTup8 a) |
Constructors
| NTup9 (a, a, a, a, a, a, a, a, a) |
Instances
| Functor NTup9 | |
| Applicative NTup9 | |
| Foldable NTup9 | |
| Traversable NTup9 | |
| Tup NTup9 | |
| TupConcat NTup9 NTup0 NTup9 | |
| TupConcat NTup8 NTup1 NTup9 | |
| TupConcat NTup7 NTup2 NTup9 | |
| TupConcat NTup6 NTup3 NTup9 | |
| TupConcat NTup5 NTup4 NTup9 | |
| TupConcat NTup4 NTup5 NTup9 | |
| TupConcat NTup3 NTup6 NTup9 | |
| TupConcat NTup2 NTup7 NTup9 | |
| TupConcat NTup1 NTup8 NTup9 | |
| TupConcat NTup0 NTup9 NTup9 | |
| Bounded a => Bounded (NTup9 a) | |
| Eq a => Eq (NTup9 a) | |
| Fractional a => Fractional (NTup9 a) | |
| Num a => Num (NTup9 a) | |
| Ord a => Ord (NTup9 a) | |
| Read a => Read (NTup9 a) | |
| Show a => Show (NTup9 a) | |
| Storable a => Storable (NTup9 a) | |
| Monoid a => Monoid (NTup9 a) |