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