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
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) |
NTup1 a |
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) |
NTup2 (a, a) |
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) |
NTup3 (a, a, a) |
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) |
NTup4 (a, a, a, a) |
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) |
NTup5 (a, a, a, a, a) |
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) |
NTup6 (a, a, a, a, a, a) |
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) |
NTup7 (a, a, a, a, a, a, a) |
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) |
NTup8 (a, a, a, a, a, a, a, a) |
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) |
NTup9 (a, a, a, a, a, a, a, a, a) |
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) |