Safe Haskell	None
Language	Haskell98

Data.Tup.Newtype

Contents

newtyped tuples
constructing NTups
deconstructing NTups

Description

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

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

Synopsis

newtyped tuples

data NTup0 a Source #

Constructors

NTup0

Instances

Functor NTup0 Source #
Methods fmap :: (a -> b) -> NTup0 a -> NTup0 b # (<$) :: a -> NTup0 b -> NTup0 a #
Applicative NTup0 Source #
Methods pure :: a -> NTup0 a # (<>) :: NTup0 (a -> b) -> NTup0 a -> NTup0 b # (>) :: NTup0 a -> NTup0 b -> NTup0 b # (<*) :: NTup0 a -> NTup0 b -> NTup0 a #
Foldable NTup0 Source #
Methods fold :: Monoid m => NTup0 m -> m # foldMap :: Monoid m => (a -> m) -> NTup0 a -> m # foldr :: (a -> b -> b) -> b -> NTup0 a -> b # foldr' :: (a -> b -> b) -> b -> NTup0 a -> b # foldl :: (b -> a -> b) -> b -> NTup0 a -> b # foldl' :: (b -> a -> b) -> b -> NTup0 a -> b # foldr1 :: (a -> a -> a) -> NTup0 a -> a # foldl1 :: (a -> a -> a) -> NTup0 a -> a # toList :: NTup0 a -> [a] # null :: NTup0 a -> Bool # length :: NTup0 a -> Int # elem :: Eq a => a -> NTup0 a -> Bool # maximum :: Ord a => NTup0 a -> a # minimum :: Ord a => NTup0 a -> a # sum :: Num a => NTup0 a -> a # product :: Num a => NTup0 a -> a #
Traversable NTup0 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup0 a -> f (NTup0 b) # sequenceA :: Applicative f => NTup0 (f a) -> f (NTup0 a) # mapM :: Monad m => (a -> m b) -> NTup0 a -> m (NTup0 b) # sequence :: Monad m => NTup0 (m a) -> m (NTup0 a) #
Tup NTup0 Source #
Methods tupSize :: NTup0 a -> Int Source # tupToList :: NTup0 a -> [a] Source # tupFromList :: [a] -> NTup0 a Source # tupProxy :: NTup0 a -> Proxy * a Source # tupUndef :: NTup0 a -> a Source # constantTup :: a -> NTup0 a Source # undefinedTup :: NTup0 a Source #
TupConcat NTup9 NTup0 NTup9 Source #
Methods tupConcat :: NTup9 a -> NTup0 a -> NTup9 a Source #
TupConcat NTup8 NTup0 NTup8 Source #
Methods tupConcat :: NTup8 a -> NTup0 a -> NTup8 a Source #
TupConcat NTup7 NTup0 NTup7 Source #
Methods tupConcat :: NTup7 a -> NTup0 a -> NTup7 a Source #
TupConcat NTup6 NTup0 NTup6 Source #
Methods tupConcat :: NTup6 a -> NTup0 a -> NTup6 a Source #
TupConcat NTup5 NTup0 NTup5 Source #
Methods tupConcat :: NTup5 a -> NTup0 a -> NTup5 a Source #
TupConcat NTup4 NTup0 NTup4 Source #
Methods tupConcat :: NTup4 a -> NTup0 a -> NTup4 a Source #
TupConcat NTup3 NTup0 NTup3 Source #
Methods tupConcat :: NTup3 a -> NTup0 a -> NTup3 a Source #
TupConcat NTup2 NTup0 NTup2 Source #
Methods tupConcat :: NTup2 a -> NTup0 a -> NTup2 a Source #
TupConcat NTup1 NTup0 NTup1 Source #
Methods tupConcat :: NTup1 a -> NTup0 a -> NTup1 a Source #
TupConcat NTup0 NTup9 NTup9 Source #
Methods tupConcat :: NTup0 a -> NTup9 a -> NTup9 a Source #
TupConcat NTup0 NTup8 NTup8 Source #
Methods tupConcat :: NTup0 a -> NTup8 a -> NTup8 a Source #
TupConcat NTup0 NTup7 NTup7 Source #
Methods tupConcat :: NTup0 a -> NTup7 a -> NTup7 a Source #
TupConcat NTup0 NTup6 NTup6 Source #
Methods tupConcat :: NTup0 a -> NTup6 a -> NTup6 a Source #
TupConcat NTup0 NTup5 NTup5 Source #
Methods tupConcat :: NTup0 a -> NTup5 a -> NTup5 a Source #
TupConcat NTup0 NTup4 NTup4 Source #
Methods tupConcat :: NTup0 a -> NTup4 a -> NTup4 a Source #
TupConcat NTup0 NTup3 NTup3 Source #
Methods tupConcat :: NTup0 a -> NTup3 a -> NTup3 a Source #
TupConcat NTup0 NTup2 NTup2 Source #
Methods tupConcat :: NTup0 a -> NTup2 a -> NTup2 a Source #
TupConcat NTup0 NTup1 NTup1 Source #
Methods tupConcat :: NTup0 a -> NTup1 a -> NTup1 a Source #
TupConcat NTup0 NTup0 NTup0 Source #
Methods tupConcat :: NTup0 a -> NTup0 a -> NTup0 a Source #
Bounded (NTup0 a) Source #
Methods minBound :: NTup0 a # maxBound :: NTup0 a #
Eq (NTup0 a) Source #
Methods (==) :: NTup0 a -> NTup0 a -> Bool # (/=) :: NTup0 a -> NTup0 a -> Bool #
Fractional a => Fractional (NTup0 a) Source #
Methods (/) :: NTup0 a -> NTup0 a -> NTup0 a # recip :: NTup0 a -> NTup0 a # fromRational :: Rational -> NTup0 a #
Num a => Num (NTup0 a) Source #
Methods (+) :: NTup0 a -> NTup0 a -> NTup0 a # (-) :: NTup0 a -> NTup0 a -> NTup0 a # (*) :: NTup0 a -> NTup0 a -> NTup0 a # negate :: NTup0 a -> NTup0 a # abs :: NTup0 a -> NTup0 a # signum :: NTup0 a -> NTup0 a # fromInteger :: Integer -> NTup0 a #
Ord (NTup0 a) Source #
Methods compare :: NTup0 a -> NTup0 a -> Ordering # (<) :: NTup0 a -> NTup0 a -> Bool # (<=) :: NTup0 a -> NTup0 a -> Bool # (>) :: NTup0 a -> NTup0 a -> Bool # (>=) :: NTup0 a -> NTup0 a -> Bool # max :: NTup0 a -> NTup0 a -> NTup0 a # min :: NTup0 a -> NTup0 a -> NTup0 a #
Read (NTup0 a) Source #
Methods readsPrec :: Int -> ReadS (NTup0 a) # readList :: ReadS [NTup0 a] # readPrec :: ReadPrec (NTup0 a) # readListPrec :: ReadPrec [NTup0 a] #
Show (NTup0 a) Source #
Methods showsPrec :: Int -> NTup0 a -> ShowS # show :: NTup0 a -> String # showList :: [NTup0 a] -> ShowS #
Monoid a => Monoid (NTup0 a) Source #
Methods mempty :: NTup0 a # mappend :: NTup0 a -> NTup0 a -> NTup0 a # mconcat :: [NTup0 a] -> NTup0 a #
Storable a => Storable (NTup0 a) Source #
Methods sizeOf :: NTup0 a -> Int # alignment :: NTup0 a -> Int # peekElemOff :: Ptr (NTup0 a) -> Int -> IO (NTup0 a) # pokeElemOff :: Ptr (NTup0 a) -> Int -> NTup0 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup0 a) # pokeByteOff :: Ptr b -> Int -> NTup0 a -> IO () # peek :: Ptr (NTup0 a) -> IO (NTup0 a) # poke :: Ptr (NTup0 a) -> NTup0 a -> IO () #

newtype NTup1 a Source #

Constructors

NTup1 a

Instances

Functor NTup1 Source #
Methods fmap :: (a -> b) -> NTup1 a -> NTup1 b # (<$) :: a -> NTup1 b -> NTup1 a #
Applicative NTup1 Source #
Methods pure :: a -> NTup1 a # (<>) :: NTup1 (a -> b) -> NTup1 a -> NTup1 b # (>) :: NTup1 a -> NTup1 b -> NTup1 b # (<*) :: NTup1 a -> NTup1 b -> NTup1 a #
Foldable NTup1 Source #
Methods fold :: Monoid m => NTup1 m -> m # foldMap :: Monoid m => (a -> m) -> NTup1 a -> m # foldr :: (a -> b -> b) -> b -> NTup1 a -> b # foldr' :: (a -> b -> b) -> b -> NTup1 a -> b # foldl :: (b -> a -> b) -> b -> NTup1 a -> b # foldl' :: (b -> a -> b) -> b -> NTup1 a -> b # foldr1 :: (a -> a -> a) -> NTup1 a -> a # foldl1 :: (a -> a -> a) -> NTup1 a -> a # toList :: NTup1 a -> [a] # null :: NTup1 a -> Bool # length :: NTup1 a -> Int # elem :: Eq a => a -> NTup1 a -> Bool # maximum :: Ord a => NTup1 a -> a # minimum :: Ord a => NTup1 a -> a # sum :: Num a => NTup1 a -> a # product :: Num a => NTup1 a -> a #
Traversable NTup1 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup1 a -> f (NTup1 b) # sequenceA :: Applicative f => NTup1 (f a) -> f (NTup1 a) # mapM :: Monad m => (a -> m b) -> NTup1 a -> m (NTup1 b) # sequence :: Monad m => NTup1 (m a) -> m (NTup1 a) #
Tup NTup1 Source #
Methods tupSize :: NTup1 a -> Int Source # tupToList :: NTup1 a -> [a] Source # tupFromList :: [a] -> NTup1 a Source # tupProxy :: NTup1 a -> Proxy * a Source # tupUndef :: NTup1 a -> a Source # constantTup :: a -> NTup1 a Source # undefinedTup :: NTup1 a Source #
TupConcat NTup8 NTup1 NTup9 Source #
Methods tupConcat :: NTup8 a -> NTup1 a -> NTup9 a Source #
TupConcat NTup7 NTup1 NTup8 Source #
Methods tupConcat :: NTup7 a -> NTup1 a -> NTup8 a Source #
TupConcat NTup6 NTup1 NTup7 Source #
Methods tupConcat :: NTup6 a -> NTup1 a -> NTup7 a Source #
TupConcat NTup5 NTup1 NTup6 Source #
Methods tupConcat :: NTup5 a -> NTup1 a -> NTup6 a Source #
TupConcat NTup4 NTup1 NTup5 Source #
Methods tupConcat :: NTup4 a -> NTup1 a -> NTup5 a Source #
TupConcat NTup3 NTup1 NTup4 Source #
Methods tupConcat :: NTup3 a -> NTup1 a -> NTup4 a Source #
TupConcat NTup2 NTup1 NTup3 Source #
Methods tupConcat :: NTup2 a -> NTup1 a -> NTup3 a Source #
TupConcat NTup1 NTup8 NTup9 Source #
Methods tupConcat :: NTup1 a -> NTup8 a -> NTup9 a Source #
TupConcat NTup1 NTup7 NTup8 Source #
Methods tupConcat :: NTup1 a -> NTup7 a -> NTup8 a Source #
TupConcat NTup1 NTup6 NTup7 Source #
Methods tupConcat :: NTup1 a -> NTup6 a -> NTup7 a Source #
TupConcat NTup1 NTup5 NTup6 Source #
Methods tupConcat :: NTup1 a -> NTup5 a -> NTup6 a Source #
TupConcat NTup1 NTup4 NTup5 Source #
Methods tupConcat :: NTup1 a -> NTup4 a -> NTup5 a Source #
TupConcat NTup1 NTup3 NTup4 Source #
Methods tupConcat :: NTup1 a -> NTup3 a -> NTup4 a Source #
TupConcat NTup1 NTup2 NTup3 Source #
Methods tupConcat :: NTup1 a -> NTup2 a -> NTup3 a Source #
TupConcat NTup1 NTup1 NTup2 Source #
Methods tupConcat :: NTup1 a -> NTup1 a -> NTup2 a Source #
TupConcat NTup1 NTup0 NTup1 Source #
Methods tupConcat :: NTup1 a -> NTup0 a -> NTup1 a Source #
TupConcat NTup0 NTup1 NTup1 Source #
Methods tupConcat :: NTup0 a -> NTup1 a -> NTup1 a Source #
Bounded a => Bounded (NTup1 a) Source #
Methods minBound :: NTup1 a # maxBound :: NTup1 a #
Eq a => Eq (NTup1 a) Source #
Methods (==) :: NTup1 a -> NTup1 a -> Bool # (/=) :: NTup1 a -> NTup1 a -> Bool #
Fractional a => Fractional (NTup1 a) Source #
Methods (/) :: NTup1 a -> NTup1 a -> NTup1 a # recip :: NTup1 a -> NTup1 a # fromRational :: Rational -> NTup1 a #
Num a => Num (NTup1 a) Source #
Methods (+) :: NTup1 a -> NTup1 a -> NTup1 a # (-) :: NTup1 a -> NTup1 a -> NTup1 a # (*) :: NTup1 a -> NTup1 a -> NTup1 a # negate :: NTup1 a -> NTup1 a # abs :: NTup1 a -> NTup1 a # signum :: NTup1 a -> NTup1 a # fromInteger :: Integer -> NTup1 a #
Ord a => Ord (NTup1 a) Source #
Methods compare :: NTup1 a -> NTup1 a -> Ordering # (<) :: NTup1 a -> NTup1 a -> Bool # (<=) :: NTup1 a -> NTup1 a -> Bool # (>) :: NTup1 a -> NTup1 a -> Bool # (>=) :: NTup1 a -> NTup1 a -> Bool # max :: NTup1 a -> NTup1 a -> NTup1 a # min :: NTup1 a -> NTup1 a -> NTup1 a #
Read a => Read (NTup1 a) Source #
Methods readsPrec :: Int -> ReadS (NTup1 a) # readList :: ReadS [NTup1 a] # readPrec :: ReadPrec (NTup1 a) # readListPrec :: ReadPrec [NTup1 a] #
Show a => Show (NTup1 a) Source #
Methods showsPrec :: Int -> NTup1 a -> ShowS # show :: NTup1 a -> String # showList :: [NTup1 a] -> ShowS #
Monoid a => Monoid (NTup1 a) Source #
Methods mempty :: NTup1 a # mappend :: NTup1 a -> NTup1 a -> NTup1 a # mconcat :: [NTup1 a] -> NTup1 a #
Storable a => Storable (NTup1 a) Source #
Methods sizeOf :: NTup1 a -> Int # alignment :: NTup1 a -> Int # peekElemOff :: Ptr (NTup1 a) -> Int -> IO (NTup1 a) # pokeElemOff :: Ptr (NTup1 a) -> Int -> NTup1 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup1 a) # pokeByteOff :: Ptr b -> Int -> NTup1 a -> IO () # peek :: Ptr (NTup1 a) -> IO (NTup1 a) # poke :: Ptr (NTup1 a) -> NTup1 a -> IO () #

newtype NTup2 a Source #

Constructors

NTup2 (a, a)

Instances

Functor NTup2 Source #
Methods fmap :: (a -> b) -> NTup2 a -> NTup2 b # (<$) :: a -> NTup2 b -> NTup2 a #
Applicative NTup2 Source #
Methods pure :: a -> NTup2 a # (<>) :: NTup2 (a -> b) -> NTup2 a -> NTup2 b # (>) :: NTup2 a -> NTup2 b -> NTup2 b # (<*) :: NTup2 a -> NTup2 b -> NTup2 a #
Foldable NTup2 Source #
Methods fold :: Monoid m => NTup2 m -> m # foldMap :: Monoid m => (a -> m) -> NTup2 a -> m # foldr :: (a -> b -> b) -> b -> NTup2 a -> b # foldr' :: (a -> b -> b) -> b -> NTup2 a -> b # foldl :: (b -> a -> b) -> b -> NTup2 a -> b # foldl' :: (b -> a -> b) -> b -> NTup2 a -> b # foldr1 :: (a -> a -> a) -> NTup2 a -> a # foldl1 :: (a -> a -> a) -> NTup2 a -> a # toList :: NTup2 a -> [a] # null :: NTup2 a -> Bool # length :: NTup2 a -> Int # elem :: Eq a => a -> NTup2 a -> Bool # maximum :: Ord a => NTup2 a -> a # minimum :: Ord a => NTup2 a -> a # sum :: Num a => NTup2 a -> a # product :: Num a => NTup2 a -> a #
Traversable NTup2 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup2 a -> f (NTup2 b) # sequenceA :: Applicative f => NTup2 (f a) -> f (NTup2 a) # mapM :: Monad m => (a -> m b) -> NTup2 a -> m (NTup2 b) # sequence :: Monad m => NTup2 (m a) -> m (NTup2 a) #
Tup NTup2 Source #
Methods tupSize :: NTup2 a -> Int Source # tupToList :: NTup2 a -> [a] Source # tupFromList :: [a] -> NTup2 a Source # tupProxy :: NTup2 a -> Proxy * a Source # tupUndef :: NTup2 a -> a Source # constantTup :: a -> NTup2 a Source # undefinedTup :: NTup2 a Source #
TupConcat NTup7 NTup2 NTup9 Source #
Methods tupConcat :: NTup7 a -> NTup2 a -> NTup9 a Source #
TupConcat NTup6 NTup2 NTup8 Source #
Methods tupConcat :: NTup6 a -> NTup2 a -> NTup8 a Source #
TupConcat NTup5 NTup2 NTup7 Source #
Methods tupConcat :: NTup5 a -> NTup2 a -> NTup7 a Source #
TupConcat NTup4 NTup2 NTup6 Source #
Methods tupConcat :: NTup4 a -> NTup2 a -> NTup6 a Source #
TupConcat NTup3 NTup2 NTup5 Source #
Methods tupConcat :: NTup3 a -> NTup2 a -> NTup5 a Source #
TupConcat NTup2 NTup7 NTup9 Source #
Methods tupConcat :: NTup2 a -> NTup7 a -> NTup9 a Source #
TupConcat NTup2 NTup6 NTup8 Source #
Methods tupConcat :: NTup2 a -> NTup6 a -> NTup8 a Source #
TupConcat NTup2 NTup5 NTup7 Source #
Methods tupConcat :: NTup2 a -> NTup5 a -> NTup7 a Source #
TupConcat NTup2 NTup4 NTup6 Source #
Methods tupConcat :: NTup2 a -> NTup4 a -> NTup6 a Source #
TupConcat NTup2 NTup3 NTup5 Source #
Methods tupConcat :: NTup2 a -> NTup3 a -> NTup5 a Source #
TupConcat NTup2 NTup2 NTup4 Source #
Methods tupConcat :: NTup2 a -> NTup2 a -> NTup4 a Source #
TupConcat NTup2 NTup1 NTup3 Source #
Methods tupConcat :: NTup2 a -> NTup1 a -> NTup3 a Source #
TupConcat NTup2 NTup0 NTup2 Source #
Methods tupConcat :: NTup2 a -> NTup0 a -> NTup2 a Source #
TupConcat NTup1 NTup2 NTup3 Source #
Methods tupConcat :: NTup1 a -> NTup2 a -> NTup3 a Source #
TupConcat NTup1 NTup1 NTup2 Source #
Methods tupConcat :: NTup1 a -> NTup1 a -> NTup2 a Source #
TupConcat NTup0 NTup2 NTup2 Source #
Methods tupConcat :: NTup0 a -> NTup2 a -> NTup2 a Source #
Bounded a => Bounded (NTup2 a) Source #
Methods minBound :: NTup2 a # maxBound :: NTup2 a #
Eq a => Eq (NTup2 a) Source #
Methods (==) :: NTup2 a -> NTup2 a -> Bool # (/=) :: NTup2 a -> NTup2 a -> Bool #
Fractional a => Fractional (NTup2 a) Source #
Methods (/) :: NTup2 a -> NTup2 a -> NTup2 a # recip :: NTup2 a -> NTup2 a # fromRational :: Rational -> NTup2 a #
Num a => Num (NTup2 a) Source #
Methods (+) :: NTup2 a -> NTup2 a -> NTup2 a # (-) :: NTup2 a -> NTup2 a -> NTup2 a # (*) :: NTup2 a -> NTup2 a -> NTup2 a # negate :: NTup2 a -> NTup2 a # abs :: NTup2 a -> NTup2 a # signum :: NTup2 a -> NTup2 a # fromInteger :: Integer -> NTup2 a #
Ord a => Ord (NTup2 a) Source #
Methods compare :: NTup2 a -> NTup2 a -> Ordering # (<) :: NTup2 a -> NTup2 a -> Bool # (<=) :: NTup2 a -> NTup2 a -> Bool # (>) :: NTup2 a -> NTup2 a -> Bool # (>=) :: NTup2 a -> NTup2 a -> Bool # max :: NTup2 a -> NTup2 a -> NTup2 a # min :: NTup2 a -> NTup2 a -> NTup2 a #
Read a => Read (NTup2 a) Source #
Methods readsPrec :: Int -> ReadS (NTup2 a) # readList :: ReadS [NTup2 a] # readPrec :: ReadPrec (NTup2 a) # readListPrec :: ReadPrec [NTup2 a] #
Show a => Show (NTup2 a) Source #
Methods showsPrec :: Int -> NTup2 a -> ShowS # show :: NTup2 a -> String # showList :: [NTup2 a] -> ShowS #
Monoid a => Monoid (NTup2 a) Source #
Methods mempty :: NTup2 a # mappend :: NTup2 a -> NTup2 a -> NTup2 a # mconcat :: [NTup2 a] -> NTup2 a #
Storable a => Storable (NTup2 a) Source #
Methods sizeOf :: NTup2 a -> Int # alignment :: NTup2 a -> Int # peekElemOff :: Ptr (NTup2 a) -> Int -> IO (NTup2 a) # pokeElemOff :: Ptr (NTup2 a) -> Int -> NTup2 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup2 a) # pokeByteOff :: Ptr b -> Int -> NTup2 a -> IO () # peek :: Ptr (NTup2 a) -> IO (NTup2 a) # poke :: Ptr (NTup2 a) -> NTup2 a -> IO () #

newtype NTup3 a Source #

Constructors

NTup3 (a, a, a)

Instances

Functor NTup3 Source #
Methods fmap :: (a -> b) -> NTup3 a -> NTup3 b # (<$) :: a -> NTup3 b -> NTup3 a #
Applicative NTup3 Source #
Methods pure :: a -> NTup3 a # (<>) :: NTup3 (a -> b) -> NTup3 a -> NTup3 b # (>) :: NTup3 a -> NTup3 b -> NTup3 b # (<*) :: NTup3 a -> NTup3 b -> NTup3 a #
Foldable NTup3 Source #
Methods fold :: Monoid m => NTup3 m -> m # foldMap :: Monoid m => (a -> m) -> NTup3 a -> m # foldr :: (a -> b -> b) -> b -> NTup3 a -> b # foldr' :: (a -> b -> b) -> b -> NTup3 a -> b # foldl :: (b -> a -> b) -> b -> NTup3 a -> b # foldl' :: (b -> a -> b) -> b -> NTup3 a -> b # foldr1 :: (a -> a -> a) -> NTup3 a -> a # foldl1 :: (a -> a -> a) -> NTup3 a -> a # toList :: NTup3 a -> [a] # null :: NTup3 a -> Bool # length :: NTup3 a -> Int # elem :: Eq a => a -> NTup3 a -> Bool # maximum :: Ord a => NTup3 a -> a # minimum :: Ord a => NTup3 a -> a # sum :: Num a => NTup3 a -> a # product :: Num a => NTup3 a -> a #
Traversable NTup3 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup3 a -> f (NTup3 b) # sequenceA :: Applicative f => NTup3 (f a) -> f (NTup3 a) # mapM :: Monad m => (a -> m b) -> NTup3 a -> m (NTup3 b) # sequence :: Monad m => NTup3 (m a) -> m (NTup3 a) #
Tup NTup3 Source #
Methods tupSize :: NTup3 a -> Int Source # tupToList :: NTup3 a -> [a] Source # tupFromList :: [a] -> NTup3 a Source # tupProxy :: NTup3 a -> Proxy * a Source # tupUndef :: NTup3 a -> a Source # constantTup :: a -> NTup3 a Source # undefinedTup :: NTup3 a Source #
TupConcat NTup6 NTup3 NTup9 Source #
Methods tupConcat :: NTup6 a -> NTup3 a -> NTup9 a Source #
TupConcat NTup5 NTup3 NTup8 Source #
Methods tupConcat :: NTup5 a -> NTup3 a -> NTup8 a Source #
TupConcat NTup4 NTup3 NTup7 Source #
Methods tupConcat :: NTup4 a -> NTup3 a -> NTup7 a Source #
TupConcat NTup3 NTup6 NTup9 Source #
Methods tupConcat :: NTup3 a -> NTup6 a -> NTup9 a Source #
TupConcat NTup3 NTup5 NTup8 Source #
Methods tupConcat :: NTup3 a -> NTup5 a -> NTup8 a Source #
TupConcat NTup3 NTup4 NTup7 Source #
Methods tupConcat :: NTup3 a -> NTup4 a -> NTup7 a Source #
TupConcat NTup3 NTup3 NTup6 Source #
Methods tupConcat :: NTup3 a -> NTup3 a -> NTup6 a Source #
TupConcat NTup3 NTup2 NTup5 Source #
Methods tupConcat :: NTup3 a -> NTup2 a -> NTup5 a Source #
TupConcat NTup3 NTup1 NTup4 Source #
Methods tupConcat :: NTup3 a -> NTup1 a -> NTup4 a Source #
TupConcat NTup3 NTup0 NTup3 Source #
Methods tupConcat :: NTup3 a -> NTup0 a -> NTup3 a Source #
TupConcat NTup2 NTup3 NTup5 Source #
Methods tupConcat :: NTup2 a -> NTup3 a -> NTup5 a Source #
TupConcat NTup2 NTup1 NTup3 Source #
Methods tupConcat :: NTup2 a -> NTup1 a -> NTup3 a Source #
TupConcat NTup1 NTup3 NTup4 Source #
Methods tupConcat :: NTup1 a -> NTup3 a -> NTup4 a Source #
TupConcat NTup1 NTup2 NTup3 Source #
Methods tupConcat :: NTup1 a -> NTup2 a -> NTup3 a Source #
TupConcat NTup0 NTup3 NTup3 Source #
Methods tupConcat :: NTup0 a -> NTup3 a -> NTup3 a Source #
Bounded a => Bounded (NTup3 a) Source #
Methods minBound :: NTup3 a # maxBound :: NTup3 a #
Eq a => Eq (NTup3 a) Source #
Methods (==) :: NTup3 a -> NTup3 a -> Bool # (/=) :: NTup3 a -> NTup3 a -> Bool #
Fractional a => Fractional (NTup3 a) Source #
Methods (/) :: NTup3 a -> NTup3 a -> NTup3 a # recip :: NTup3 a -> NTup3 a # fromRational :: Rational -> NTup3 a #
Num a => Num (NTup3 a) Source #
Methods (+) :: NTup3 a -> NTup3 a -> NTup3 a # (-) :: NTup3 a -> NTup3 a -> NTup3 a # (*) :: NTup3 a -> NTup3 a -> NTup3 a # negate :: NTup3 a -> NTup3 a # abs :: NTup3 a -> NTup3 a # signum :: NTup3 a -> NTup3 a # fromInteger :: Integer -> NTup3 a #
Ord a => Ord (NTup3 a) Source #
Methods compare :: NTup3 a -> NTup3 a -> Ordering # (<) :: NTup3 a -> NTup3 a -> Bool # (<=) :: NTup3 a -> NTup3 a -> Bool # (>) :: NTup3 a -> NTup3 a -> Bool # (>=) :: NTup3 a -> NTup3 a -> Bool # max :: NTup3 a -> NTup3 a -> NTup3 a # min :: NTup3 a -> NTup3 a -> NTup3 a #
Read a => Read (NTup3 a) Source #
Methods readsPrec :: Int -> ReadS (NTup3 a) # readList :: ReadS [NTup3 a] # readPrec :: ReadPrec (NTup3 a) # readListPrec :: ReadPrec [NTup3 a] #
Show a => Show (NTup3 a) Source #
Methods showsPrec :: Int -> NTup3 a -> ShowS # show :: NTup3 a -> String # showList :: [NTup3 a] -> ShowS #
Monoid a => Monoid (NTup3 a) Source #
Methods mempty :: NTup3 a # mappend :: NTup3 a -> NTup3 a -> NTup3 a # mconcat :: [NTup3 a] -> NTup3 a #
Storable a => Storable (NTup3 a) Source #
Methods sizeOf :: NTup3 a -> Int # alignment :: NTup3 a -> Int # peekElemOff :: Ptr (NTup3 a) -> Int -> IO (NTup3 a) # pokeElemOff :: Ptr (NTup3 a) -> Int -> NTup3 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup3 a) # pokeByteOff :: Ptr b -> Int -> NTup3 a -> IO () # peek :: Ptr (NTup3 a) -> IO (NTup3 a) # poke :: Ptr (NTup3 a) -> NTup3 a -> IO () #

newtype NTup4 a Source #

Constructors

NTup4 (a, a, a, a)

Instances

Functor NTup4 Source #
Methods fmap :: (a -> b) -> NTup4 a -> NTup4 b # (<$) :: a -> NTup4 b -> NTup4 a #
Applicative NTup4 Source #
Methods pure :: a -> NTup4 a # (<>) :: NTup4 (a -> b) -> NTup4 a -> NTup4 b # (>) :: NTup4 a -> NTup4 b -> NTup4 b # (<*) :: NTup4 a -> NTup4 b -> NTup4 a #
Foldable NTup4 Source #
Methods fold :: Monoid m => NTup4 m -> m # foldMap :: Monoid m => (a -> m) -> NTup4 a -> m # foldr :: (a -> b -> b) -> b -> NTup4 a -> b # foldr' :: (a -> b -> b) -> b -> NTup4 a -> b # foldl :: (b -> a -> b) -> b -> NTup4 a -> b # foldl' :: (b -> a -> b) -> b -> NTup4 a -> b # foldr1 :: (a -> a -> a) -> NTup4 a -> a # foldl1 :: (a -> a -> a) -> NTup4 a -> a # toList :: NTup4 a -> [a] # null :: NTup4 a -> Bool # length :: NTup4 a -> Int # elem :: Eq a => a -> NTup4 a -> Bool # maximum :: Ord a => NTup4 a -> a # minimum :: Ord a => NTup4 a -> a # sum :: Num a => NTup4 a -> a # product :: Num a => NTup4 a -> a #
Traversable NTup4 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup4 a -> f (NTup4 b) # sequenceA :: Applicative f => NTup4 (f a) -> f (NTup4 a) # mapM :: Monad m => (a -> m b) -> NTup4 a -> m (NTup4 b) # sequence :: Monad m => NTup4 (m a) -> m (NTup4 a) #
Tup NTup4 Source #
Methods tupSize :: NTup4 a -> Int Source # tupToList :: NTup4 a -> [a] Source # tupFromList :: [a] -> NTup4 a Source # tupProxy :: NTup4 a -> Proxy * a Source # tupUndef :: NTup4 a -> a Source # constantTup :: a -> NTup4 a Source # undefinedTup :: NTup4 a Source #
TupConcat NTup5 NTup4 NTup9 Source #
Methods tupConcat :: NTup5 a -> NTup4 a -> NTup9 a Source #
TupConcat NTup4 NTup5 NTup9 Source #
Methods tupConcat :: NTup4 a -> NTup5 a -> NTup9 a Source #
TupConcat NTup4 NTup4 NTup8 Source #
Methods tupConcat :: NTup4 a -> NTup4 a -> NTup8 a Source #
TupConcat NTup4 NTup3 NTup7 Source #
Methods tupConcat :: NTup4 a -> NTup3 a -> NTup7 a Source #
TupConcat NTup4 NTup2 NTup6 Source #
Methods tupConcat :: NTup4 a -> NTup2 a -> NTup6 a Source #
TupConcat NTup4 NTup1 NTup5 Source #
Methods tupConcat :: NTup4 a -> NTup1 a -> NTup5 a Source #
TupConcat NTup4 NTup0 NTup4 Source #
Methods tupConcat :: NTup4 a -> NTup0 a -> NTup4 a Source #
TupConcat NTup3 NTup4 NTup7 Source #
Methods tupConcat :: NTup3 a -> NTup4 a -> NTup7 a Source #
TupConcat NTup3 NTup1 NTup4 Source #
Methods tupConcat :: NTup3 a -> NTup1 a -> NTup4 a Source #
TupConcat NTup2 NTup4 NTup6 Source #
Methods tupConcat :: NTup2 a -> NTup4 a -> NTup6 a Source #
TupConcat NTup2 NTup2 NTup4 Source #
Methods tupConcat :: NTup2 a -> NTup2 a -> NTup4 a Source #
TupConcat NTup1 NTup4 NTup5 Source #
Methods tupConcat :: NTup1 a -> NTup4 a -> NTup5 a Source #
TupConcat NTup1 NTup3 NTup4 Source #
Methods tupConcat :: NTup1 a -> NTup3 a -> NTup4 a Source #
TupConcat NTup0 NTup4 NTup4 Source #
Methods tupConcat :: NTup0 a -> NTup4 a -> NTup4 a Source #
Bounded a => Bounded (NTup4 a) Source #
Methods minBound :: NTup4 a # maxBound :: NTup4 a #
Eq a => Eq (NTup4 a) Source #
Methods (==) :: NTup4 a -> NTup4 a -> Bool # (/=) :: NTup4 a -> NTup4 a -> Bool #
Fractional a => Fractional (NTup4 a) Source #
Methods (/) :: NTup4 a -> NTup4 a -> NTup4 a # recip :: NTup4 a -> NTup4 a # fromRational :: Rational -> NTup4 a #
Num a => Num (NTup4 a) Source #
Methods (+) :: NTup4 a -> NTup4 a -> NTup4 a # (-) :: NTup4 a -> NTup4 a -> NTup4 a # (*) :: NTup4 a -> NTup4 a -> NTup4 a # negate :: NTup4 a -> NTup4 a # abs :: NTup4 a -> NTup4 a # signum :: NTup4 a -> NTup4 a # fromInteger :: Integer -> NTup4 a #
Ord a => Ord (NTup4 a) Source #
Methods compare :: NTup4 a -> NTup4 a -> Ordering # (<) :: NTup4 a -> NTup4 a -> Bool # (<=) :: NTup4 a -> NTup4 a -> Bool # (>) :: NTup4 a -> NTup4 a -> Bool # (>=) :: NTup4 a -> NTup4 a -> Bool # max :: NTup4 a -> NTup4 a -> NTup4 a # min :: NTup4 a -> NTup4 a -> NTup4 a #
Read a => Read (NTup4 a) Source #
Methods readsPrec :: Int -> ReadS (NTup4 a) # readList :: ReadS [NTup4 a] # readPrec :: ReadPrec (NTup4 a) # readListPrec :: ReadPrec [NTup4 a] #
Show a => Show (NTup4 a) Source #
Methods showsPrec :: Int -> NTup4 a -> ShowS # show :: NTup4 a -> String # showList :: [NTup4 a] -> ShowS #
Monoid a => Monoid (NTup4 a) Source #
Methods mempty :: NTup4 a # mappend :: NTup4 a -> NTup4 a -> NTup4 a # mconcat :: [NTup4 a] -> NTup4 a #
Storable a => Storable (NTup4 a) Source #
Methods sizeOf :: NTup4 a -> Int # alignment :: NTup4 a -> Int # peekElemOff :: Ptr (NTup4 a) -> Int -> IO (NTup4 a) # pokeElemOff :: Ptr (NTup4 a) -> Int -> NTup4 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup4 a) # pokeByteOff :: Ptr b -> Int -> NTup4 a -> IO () # peek :: Ptr (NTup4 a) -> IO (NTup4 a) # poke :: Ptr (NTup4 a) -> NTup4 a -> IO () #

newtype NTup5 a Source #

Constructors

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

Instances

Functor NTup5 Source #
Methods fmap :: (a -> b) -> NTup5 a -> NTup5 b # (<$) :: a -> NTup5 b -> NTup5 a #
Applicative NTup5 Source #
Methods pure :: a -> NTup5 a # (<>) :: NTup5 (a -> b) -> NTup5 a -> NTup5 b # (>) :: NTup5 a -> NTup5 b -> NTup5 b # (<*) :: NTup5 a -> NTup5 b -> NTup5 a #
Foldable NTup5 Source #
Methods fold :: Monoid m => NTup5 m -> m # foldMap :: Monoid m => (a -> m) -> NTup5 a -> m # foldr :: (a -> b -> b) -> b -> NTup5 a -> b # foldr' :: (a -> b -> b) -> b -> NTup5 a -> b # foldl :: (b -> a -> b) -> b -> NTup5 a -> b # foldl' :: (b -> a -> b) -> b -> NTup5 a -> b # foldr1 :: (a -> a -> a) -> NTup5 a -> a # foldl1 :: (a -> a -> a) -> NTup5 a -> a # toList :: NTup5 a -> [a] # null :: NTup5 a -> Bool # length :: NTup5 a -> Int # elem :: Eq a => a -> NTup5 a -> Bool # maximum :: Ord a => NTup5 a -> a # minimum :: Ord a => NTup5 a -> a # sum :: Num a => NTup5 a -> a # product :: Num a => NTup5 a -> a #
Traversable NTup5 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup5 a -> f (NTup5 b) # sequenceA :: Applicative f => NTup5 (f a) -> f (NTup5 a) # mapM :: Monad m => (a -> m b) -> NTup5 a -> m (NTup5 b) # sequence :: Monad m => NTup5 (m a) -> m (NTup5 a) #
Tup NTup5 Source #
Methods tupSize :: NTup5 a -> Int Source # tupToList :: NTup5 a -> [a] Source # tupFromList :: [a] -> NTup5 a Source # tupProxy :: NTup5 a -> Proxy * a Source # tupUndef :: NTup5 a -> a Source # constantTup :: a -> NTup5 a Source # undefinedTup :: NTup5 a Source #
TupConcat NTup5 NTup4 NTup9 Source #
Methods tupConcat :: NTup5 a -> NTup4 a -> NTup9 a Source #
TupConcat NTup5 NTup3 NTup8 Source #
Methods tupConcat :: NTup5 a -> NTup3 a -> NTup8 a Source #
TupConcat NTup5 NTup2 NTup7 Source #
Methods tupConcat :: NTup5 a -> NTup2 a -> NTup7 a Source #
TupConcat NTup5 NTup1 NTup6 Source #
Methods tupConcat :: NTup5 a -> NTup1 a -> NTup6 a Source #
TupConcat NTup5 NTup0 NTup5 Source #
Methods tupConcat :: NTup5 a -> NTup0 a -> NTup5 a Source #
TupConcat NTup4 NTup5 NTup9 Source #
Methods tupConcat :: NTup4 a -> NTup5 a -> NTup9 a Source #
TupConcat NTup4 NTup1 NTup5 Source #
Methods tupConcat :: NTup4 a -> NTup1 a -> NTup5 a Source #
TupConcat NTup3 NTup5 NTup8 Source #
Methods tupConcat :: NTup3 a -> NTup5 a -> NTup8 a Source #
TupConcat NTup3 NTup2 NTup5 Source #
Methods tupConcat :: NTup3 a -> NTup2 a -> NTup5 a Source #
TupConcat NTup2 NTup5 NTup7 Source #
Methods tupConcat :: NTup2 a -> NTup5 a -> NTup7 a Source #
TupConcat NTup2 NTup3 NTup5 Source #
Methods tupConcat :: NTup2 a -> NTup3 a -> NTup5 a Source #
TupConcat NTup1 NTup5 NTup6 Source #
Methods tupConcat :: NTup1 a -> NTup5 a -> NTup6 a Source #
TupConcat NTup1 NTup4 NTup5 Source #
Methods tupConcat :: NTup1 a -> NTup4 a -> NTup5 a Source #
TupConcat NTup0 NTup5 NTup5 Source #
Methods tupConcat :: NTup0 a -> NTup5 a -> NTup5 a Source #
Bounded a => Bounded (NTup5 a) Source #
Methods minBound :: NTup5 a # maxBound :: NTup5 a #
Eq a => Eq (NTup5 a) Source #
Methods (==) :: NTup5 a -> NTup5 a -> Bool # (/=) :: NTup5 a -> NTup5 a -> Bool #
Fractional a => Fractional (NTup5 a) Source #
Methods (/) :: NTup5 a -> NTup5 a -> NTup5 a # recip :: NTup5 a -> NTup5 a # fromRational :: Rational -> NTup5 a #
Num a => Num (NTup5 a) Source #
Methods (+) :: NTup5 a -> NTup5 a -> NTup5 a # (-) :: NTup5 a -> NTup5 a -> NTup5 a # (*) :: NTup5 a -> NTup5 a -> NTup5 a # negate :: NTup5 a -> NTup5 a # abs :: NTup5 a -> NTup5 a # signum :: NTup5 a -> NTup5 a # fromInteger :: Integer -> NTup5 a #
Ord a => Ord (NTup5 a) Source #
Methods compare :: NTup5 a -> NTup5 a -> Ordering # (<) :: NTup5 a -> NTup5 a -> Bool # (<=) :: NTup5 a -> NTup5 a -> Bool # (>) :: NTup5 a -> NTup5 a -> Bool # (>=) :: NTup5 a -> NTup5 a -> Bool # max :: NTup5 a -> NTup5 a -> NTup5 a # min :: NTup5 a -> NTup5 a -> NTup5 a #
Read a => Read (NTup5 a) Source #
Methods readsPrec :: Int -> ReadS (NTup5 a) # readList :: ReadS [NTup5 a] # readPrec :: ReadPrec (NTup5 a) # readListPrec :: ReadPrec [NTup5 a] #
Show a => Show (NTup5 a) Source #
Methods showsPrec :: Int -> NTup5 a -> ShowS # show :: NTup5 a -> String # showList :: [NTup5 a] -> ShowS #
Monoid a => Monoid (NTup5 a) Source #
Methods mempty :: NTup5 a # mappend :: NTup5 a -> NTup5 a -> NTup5 a # mconcat :: [NTup5 a] -> NTup5 a #
Storable a => Storable (NTup5 a) Source #
Methods sizeOf :: NTup5 a -> Int # alignment :: NTup5 a -> Int # peekElemOff :: Ptr (NTup5 a) -> Int -> IO (NTup5 a) # pokeElemOff :: Ptr (NTup5 a) -> Int -> NTup5 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup5 a) # pokeByteOff :: Ptr b -> Int -> NTup5 a -> IO () # peek :: Ptr (NTup5 a) -> IO (NTup5 a) # poke :: Ptr (NTup5 a) -> NTup5 a -> IO () #

newtype NTup6 a Source #

Constructors

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

Instances

Functor NTup6 Source #
Methods fmap :: (a -> b) -> NTup6 a -> NTup6 b # (<$) :: a -> NTup6 b -> NTup6 a #
Applicative NTup6 Source #
Methods pure :: a -> NTup6 a # (<>) :: NTup6 (a -> b) -> NTup6 a -> NTup6 b # (>) :: NTup6 a -> NTup6 b -> NTup6 b # (<*) :: NTup6 a -> NTup6 b -> NTup6 a #
Foldable NTup6 Source #
Methods fold :: Monoid m => NTup6 m -> m # foldMap :: Monoid m => (a -> m) -> NTup6 a -> m # foldr :: (a -> b -> b) -> b -> NTup6 a -> b # foldr' :: (a -> b -> b) -> b -> NTup6 a -> b # foldl :: (b -> a -> b) -> b -> NTup6 a -> b # foldl' :: (b -> a -> b) -> b -> NTup6 a -> b # foldr1 :: (a -> a -> a) -> NTup6 a -> a # foldl1 :: (a -> a -> a) -> NTup6 a -> a # toList :: NTup6 a -> [a] # null :: NTup6 a -> Bool # length :: NTup6 a -> Int # elem :: Eq a => a -> NTup6 a -> Bool # maximum :: Ord a => NTup6 a -> a # minimum :: Ord a => NTup6 a -> a # sum :: Num a => NTup6 a -> a # product :: Num a => NTup6 a -> a #
Traversable NTup6 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup6 a -> f (NTup6 b) # sequenceA :: Applicative f => NTup6 (f a) -> f (NTup6 a) # mapM :: Monad m => (a -> m b) -> NTup6 a -> m (NTup6 b) # sequence :: Monad m => NTup6 (m a) -> m (NTup6 a) #
Tup NTup6 Source #
Methods tupSize :: NTup6 a -> Int Source # tupToList :: NTup6 a -> [a] Source # tupFromList :: [a] -> NTup6 a Source # tupProxy :: NTup6 a -> Proxy * a Source # tupUndef :: NTup6 a -> a Source # constantTup :: a -> NTup6 a Source # undefinedTup :: NTup6 a Source #
TupConcat NTup6 NTup3 NTup9 Source #
Methods tupConcat :: NTup6 a -> NTup3 a -> NTup9 a Source #
TupConcat NTup6 NTup2 NTup8 Source #
Methods tupConcat :: NTup6 a -> NTup2 a -> NTup8 a Source #
TupConcat NTup6 NTup1 NTup7 Source #
Methods tupConcat :: NTup6 a -> NTup1 a -> NTup7 a Source #
TupConcat NTup6 NTup0 NTup6 Source #
Methods tupConcat :: NTup6 a -> NTup0 a -> NTup6 a Source #
TupConcat NTup5 NTup1 NTup6 Source #
Methods tupConcat :: NTup5 a -> NTup1 a -> NTup6 a Source #
TupConcat NTup4 NTup2 NTup6 Source #
Methods tupConcat :: NTup4 a -> NTup2 a -> NTup6 a Source #
TupConcat NTup3 NTup6 NTup9 Source #
Methods tupConcat :: NTup3 a -> NTup6 a -> NTup9 a Source #
TupConcat NTup3 NTup3 NTup6 Source #
Methods tupConcat :: NTup3 a -> NTup3 a -> NTup6 a Source #
TupConcat NTup2 NTup6 NTup8 Source #
Methods tupConcat :: NTup2 a -> NTup6 a -> NTup8 a Source #
TupConcat NTup2 NTup4 NTup6 Source #
Methods tupConcat :: NTup2 a -> NTup4 a -> NTup6 a Source #
TupConcat NTup1 NTup6 NTup7 Source #
Methods tupConcat :: NTup1 a -> NTup6 a -> NTup7 a Source #
TupConcat NTup1 NTup5 NTup6 Source #
Methods tupConcat :: NTup1 a -> NTup5 a -> NTup6 a Source #
TupConcat NTup0 NTup6 NTup6 Source #
Methods tupConcat :: NTup0 a -> NTup6 a -> NTup6 a Source #
Bounded a => Bounded (NTup6 a) Source #
Methods minBound :: NTup6 a # maxBound :: NTup6 a #
Eq a => Eq (NTup6 a) Source #
Methods (==) :: NTup6 a -> NTup6 a -> Bool # (/=) :: NTup6 a -> NTup6 a -> Bool #
Fractional a => Fractional (NTup6 a) Source #
Methods (/) :: NTup6 a -> NTup6 a -> NTup6 a # recip :: NTup6 a -> NTup6 a # fromRational :: Rational -> NTup6 a #
Num a => Num (NTup6 a) Source #
Methods (+) :: NTup6 a -> NTup6 a -> NTup6 a # (-) :: NTup6 a -> NTup6 a -> NTup6 a # (*) :: NTup6 a -> NTup6 a -> NTup6 a # negate :: NTup6 a -> NTup6 a # abs :: NTup6 a -> NTup6 a # signum :: NTup6 a -> NTup6 a # fromInteger :: Integer -> NTup6 a #
Ord a => Ord (NTup6 a) Source #
Methods compare :: NTup6 a -> NTup6 a -> Ordering # (<) :: NTup6 a -> NTup6 a -> Bool # (<=) :: NTup6 a -> NTup6 a -> Bool # (>) :: NTup6 a -> NTup6 a -> Bool # (>=) :: NTup6 a -> NTup6 a -> Bool # max :: NTup6 a -> NTup6 a -> NTup6 a # min :: NTup6 a -> NTup6 a -> NTup6 a #
Read a => Read (NTup6 a) Source #
Methods readsPrec :: Int -> ReadS (NTup6 a) # readList :: ReadS [NTup6 a] # readPrec :: ReadPrec (NTup6 a) # readListPrec :: ReadPrec [NTup6 a] #
Show a => Show (NTup6 a) Source #
Methods showsPrec :: Int -> NTup6 a -> ShowS # show :: NTup6 a -> String # showList :: [NTup6 a] -> ShowS #
Monoid a => Monoid (NTup6 a) Source #
Methods mempty :: NTup6 a # mappend :: NTup6 a -> NTup6 a -> NTup6 a # mconcat :: [NTup6 a] -> NTup6 a #
Storable a => Storable (NTup6 a) Source #
Methods sizeOf :: NTup6 a -> Int # alignment :: NTup6 a -> Int # peekElemOff :: Ptr (NTup6 a) -> Int -> IO (NTup6 a) # pokeElemOff :: Ptr (NTup6 a) -> Int -> NTup6 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup6 a) # pokeByteOff :: Ptr b -> Int -> NTup6 a -> IO () # peek :: Ptr (NTup6 a) -> IO (NTup6 a) # poke :: Ptr (NTup6 a) -> NTup6 a -> IO () #

newtype NTup7 a Source #

Constructors

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

Instances

Functor NTup7 Source #
Methods fmap :: (a -> b) -> NTup7 a -> NTup7 b # (<$) :: a -> NTup7 b -> NTup7 a #
Applicative NTup7 Source #
Methods pure :: a -> NTup7 a # (<>) :: NTup7 (a -> b) -> NTup7 a -> NTup7 b # (>) :: NTup7 a -> NTup7 b -> NTup7 b # (<*) :: NTup7 a -> NTup7 b -> NTup7 a #
Foldable NTup7 Source #
Methods fold :: Monoid m => NTup7 m -> m # foldMap :: Monoid m => (a -> m) -> NTup7 a -> m # foldr :: (a -> b -> b) -> b -> NTup7 a -> b # foldr' :: (a -> b -> b) -> b -> NTup7 a -> b # foldl :: (b -> a -> b) -> b -> NTup7 a -> b # foldl' :: (b -> a -> b) -> b -> NTup7 a -> b # foldr1 :: (a -> a -> a) -> NTup7 a -> a # foldl1 :: (a -> a -> a) -> NTup7 a -> a # toList :: NTup7 a -> [a] # null :: NTup7 a -> Bool # length :: NTup7 a -> Int # elem :: Eq a => a -> NTup7 a -> Bool # maximum :: Ord a => NTup7 a -> a # minimum :: Ord a => NTup7 a -> a # sum :: Num a => NTup7 a -> a # product :: Num a => NTup7 a -> a #
Traversable NTup7 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup7 a -> f (NTup7 b) # sequenceA :: Applicative f => NTup7 (f a) -> f (NTup7 a) # mapM :: Monad m => (a -> m b) -> NTup7 a -> m (NTup7 b) # sequence :: Monad m => NTup7 (m a) -> m (NTup7 a) #
Tup NTup7 Source #
Methods tupSize :: NTup7 a -> Int Source # tupToList :: NTup7 a -> [a] Source # tupFromList :: [a] -> NTup7 a Source # tupProxy :: NTup7 a -> Proxy * a Source # tupUndef :: NTup7 a -> a Source # constantTup :: a -> NTup7 a Source # undefinedTup :: NTup7 a Source #
TupConcat NTup7 NTup2 NTup9 Source #
Methods tupConcat :: NTup7 a -> NTup2 a -> NTup9 a Source #
TupConcat NTup7 NTup1 NTup8 Source #
Methods tupConcat :: NTup7 a -> NTup1 a -> NTup8 a Source #
TupConcat NTup7 NTup0 NTup7 Source #
Methods tupConcat :: NTup7 a -> NTup0 a -> NTup7 a Source #
TupConcat NTup6 NTup1 NTup7 Source #
Methods tupConcat :: NTup6 a -> NTup1 a -> NTup7 a Source #
TupConcat NTup5 NTup2 NTup7 Source #
Methods tupConcat :: NTup5 a -> NTup2 a -> NTup7 a Source #
TupConcat NTup4 NTup3 NTup7 Source #
Methods tupConcat :: NTup4 a -> NTup3 a -> NTup7 a Source #
TupConcat NTup3 NTup4 NTup7 Source #
Methods tupConcat :: NTup3 a -> NTup4 a -> NTup7 a Source #
TupConcat NTup2 NTup7 NTup9 Source #
Methods tupConcat :: NTup2 a -> NTup7 a -> NTup9 a Source #
TupConcat NTup2 NTup5 NTup7 Source #
Methods tupConcat :: NTup2 a -> NTup5 a -> NTup7 a Source #
TupConcat NTup1 NTup7 NTup8 Source #
Methods tupConcat :: NTup1 a -> NTup7 a -> NTup8 a Source #
TupConcat NTup1 NTup6 NTup7 Source #
Methods tupConcat :: NTup1 a -> NTup6 a -> NTup7 a Source #
TupConcat NTup0 NTup7 NTup7 Source #
Methods tupConcat :: NTup0 a -> NTup7 a -> NTup7 a Source #
Bounded a => Bounded (NTup7 a) Source #
Methods minBound :: NTup7 a # maxBound :: NTup7 a #
Eq a => Eq (NTup7 a) Source #
Methods (==) :: NTup7 a -> NTup7 a -> Bool # (/=) :: NTup7 a -> NTup7 a -> Bool #
Fractional a => Fractional (NTup7 a) Source #
Methods (/) :: NTup7 a -> NTup7 a -> NTup7 a # recip :: NTup7 a -> NTup7 a # fromRational :: Rational -> NTup7 a #
Num a => Num (NTup7 a) Source #
Methods (+) :: NTup7 a -> NTup7 a -> NTup7 a # (-) :: NTup7 a -> NTup7 a -> NTup7 a # (*) :: NTup7 a -> NTup7 a -> NTup7 a # negate :: NTup7 a -> NTup7 a # abs :: NTup7 a -> NTup7 a # signum :: NTup7 a -> NTup7 a # fromInteger :: Integer -> NTup7 a #
Ord a => Ord (NTup7 a) Source #
Methods compare :: NTup7 a -> NTup7 a -> Ordering # (<) :: NTup7 a -> NTup7 a -> Bool # (<=) :: NTup7 a -> NTup7 a -> Bool # (>) :: NTup7 a -> NTup7 a -> Bool # (>=) :: NTup7 a -> NTup7 a -> Bool # max :: NTup7 a -> NTup7 a -> NTup7 a # min :: NTup7 a -> NTup7 a -> NTup7 a #
Read a => Read (NTup7 a) Source #
Methods readsPrec :: Int -> ReadS (NTup7 a) # readList :: ReadS [NTup7 a] # readPrec :: ReadPrec (NTup7 a) # readListPrec :: ReadPrec [NTup7 a] #
Show a => Show (NTup7 a) Source #
Methods showsPrec :: Int -> NTup7 a -> ShowS # show :: NTup7 a -> String # showList :: [NTup7 a] -> ShowS #
Monoid a => Monoid (NTup7 a) Source #
Methods mempty :: NTup7 a # mappend :: NTup7 a -> NTup7 a -> NTup7 a # mconcat :: [NTup7 a] -> NTup7 a #
Storable a => Storable (NTup7 a) Source #
Methods sizeOf :: NTup7 a -> Int # alignment :: NTup7 a -> Int # peekElemOff :: Ptr (NTup7 a) -> Int -> IO (NTup7 a) # pokeElemOff :: Ptr (NTup7 a) -> Int -> NTup7 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup7 a) # pokeByteOff :: Ptr b -> Int -> NTup7 a -> IO () # peek :: Ptr (NTup7 a) -> IO (NTup7 a) # poke :: Ptr (NTup7 a) -> NTup7 a -> IO () #

newtype NTup8 a Source #

Constructors

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

Instances

Functor NTup8 Source #
Methods fmap :: (a -> b) -> NTup8 a -> NTup8 b # (<$) :: a -> NTup8 b -> NTup8 a #
Applicative NTup8 Source #
Methods pure :: a -> NTup8 a # (<>) :: NTup8 (a -> b) -> NTup8 a -> NTup8 b # (>) :: NTup8 a -> NTup8 b -> NTup8 b # (<*) :: NTup8 a -> NTup8 b -> NTup8 a #
Foldable NTup8 Source #
Methods fold :: Monoid m => NTup8 m -> m # foldMap :: Monoid m => (a -> m) -> NTup8 a -> m # foldr :: (a -> b -> b) -> b -> NTup8 a -> b # foldr' :: (a -> b -> b) -> b -> NTup8 a -> b # foldl :: (b -> a -> b) -> b -> NTup8 a -> b # foldl' :: (b -> a -> b) -> b -> NTup8 a -> b # foldr1 :: (a -> a -> a) -> NTup8 a -> a # foldl1 :: (a -> a -> a) -> NTup8 a -> a # toList :: NTup8 a -> [a] # null :: NTup8 a -> Bool # length :: NTup8 a -> Int # elem :: Eq a => a -> NTup8 a -> Bool # maximum :: Ord a => NTup8 a -> a # minimum :: Ord a => NTup8 a -> a # sum :: Num a => NTup8 a -> a # product :: Num a => NTup8 a -> a #
Traversable NTup8 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup8 a -> f (NTup8 b) # sequenceA :: Applicative f => NTup8 (f a) -> f (NTup8 a) # mapM :: Monad m => (a -> m b) -> NTup8 a -> m (NTup8 b) # sequence :: Monad m => NTup8 (m a) -> m (NTup8 a) #
Tup NTup8 Source #
Methods tupSize :: NTup8 a -> Int Source # tupToList :: NTup8 a -> [a] Source # tupFromList :: [a] -> NTup8 a Source # tupProxy :: NTup8 a -> Proxy * a Source # tupUndef :: NTup8 a -> a Source # constantTup :: a -> NTup8 a Source # undefinedTup :: NTup8 a Source #
TupConcat NTup8 NTup1 NTup9 Source #
Methods tupConcat :: NTup8 a -> NTup1 a -> NTup9 a Source #
TupConcat NTup8 NTup0 NTup8 Source #
Methods tupConcat :: NTup8 a -> NTup0 a -> NTup8 a Source #
TupConcat NTup7 NTup1 NTup8 Source #
Methods tupConcat :: NTup7 a -> NTup1 a -> NTup8 a Source #
TupConcat NTup6 NTup2 NTup8 Source #
Methods tupConcat :: NTup6 a -> NTup2 a -> NTup8 a Source #
TupConcat NTup5 NTup3 NTup8 Source #
Methods tupConcat :: NTup5 a -> NTup3 a -> NTup8 a Source #
TupConcat NTup4 NTup4 NTup8 Source #
Methods tupConcat :: NTup4 a -> NTup4 a -> NTup8 a Source #
TupConcat NTup3 NTup5 NTup8 Source #
Methods tupConcat :: NTup3 a -> NTup5 a -> NTup8 a Source #
TupConcat NTup2 NTup6 NTup8 Source #
Methods tupConcat :: NTup2 a -> NTup6 a -> NTup8 a Source #
TupConcat NTup1 NTup8 NTup9 Source #
Methods tupConcat :: NTup1 a -> NTup8 a -> NTup9 a Source #
TupConcat NTup1 NTup7 NTup8 Source #
Methods tupConcat :: NTup1 a -> NTup7 a -> NTup8 a Source #
TupConcat NTup0 NTup8 NTup8 Source #
Methods tupConcat :: NTup0 a -> NTup8 a -> NTup8 a Source #
Bounded a => Bounded (NTup8 a) Source #
Methods minBound :: NTup8 a # maxBound :: NTup8 a #
Eq a => Eq (NTup8 a) Source #
Methods (==) :: NTup8 a -> NTup8 a -> Bool # (/=) :: NTup8 a -> NTup8 a -> Bool #
Fractional a => Fractional (NTup8 a) Source #
Methods (/) :: NTup8 a -> NTup8 a -> NTup8 a # recip :: NTup8 a -> NTup8 a # fromRational :: Rational -> NTup8 a #
Num a => Num (NTup8 a) Source #
Methods (+) :: NTup8 a -> NTup8 a -> NTup8 a # (-) :: NTup8 a -> NTup8 a -> NTup8 a # (*) :: NTup8 a -> NTup8 a -> NTup8 a # negate :: NTup8 a -> NTup8 a # abs :: NTup8 a -> NTup8 a # signum :: NTup8 a -> NTup8 a # fromInteger :: Integer -> NTup8 a #
Ord a => Ord (NTup8 a) Source #
Methods compare :: NTup8 a -> NTup8 a -> Ordering # (<) :: NTup8 a -> NTup8 a -> Bool # (<=) :: NTup8 a -> NTup8 a -> Bool # (>) :: NTup8 a -> NTup8 a -> Bool # (>=) :: NTup8 a -> NTup8 a -> Bool # max :: NTup8 a -> NTup8 a -> NTup8 a # min :: NTup8 a -> NTup8 a -> NTup8 a #
Read a => Read (NTup8 a) Source #
Methods readsPrec :: Int -> ReadS (NTup8 a) # readList :: ReadS [NTup8 a] # readPrec :: ReadPrec (NTup8 a) # readListPrec :: ReadPrec [NTup8 a] #
Show a => Show (NTup8 a) Source #
Methods showsPrec :: Int -> NTup8 a -> ShowS # show :: NTup8 a -> String # showList :: [NTup8 a] -> ShowS #
Monoid a => Monoid (NTup8 a) Source #
Methods mempty :: NTup8 a # mappend :: NTup8 a -> NTup8 a -> NTup8 a # mconcat :: [NTup8 a] -> NTup8 a #
Storable a => Storable (NTup8 a) Source #
Methods sizeOf :: NTup8 a -> Int # alignment :: NTup8 a -> Int # peekElemOff :: Ptr (NTup8 a) -> Int -> IO (NTup8 a) # pokeElemOff :: Ptr (NTup8 a) -> Int -> NTup8 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup8 a) # pokeByteOff :: Ptr b -> Int -> NTup8 a -> IO () # peek :: Ptr (NTup8 a) -> IO (NTup8 a) # poke :: Ptr (NTup8 a) -> NTup8 a -> IO () #

newtype NTup9 a Source #

Constructors

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

Instances

Functor NTup9 Source #
Methods fmap :: (a -> b) -> NTup9 a -> NTup9 b # (<$) :: a -> NTup9 b -> NTup9 a #
Applicative NTup9 Source #
Methods pure :: a -> NTup9 a # (<>) :: NTup9 (a -> b) -> NTup9 a -> NTup9 b # (>) :: NTup9 a -> NTup9 b -> NTup9 b # (<*) :: NTup9 a -> NTup9 b -> NTup9 a #
Foldable NTup9 Source #
Methods fold :: Monoid m => NTup9 m -> m # foldMap :: Monoid m => (a -> m) -> NTup9 a -> m # foldr :: (a -> b -> b) -> b -> NTup9 a -> b # foldr' :: (a -> b -> b) -> b -> NTup9 a -> b # foldl :: (b -> a -> b) -> b -> NTup9 a -> b # foldl' :: (b -> a -> b) -> b -> NTup9 a -> b # foldr1 :: (a -> a -> a) -> NTup9 a -> a # foldl1 :: (a -> a -> a) -> NTup9 a -> a # toList :: NTup9 a -> [a] # null :: NTup9 a -> Bool # length :: NTup9 a -> Int # elem :: Eq a => a -> NTup9 a -> Bool # maximum :: Ord a => NTup9 a -> a # minimum :: Ord a => NTup9 a -> a # sum :: Num a => NTup9 a -> a # product :: Num a => NTup9 a -> a #
Traversable NTup9 Source #
Methods traverse :: Applicative f => (a -> f b) -> NTup9 a -> f (NTup9 b) # sequenceA :: Applicative f => NTup9 (f a) -> f (NTup9 a) # mapM :: Monad m => (a -> m b) -> NTup9 a -> m (NTup9 b) # sequence :: Monad m => NTup9 (m a) -> m (NTup9 a) #
Tup NTup9 Source #
Methods tupSize :: NTup9 a -> Int Source # tupToList :: NTup9 a -> [a] Source # tupFromList :: [a] -> NTup9 a Source # tupProxy :: NTup9 a -> Proxy * a Source # tupUndef :: NTup9 a -> a Source # constantTup :: a -> NTup9 a Source # undefinedTup :: NTup9 a Source #
TupConcat NTup9 NTup0 NTup9 Source #
Methods tupConcat :: NTup9 a -> NTup0 a -> NTup9 a Source #
TupConcat NTup8 NTup1 NTup9 Source #
Methods tupConcat :: NTup8 a -> NTup1 a -> NTup9 a Source #
TupConcat NTup7 NTup2 NTup9 Source #
Methods tupConcat :: NTup7 a -> NTup2 a -> NTup9 a Source #
TupConcat NTup6 NTup3 NTup9 Source #
Methods tupConcat :: NTup6 a -> NTup3 a -> NTup9 a Source #
TupConcat NTup5 NTup4 NTup9 Source #
Methods tupConcat :: NTup5 a -> NTup4 a -> NTup9 a Source #
TupConcat NTup4 NTup5 NTup9 Source #
Methods tupConcat :: NTup4 a -> NTup5 a -> NTup9 a Source #
TupConcat NTup3 NTup6 NTup9 Source #
Methods tupConcat :: NTup3 a -> NTup6 a -> NTup9 a Source #
TupConcat NTup2 NTup7 NTup9 Source #
Methods tupConcat :: NTup2 a -> NTup7 a -> NTup9 a Source #
TupConcat NTup1 NTup8 NTup9 Source #
Methods tupConcat :: NTup1 a -> NTup8 a -> NTup9 a Source #
TupConcat NTup0 NTup9 NTup9 Source #
Methods tupConcat :: NTup0 a -> NTup9 a -> NTup9 a Source #
Bounded a => Bounded (NTup9 a) Source #
Methods minBound :: NTup9 a # maxBound :: NTup9 a #
Eq a => Eq (NTup9 a) Source #
Methods (==) :: NTup9 a -> NTup9 a -> Bool # (/=) :: NTup9 a -> NTup9 a -> Bool #
Fractional a => Fractional (NTup9 a) Source #
Methods (/) :: NTup9 a -> NTup9 a -> NTup9 a # recip :: NTup9 a -> NTup9 a # fromRational :: Rational -> NTup9 a #
Num a => Num (NTup9 a) Source #
Methods (+) :: NTup9 a -> NTup9 a -> NTup9 a # (-) :: NTup9 a -> NTup9 a -> NTup9 a # (*) :: NTup9 a -> NTup9 a -> NTup9 a # negate :: NTup9 a -> NTup9 a # abs :: NTup9 a -> NTup9 a # signum :: NTup9 a -> NTup9 a # fromInteger :: Integer -> NTup9 a #
Ord a => Ord (NTup9 a) Source #
Methods compare :: NTup9 a -> NTup9 a -> Ordering # (<) :: NTup9 a -> NTup9 a -> Bool # (<=) :: NTup9 a -> NTup9 a -> Bool # (>) :: NTup9 a -> NTup9 a -> Bool # (>=) :: NTup9 a -> NTup9 a -> Bool # max :: NTup9 a -> NTup9 a -> NTup9 a # min :: NTup9 a -> NTup9 a -> NTup9 a #
Read a => Read (NTup9 a) Source #
Methods readsPrec :: Int -> ReadS (NTup9 a) # readList :: ReadS [NTup9 a] # readPrec :: ReadPrec (NTup9 a) # readListPrec :: ReadPrec [NTup9 a] #
Show a => Show (NTup9 a) Source #
Methods showsPrec :: Int -> NTup9 a -> ShowS # show :: NTup9 a -> String # showList :: [NTup9 a] -> ShowS #
Monoid a => Monoid (NTup9 a) Source #
Methods mempty :: NTup9 a # mappend :: NTup9 a -> NTup9 a -> NTup9 a # mconcat :: [NTup9 a] -> NTup9 a #
Storable a => Storable (NTup9 a) Source #
Methods sizeOf :: NTup9 a -> Int # alignment :: NTup9 a -> Int # peekElemOff :: Ptr (NTup9 a) -> Int -> IO (NTup9 a) # pokeElemOff :: Ptr (NTup9 a) -> Int -> NTup9 a -> IO () # peekByteOff :: Ptr b -> Int -> IO (NTup9 a) # pokeByteOff :: Ptr b -> Int -> NTup9 a -> IO () # peek :: Ptr (NTup9 a) -> IO (NTup9 a) # poke :: Ptr (NTup9 a) -> NTup9 a -> IO () #