Data.Tuple.Strict

Strict tuples.

Documentation

newtype T1 a

Constructors

T1 a

Instances

Monad T1

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T1 a -> (a -> T1 b) -> T1 b

(>>) :: T1 a -> T1 b -> T1 b

return :: a -> T1 a

fail :: String -> T1 a

Functor T1

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a -> b) -> T1 a -> T1 b

(<$) :: a -> T1 b -> T1 a

Applicative T1

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a -> T1 a

(<*>) :: T1 (a -> b) -> T1 a -> T1 b

liftA2 :: (a -> b -> c) -> T1 a -> T1 b -> T1 c

(*>) :: T1 a -> T1 b -> T1 b

(<*) :: T1 a -> T1 b -> T1 a

Foldable T1

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T1 m -> m

foldMap :: Monoid m => (a -> m) -> T1 a -> m

foldr :: (a -> b -> b) -> b -> T1 a -> b

foldr' :: (a -> b -> b) -> b -> T1 a -> b

foldl :: (b -> a -> b) -> b -> T1 a -> b

foldl' :: (b -> a -> b) -> b -> T1 a -> b

foldr1 :: (a -> a -> a) -> T1 a -> a

foldl1 :: (a -> a -> a) -> T1 a -> a

toList :: T1 a -> [a]

null :: T1 a -> Bool

length :: T1 a -> Int

elem :: Eq a => a -> T1 a -> Bool

maximum :: Ord a => T1 a -> a

minimum :: Ord a => T1 a -> a

sum :: Num a => T1 a -> a

product :: Num a => T1 a -> a

Traversable T1

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a -> f b) -> T1 a -> f (T1 b)

sequenceA :: Applicative f => T1 (f a) -> f (T1 a)

mapM :: Monad m => (a -> m b) -> T1 a -> m (T1 b)

sequence :: Monad m => T1 (m a) -> m (T1 a)

Bounded a => Bounded (T1 a)

Defined in Data.Tuple.Strict

Methods

minBound :: T1 a

maxBound :: T1 a

Eq a => Eq (T1 a)

Defined in Data.Tuple.Strict

Methods

(==) :: T1 a -> T1 a -> Bool

(/=) :: T1 a -> T1 a -> Bool

Ord a => Ord (T1 a)

Defined in Data.Tuple.Strict

Methods

compare :: T1 a -> T1 a -> Ordering

(<) :: T1 a -> T1 a -> Bool

(<=) :: T1 a -> T1 a -> Bool

(>) :: T1 a -> T1 a -> Bool

(>=) :: T1 a -> T1 a -> Bool

max :: T1 a -> T1 a -> T1 a

min :: T1 a -> T1 a -> T1 a

Read a => Read (T1 a)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T1 a)

readList :: ReadS [T1 a]

readPrec :: ReadPrec (T1 a)

readListPrec :: ReadPrec [T1 a]

Show a => Show (T1 a)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T1 a -> ShowS

show :: T1 a -> String

showList :: [T1 a] -> ShowS

Generic (T1 a)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T1 a) :: Type -> Type

Methods

from :: T1 a -> Rep (T1 a) x

to :: Rep (T1 a) x -> T1 a

Semigroup a => Semigroup (T1 a)

Defined in Data.Tuple.Strict

Methods

(<>) :: T1 a -> T1 a -> T1 a

sconcat :: NonEmpty (T1 a) -> T1 a

stimes :: Integral b => b -> T1 a -> T1 a

Monoid a => Monoid (T1 a)

Defined in Data.Tuple.Strict

Methods

mempty :: T1 a

mappend :: T1 a -> T1 a -> T1 a

mconcat :: [T1 a] -> T1 a

NFData a => NFData (T1 a)

Defined in Data.Tuple.Strict

Methods

rnf :: T1 a -> ()

Hashable a => Hashable (T1 a)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T1 a -> Int

hash :: T1 a -> Int

type Rep (T1 a)

Defined in Data.Tuple.Strict

type Rep (T1 a) = D1 (MetaData "T1" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" True) (C1 (MetaCons "T1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data T2 a b

Constructors

T2 a b

Instances

Bitraversable T2

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T2 a b -> f (T2 c d)

Bifoldable T2

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T2 m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T2 a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T2 a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T2 a b -> c

Bifunctor T2

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T2 a c -> T2 b d

first :: (a -> b) -> T2 a c -> T2 b c

second :: (b -> c) -> T2 a b -> T2 a c

Biapplicative T2

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bipure :: a -> b -> T2 a b

(<<*>>) :: T2 (a -> b) (c -> d) -> T2 a c -> T2 b d

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> T2 a d -> T2 b e -> T2 c f

(*>>) :: T2 a b -> T2 c d -> T2 c d

(<<*) :: T2 a b -> T2 c d -> T2 a b

Hashable2 T2

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a -> Int) -> (Int -> b -> Int) -> Int -> T2 a b -> Int

Monoid a => Monad (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T2 a a0 -> (a0 -> T2 a b) -> T2 a b

(>>) :: T2 a a0 -> T2 a b -> T2 a b

return :: a0 -> T2 a a0

fail :: String -> T2 a a0

Functor (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b) -> T2 a a0 -> T2 a b

(<$) :: a0 -> T2 a b -> T2 a a0

Monoid a => Applicative (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T2 a a0

(<*>) :: T2 a (a0 -> b) -> T2 a a0 -> T2 a b

liftA2 :: (a0 -> b -> c) -> T2 a a0 -> T2 a b -> T2 a c

(*>) :: T2 a a0 -> T2 a b -> T2 a b

(<*) :: T2 a a0 -> T2 a b -> T2 a a0

Foldable (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T2 a m -> m

foldMap :: Monoid m => (a0 -> m) -> T2 a a0 -> m

foldr :: (a0 -> b -> b) -> b -> T2 a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> T2 a a0 -> b

foldl :: (b -> a0 -> b) -> b -> T2 a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> T2 a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> T2 a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T2 a a0 -> a0

toList :: T2 a a0 -> [a0]

null :: T2 a a0 -> Bool

length :: T2 a a0 -> Int

elem :: Eq a0 => a0 -> T2 a a0 -> Bool

maximum :: Ord a0 => T2 a a0 -> a0

minimum :: Ord a0 => T2 a a0 -> a0

sum :: Num a0 => T2 a a0 -> a0

product :: Num a0 => T2 a a0 -> a0

Traversable (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a0 -> f b) -> T2 a a0 -> f (T2 a b)

sequenceA :: Applicative f => T2 a (f a0) -> f (T2 a a0)

mapM :: Monad m => (a0 -> m b) -> T2 a a0 -> m (T2 a b)

sequence :: Monad m => T2 a (m a0) -> m (T2 a a0)

Hashable a => Hashable1 (T2 a)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T2 a a0 -> Int

(Bounded a, Bounded b) => Bounded (T2 a b)

Defined in Data.Tuple.Strict

Methods

minBound :: T2 a b

maxBound :: T2 a b

(Eq a, Eq b) => Eq (T2 a b)

Defined in Data.Tuple.Strict

Methods

(==) :: T2 a b -> T2 a b -> Bool

(/=) :: T2 a b -> T2 a b -> Bool

(Ord a, Ord b) => Ord (T2 a b)

Defined in Data.Tuple.Strict

Methods

compare :: T2 a b -> T2 a b -> Ordering

(<) :: T2 a b -> T2 a b -> Bool

(<=) :: T2 a b -> T2 a b -> Bool

(>) :: T2 a b -> T2 a b -> Bool

(>=) :: T2 a b -> T2 a b -> Bool

max :: T2 a b -> T2 a b -> T2 a b

min :: T2 a b -> T2 a b -> T2 a b

(Read a, Read b) => Read (T2 a b)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T2 a b)

readList :: ReadS [T2 a b]

readPrec :: ReadPrec (T2 a b)

readListPrec :: ReadPrec [T2 a b]

(Show a, Show b) => Show (T2 a b)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T2 a b -> ShowS

show :: T2 a b -> String

showList :: [T2 a b] -> ShowS

Generic (T2 a b)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T2 a b) :: Type -> Type

Methods

from :: T2 a b -> Rep (T2 a b) x

to :: Rep (T2 a b) x -> T2 a b

(Semigroup a, Semigroup b) => Semigroup (T2 a b)

Defined in Data.Tuple.Strict

Methods

(<>) :: T2 a b -> T2 a b -> T2 a b

sconcat :: NonEmpty (T2 a b) -> T2 a b

stimes :: Integral b0 => b0 -> T2 a b -> T2 a b

(Monoid a, Monoid b) => Monoid (T2 a b)

Defined in Data.Tuple.Strict

Methods

mempty :: T2 a b

mappend :: T2 a b -> T2 a b -> T2 a b

mconcat :: [T2 a b] -> T2 a b

(NFData a, NFData b) => NFData (T2 a b)

Defined in Data.Tuple.Strict

Methods

rnf :: T2 a b -> ()

(Hashable a, Hashable b) => Hashable (T2 a b)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T2 a b -> Int

hash :: T2 a b -> Int

type Rep (T2 a b)

Defined in Data.Tuple.Strict

type Rep (T2 a b) = D1 (MetaData "T2" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)))

sfst :: T2 a b -> a

A strict, T2-based analog to fst

Since: 0.1.3

ssnd :: T2 a b -> b

A strict, T2-based analog to snd

Since: 0.1.3

scurry :: (T2 a b -> c) -> a -> b -> c

A strict, T2-based analog to curry

Since: 0.1.3

suncurry :: (a -> b -> c) -> T2 a b -> c

A strict, T2-based analog to uncurry

Since: 0.1.3

sswap :: T2 a b -> T2 b a

A strict, T2-based analog to swap

Since: 0.1.3

data T3 a b c

Constructors

T3 a b c

Instances

Bitraversable (T3 x)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T3 x a b -> f (T3 x c d)

Bifoldable (T3 x)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T3 x m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T3 x a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T3 x a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T3 x a b -> c

Bifunctor (T3 x)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T3 x a c -> T3 x b d

first :: (a -> b) -> T3 x a c -> T3 x b c

second :: (b -> c) -> T3 x a b -> T3 x a c

Hashable a => Hashable2 (T3 a)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b -> Int) -> Int -> T3 a a0 b -> Int

(Monoid a, Monoid b) => Monad (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T3 a b a0 -> (a0 -> T3 a b b0) -> T3 a b b0

(>>) :: T3 a b a0 -> T3 a b b0 -> T3 a b b0

return :: a0 -> T3 a b a0

fail :: String -> T3 a b a0

Functor (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T3 a b a0 -> T3 a b b0

(<$) :: a0 -> T3 a b b0 -> T3 a b a0

(Monoid a, Monoid b) => Applicative (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T3 a b a0

(<*>) :: T3 a b (a0 -> b0) -> T3 a b a0 -> T3 a b b0

liftA2 :: (a0 -> b0 -> c) -> T3 a b a0 -> T3 a b b0 -> T3 a b c

(*>) :: T3 a b a0 -> T3 a b b0 -> T3 a b b0

(<*) :: T3 a b a0 -> T3 a b b0 -> T3 a b a0

Foldable (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T3 a b m -> m

foldMap :: Monoid m => (a0 -> m) -> T3 a b a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T3 a b a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T3 a b a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T3 a b a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T3 a b a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T3 a b a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T3 a b a0 -> a0

toList :: T3 a b a0 -> [a0]

null :: T3 a b a0 -> Bool

length :: T3 a b a0 -> Int

elem :: Eq a0 => a0 -> T3 a b a0 -> Bool

maximum :: Ord a0 => T3 a b a0 -> a0

minimum :: Ord a0 => T3 a b a0 -> a0

sum :: Num a0 => T3 a b a0 -> a0

product :: Num a0 => T3 a b a0 -> a0

Traversable (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a0 -> f b0) -> T3 a b a0 -> f (T3 a b b0)

sequenceA :: Applicative f => T3 a b (f a0) -> f (T3 a b a0)

mapM :: Monad m => (a0 -> m b0) -> T3 a b a0 -> m (T3 a b b0)

sequence :: Monad m => T3 a b (m a0) -> m (T3 a b a0)

(Hashable a, Hashable b) => Hashable1 (T3 a b)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T3 a b a0 -> Int

(Bounded a, Bounded b, Bounded c) => Bounded (T3 a b c)

Defined in Data.Tuple.Strict

Methods

minBound :: T3 a b c

maxBound :: T3 a b c

(Eq a, Eq b, Eq c) => Eq (T3 a b c)

Defined in Data.Tuple.Strict

Methods

(==) :: T3 a b c -> T3 a b c -> Bool

(/=) :: T3 a b c -> T3 a b c -> Bool

(Ord a, Ord b, Ord c) => Ord (T3 a b c)

Defined in Data.Tuple.Strict

Methods

compare :: T3 a b c -> T3 a b c -> Ordering

(<) :: T3 a b c -> T3 a b c -> Bool

(<=) :: T3 a b c -> T3 a b c -> Bool

(>) :: T3 a b c -> T3 a b c -> Bool

(>=) :: T3 a b c -> T3 a b c -> Bool

max :: T3 a b c -> T3 a b c -> T3 a b c

min :: T3 a b c -> T3 a b c -> T3 a b c

(Read a, Read b, Read c) => Read (T3 a b c)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T3 a b c)

readList :: ReadS [T3 a b c]

readPrec :: ReadPrec (T3 a b c)

readListPrec :: ReadPrec [T3 a b c]

(Show a, Show b, Show c) => Show (T3 a b c)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T3 a b c -> ShowS

show :: T3 a b c -> String

showList :: [T3 a b c] -> ShowS

Generic (T3 a b c)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T3 a b c) :: Type -> Type

Methods

from :: T3 a b c -> Rep (T3 a b c) x

to :: Rep (T3 a b c) x -> T3 a b c

(Semigroup a, Semigroup b, Semigroup c) => Semigroup (T3 a b c)

Defined in Data.Tuple.Strict

Methods

(<>) :: T3 a b c -> T3 a b c -> T3 a b c

sconcat :: NonEmpty (T3 a b c) -> T3 a b c

stimes :: Integral b0 => b0 -> T3 a b c -> T3 a b c

(Monoid a, Monoid b, Monoid c) => Monoid (T3 a b c)

Defined in Data.Tuple.Strict

Methods

mempty :: T3 a b c

mappend :: T3 a b c -> T3 a b c -> T3 a b c

mconcat :: [T3 a b c] -> T3 a b c

(NFData a, NFData b, NFData c) => NFData (T3 a b c)

Defined in Data.Tuple.Strict

Methods

rnf :: T3 a b c -> ()

(Hashable a, Hashable b, Hashable c) => Hashable (T3 a b c)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T3 a b c -> Int

hash :: T3 a b c -> Int

type Rep (T3 a b c)

Defined in Data.Tuple.Strict

type Rep (T3 a b c) = D1 (MetaData "T3" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))))

data T4 a b c d

Constructors

T4 a b c d

Instances

Bitraversable (T4 x y)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T4 x y a b -> f (T4 x y c d)

Bifoldable (T4 x y)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T4 x y m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T4 x y a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T4 x y a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T4 x y a b -> c

Bifunctor (T4 x y)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T4 x y a c -> T4 x y b d

first :: (a -> b) -> T4 x y a c -> T4 x y b c

second :: (b -> c) -> T4 x y a b -> T4 x y a c

(Hashable a, Hashable b) => Hashable2 (T4 a b)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T4 a b a0 b0 -> Int

(Monoid a, Monoid b, Monoid c) => Monad (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T4 a b c a0 -> (a0 -> T4 a b c b0) -> T4 a b c b0

(>>) :: T4 a b c a0 -> T4 a b c b0 -> T4 a b c b0

return :: a0 -> T4 a b c a0

fail :: String -> T4 a b c a0

Functor (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T4 a b c a0 -> T4 a b c b0

(<$) :: a0 -> T4 a b c b0 -> T4 a b c a0

(Monoid a, Monoid b, Monoid c) => Applicative (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T4 a b c a0

(<*>) :: T4 a b c (a0 -> b0) -> T4 a b c a0 -> T4 a b c b0

liftA2 :: (a0 -> b0 -> c0) -> T4 a b c a0 -> T4 a b c b0 -> T4 a b c c0

(*>) :: T4 a b c a0 -> T4 a b c b0 -> T4 a b c b0

(<*) :: T4 a b c a0 -> T4 a b c b0 -> T4 a b c a0

Foldable (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T4 a b c m -> m

foldMap :: Monoid m => (a0 -> m) -> T4 a b c a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T4 a b c a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T4 a b c a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T4 a b c a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T4 a b c a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T4 a b c a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T4 a b c a0 -> a0

toList :: T4 a b c a0 -> [a0]

null :: T4 a b c a0 -> Bool

length :: T4 a b c a0 -> Int

elem :: Eq a0 => a0 -> T4 a b c a0 -> Bool

maximum :: Ord a0 => T4 a b c a0 -> a0

minimum :: Ord a0 => T4 a b c a0 -> a0

sum :: Num a0 => T4 a b c a0 -> a0

product :: Num a0 => T4 a b c a0 -> a0

Traversable (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a0 -> f b0) -> T4 a b c a0 -> f (T4 a b c b0)

sequenceA :: Applicative f => T4 a b c (f a0) -> f (T4 a b c a0)

mapM :: Monad m => (a0 -> m b0) -> T4 a b c a0 -> m (T4 a b c b0)

sequence :: Monad m => T4 a b c (m a0) -> m (T4 a b c a0)

(Hashable a, Hashable b, Hashable c) => Hashable1 (T4 a b c)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T4 a b c a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d) => Bounded (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

minBound :: T4 a b c d

maxBound :: T4 a b c d

(Eq a, Eq b, Eq c, Eq d) => Eq (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

(==) :: T4 a b c d -> T4 a b c d -> Bool

(/=) :: T4 a b c d -> T4 a b c d -> Bool

(Ord a, Ord b, Ord c, Ord d) => Ord (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

compare :: T4 a b c d -> T4 a b c d -> Ordering

(<) :: T4 a b c d -> T4 a b c d -> Bool

(<=) :: T4 a b c d -> T4 a b c d -> Bool

(>) :: T4 a b c d -> T4 a b c d -> Bool

(>=) :: T4 a b c d -> T4 a b c d -> Bool

max :: T4 a b c d -> T4 a b c d -> T4 a b c d

min :: T4 a b c d -> T4 a b c d -> T4 a b c d

(Read a, Read b, Read c, Read d) => Read (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T4 a b c d)

readList :: ReadS [T4 a b c d]

readPrec :: ReadPrec (T4 a b c d)

readListPrec :: ReadPrec [T4 a b c d]

(Show a, Show b, Show c, Show d) => Show (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T4 a b c d -> ShowS

show :: T4 a b c d -> String

showList :: [T4 a b c d] -> ShowS

Generic (T4 a b c d)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T4 a b c d) :: Type -> Type

Methods

from :: T4 a b c d -> Rep (T4 a b c d) x

to :: Rep (T4 a b c d) x -> T4 a b c d

(Semigroup a, Semigroup b, Semigroup c, Semigroup d) => Semigroup (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

(<>) :: T4 a b c d -> T4 a b c d -> T4 a b c d

sconcat :: NonEmpty (T4 a b c d) -> T4 a b c d

stimes :: Integral b0 => b0 -> T4 a b c d -> T4 a b c d

(Monoid a, Monoid b, Monoid c, Monoid d) => Monoid (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

mempty :: T4 a b c d

mappend :: T4 a b c d -> T4 a b c d -> T4 a b c d

mconcat :: [T4 a b c d] -> T4 a b c d

(NFData a, NFData b, NFData c, NFData d) => NFData (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

rnf :: T4 a b c d -> ()

(Hashable a, Hashable b, Hashable c, Hashable d) => Hashable (T4 a b c d)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T4 a b c d -> Int

hash :: T4 a b c d -> Int

type Rep (T4 a b c d)

Defined in Data.Tuple.Strict

type Rep (T4 a b c d) = D1 (MetaData "T4" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T4" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))))

data T5 a b c d e

Constructors

T5 a b c d e

Instances

Bitraversable (T5 x y z)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T5 x y z a b -> f (T5 x y z c d)

Bifoldable (T5 x y z)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T5 x y z m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T5 x y z a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T5 x y z a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T5 x y z a b -> c

Bifunctor (T5 x y z)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T5 x y z a c -> T5 x y z b d

first :: (a -> b) -> T5 x y z a c -> T5 x y z b c

second :: (b -> c) -> T5 x y z a b -> T5 x y z a c

(Hashable a, Hashable b, Hashable c) => Hashable2 (T5 a b c)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T5 a b c a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d) => Monad (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T5 a b c d a0 -> (a0 -> T5 a b c d b0) -> T5 a b c d b0

(>>) :: T5 a b c d a0 -> T5 a b c d b0 -> T5 a b c d b0

return :: a0 -> T5 a b c d a0

fail :: String -> T5 a b c d a0

Functor (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T5 a b c d a0 -> T5 a b c d b0

(<$) :: a0 -> T5 a b c d b0 -> T5 a b c d a0

(Monoid a, Monoid b, Monoid c, Monoid d) => Applicative (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T5 a b c d a0

(<*>) :: T5 a b c d (a0 -> b0) -> T5 a b c d a0 -> T5 a b c d b0

liftA2 :: (a0 -> b0 -> c0) -> T5 a b c d a0 -> T5 a b c d b0 -> T5 a b c d c0

(*>) :: T5 a b c d a0 -> T5 a b c d b0 -> T5 a b c d b0

(<*) :: T5 a b c d a0 -> T5 a b c d b0 -> T5 a b c d a0

Foldable (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T5 a b c d m -> m

foldMap :: Monoid m => (a0 -> m) -> T5 a b c d a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T5 a b c d a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T5 a b c d a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T5 a b c d a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T5 a b c d a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T5 a b c d a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T5 a b c d a0 -> a0

toList :: T5 a b c d a0 -> [a0]

null :: T5 a b c d a0 -> Bool

length :: T5 a b c d a0 -> Int

elem :: Eq a0 => a0 -> T5 a b c d a0 -> Bool

maximum :: Ord a0 => T5 a b c d a0 -> a0

minimum :: Ord a0 => T5 a b c d a0 -> a0

sum :: Num a0 => T5 a b c d a0 -> a0

product :: Num a0 => T5 a b c d a0 -> a0

Traversable (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a0 -> f b0) -> T5 a b c d a0 -> f (T5 a b c d b0)

sequenceA :: Applicative f => T5 a b c d (f a0) -> f (T5 a b c d a0)

mapM :: Monad m => (a0 -> m b0) -> T5 a b c d a0 -> m (T5 a b c d b0)

sequence :: Monad m => T5 a b c d (m a0) -> m (T5 a b c d a0)

(Hashable a, Hashable b, Hashable c, Hashable d) => Hashable1 (T5 a b c d)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T5 a b c d a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e) => Bounded (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

minBound :: T5 a b c d e

maxBound :: T5 a b c d e

(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

(==) :: T5 a b c d e -> T5 a b c d e -> Bool

(/=) :: T5 a b c d e -> T5 a b c d e -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

compare :: T5 a b c d e -> T5 a b c d e -> Ordering

(<) :: T5 a b c d e -> T5 a b c d e -> Bool

(<=) :: T5 a b c d e -> T5 a b c d e -> Bool

(>) :: T5 a b c d e -> T5 a b c d e -> Bool

(>=) :: T5 a b c d e -> T5 a b c d e -> Bool

max :: T5 a b c d e -> T5 a b c d e -> T5 a b c d e

min :: T5 a b c d e -> T5 a b c d e -> T5 a b c d e

(Read a, Read b, Read c, Read d, Read e) => Read (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T5 a b c d e)

readList :: ReadS [T5 a b c d e]

readPrec :: ReadPrec (T5 a b c d e)

readListPrec :: ReadPrec [T5 a b c d e]

(Show a, Show b, Show c, Show d, Show e) => Show (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T5 a b c d e -> ShowS

show :: T5 a b c d e -> String

showList :: [T5 a b c d e] -> ShowS

Generic (T5 a b c d e)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T5 a b c d e) :: Type -> Type

Methods

from :: T5 a b c d e -> Rep (T5 a b c d e) x

to :: Rep (T5 a b c d e) x -> T5 a b c d e

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e) => Semigroup (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

(<>) :: T5 a b c d e -> T5 a b c d e -> T5 a b c d e

sconcat :: NonEmpty (T5 a b c d e) -> T5 a b c d e

stimes :: Integral b0 => b0 -> T5 a b c d e -> T5 a b c d e

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monoid (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

mempty :: T5 a b c d e

mappend :: T5 a b c d e -> T5 a b c d e -> T5 a b c d e

mconcat :: [T5 a b c d e] -> T5 a b c d e

(NFData a, NFData b, NFData c, NFData d, NFData e) => NFData (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

rnf :: T5 a b c d e -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e) => Hashable (T5 a b c d e)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T5 a b c d e -> Int

hash :: T5 a b c d e -> Int

type Rep (T5 a b c d e)

Defined in Data.Tuple.Strict

type Rep (T5 a b c d e) = D1 (MetaData "T5" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T5" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)))))

data T6 a b c d e f

Constructors

T6 a b c d e f

Instances

Bitraversable (T6 x y z w)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T6 x y z w a b -> f (T6 x y z w c d)

Bifoldable (T6 x y z w)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T6 x y z w m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T6 x y z w a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T6 x y z w a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T6 x y z w a b -> c

Bifunctor (T6 x y z w)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T6 x y z w a c -> T6 x y z w b d

first :: (a -> b) -> T6 x y z w a c -> T6 x y z w b c

second :: (b -> c) -> T6 x y z w a b -> T6 x y z w a c

(Hashable a, Hashable b, Hashable c, Hashable d) => Hashable2 (T6 a b c d)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T6 a b c d a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monad (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T6 a b c d e a0 -> (a0 -> T6 a b c d e b0) -> T6 a b c d e b0

(>>) :: T6 a b c d e a0 -> T6 a b c d e b0 -> T6 a b c d e b0

return :: a0 -> T6 a b c d e a0

fail :: String -> T6 a b c d e a0

Functor (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T6 a b c d e a0 -> T6 a b c d e b0

(<$) :: a0 -> T6 a b c d e b0 -> T6 a b c d e a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Applicative (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T6 a b c d e a0

(<*>) :: T6 a b c d e (a0 -> b0) -> T6 a b c d e a0 -> T6 a b c d e b0

liftA2 :: (a0 -> b0 -> c0) -> T6 a b c d e a0 -> T6 a b c d e b0 -> T6 a b c d e c0

(*>) :: T6 a b c d e a0 -> T6 a b c d e b0 -> T6 a b c d e b0

(<*) :: T6 a b c d e a0 -> T6 a b c d e b0 -> T6 a b c d e a0

Foldable (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T6 a b c d e m -> m

foldMap :: Monoid m => (a0 -> m) -> T6 a b c d e a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T6 a b c d e a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T6 a b c d e a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T6 a b c d e a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T6 a b c d e a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T6 a b c d e a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T6 a b c d e a0 -> a0

toList :: T6 a b c d e a0 -> [a0]

null :: T6 a b c d e a0 -> Bool

length :: T6 a b c d e a0 -> Int

elem :: Eq a0 => a0 -> T6 a b c d e a0 -> Bool

maximum :: Ord a0 => T6 a b c d e a0 -> a0

minimum :: Ord a0 => T6 a b c d e a0 -> a0

sum :: Num a0 => T6 a b c d e a0 -> a0

product :: Num a0 => T6 a b c d e a0 -> a0

Traversable (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f => (a0 -> f b0) -> T6 a b c d e a0 -> f (T6 a b c d e b0)

sequenceA :: Applicative f => T6 a b c d e (f a0) -> f (T6 a b c d e a0)

mapM :: Monad m => (a0 -> m b0) -> T6 a b c d e a0 -> m (T6 a b c d e b0)

sequence :: Monad m => T6 a b c d e (m a0) -> m (T6 a b c d e a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e) => Hashable1 (T6 a b c d e)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T6 a b c d e a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f) => Bounded (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

minBound :: T6 a b c d e f

maxBound :: T6 a b c d e f

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

(==) :: T6 a b c d e f -> T6 a b c d e f -> Bool

(/=) :: T6 a b c d e f -> T6 a b c d e f -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

compare :: T6 a b c d e f -> T6 a b c d e f -> Ordering

(<) :: T6 a b c d e f -> T6 a b c d e f -> Bool

(<=) :: T6 a b c d e f -> T6 a b c d e f -> Bool

(>) :: T6 a b c d e f -> T6 a b c d e f -> Bool

(>=) :: T6 a b c d e f -> T6 a b c d e f -> Bool

max :: T6 a b c d e f -> T6 a b c d e f -> T6 a b c d e f

min :: T6 a b c d e f -> T6 a b c d e f -> T6 a b c d e f

(Read a, Read b, Read c, Read d, Read e, Read f) => Read (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T6 a b c d e f)

readList :: ReadS [T6 a b c d e f]

readPrec :: ReadPrec (T6 a b c d e f)

readListPrec :: ReadPrec [T6 a b c d e f]

(Show a, Show b, Show c, Show d, Show e, Show f) => Show (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T6 a b c d e f -> ShowS

show :: T6 a b c d e f -> String

showList :: [T6 a b c d e f] -> ShowS

Generic (T6 a b c d e f)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T6 a b c d e f) :: Type -> Type

Methods

from :: T6 a b c d e f -> Rep (T6 a b c d e f) x

to :: Rep (T6 a b c d e f) x -> T6 a b c d e f

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f) => Semigroup (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

(<>) :: T6 a b c d e f -> T6 a b c d e f -> T6 a b c d e f

sconcat :: NonEmpty (T6 a b c d e f) -> T6 a b c d e f

stimes :: Integral b0 => b0 -> T6 a b c d e f -> T6 a b c d e f

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => Monoid (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

mempty :: T6 a b c d e f

mappend :: T6 a b c d e f -> T6 a b c d e f -> T6 a b c d e f

mconcat :: [T6 a b c d e f] -> T6 a b c d e f

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f) => NFData (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

rnf :: T6 a b c d e f -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f) => Hashable (T6 a b c d e f)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T6 a b c d e f -> Int

hash :: T6 a b c d e f -> Int

type Rep (T6 a b c d e f)

Defined in Data.Tuple.Strict

type Rep (T6 a b c d e f) = D1 (MetaData "T6" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T6" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)))))

data T7 a b c d e f g

Constructors

T7 a b c d e f g

Instances

Bitraversable (T7 x y z w t)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T7 x y z w t a b -> f (T7 x y z w t c d)

Bifoldable (T7 x y z w t)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T7 x y z w t m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T7 x y z w t a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T7 x y z w t a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T7 x y z w t a b -> c

Bifunctor (T7 x y z w t)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T7 x y z w t a c -> T7 x y z w t b d

first :: (a -> b) -> T7 x y z w t a c -> T7 x y z w t b c

second :: (b -> c) -> T7 x y z w t a b -> T7 x y z w t a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e) => Hashable2 (T7 a b c d e)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T7 a b c d e a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => Monad (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T7 a b c d e f a0 -> (a0 -> T7 a b c d e f b0) -> T7 a b c d e f b0

(>>) :: T7 a b c d e f a0 -> T7 a b c d e f b0 -> T7 a b c d e f b0

return :: a0 -> T7 a b c d e f a0

fail :: String -> T7 a b c d e f a0

Functor (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T7 a b c d e f a0 -> T7 a b c d e f b0

(<$) :: a0 -> T7 a b c d e f b0 -> T7 a b c d e f a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => Applicative (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T7 a b c d e f a0

(<*>) :: T7 a b c d e f (a0 -> b0) -> T7 a b c d e f a0 -> T7 a b c d e f b0

liftA2 :: (a0 -> b0 -> c0) -> T7 a b c d e f a0 -> T7 a b c d e f b0 -> T7 a b c d e f c0

(*>) :: T7 a b c d e f a0 -> T7 a b c d e f b0 -> T7 a b c d e f b0

(<*) :: T7 a b c d e f a0 -> T7 a b c d e f b0 -> T7 a b c d e f a0

Foldable (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T7 a b c d e f m -> m

foldMap :: Monoid m => (a0 -> m) -> T7 a b c d e f a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T7 a b c d e f a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T7 a b c d e f a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T7 a b c d e f a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T7 a b c d e f a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T7 a b c d e f a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T7 a b c d e f a0 -> a0

toList :: T7 a b c d e f a0 -> [a0]

null :: T7 a b c d e f a0 -> Bool

length :: T7 a b c d e f a0 -> Int

elem :: Eq a0 => a0 -> T7 a b c d e f a0 -> Bool

maximum :: Ord a0 => T7 a b c d e f a0 -> a0

minimum :: Ord a0 => T7 a b c d e f a0 -> a0

sum :: Num a0 => T7 a b c d e f a0 -> a0

product :: Num a0 => T7 a b c d e f a0 -> a0

Traversable (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T7 a b c d e f a0 -> f0 (T7 a b c d e f b0)

sequenceA :: Applicative f0 => T7 a b c d e f (f0 a0) -> f0 (T7 a b c d e f a0)

mapM :: Monad m => (a0 -> m b0) -> T7 a b c d e f a0 -> m (T7 a b c d e f b0)

sequence :: Monad m => T7 a b c d e f (m a0) -> m (T7 a b c d e f a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f) => Hashable1 (T7 a b c d e f)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T7 a b c d e f a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g) => Bounded (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

minBound :: T7 a b c d e f g

maxBound :: T7 a b c d e f g

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

(==) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

(/=) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

compare :: T7 a b c d e f g -> T7 a b c d e f g -> Ordering

(<) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

(<=) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

(>) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

(>=) :: T7 a b c d e f g -> T7 a b c d e f g -> Bool

max :: T7 a b c d e f g -> T7 a b c d e f g -> T7 a b c d e f g

min :: T7 a b c d e f g -> T7 a b c d e f g -> T7 a b c d e f g

(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T7 a b c d e f g)

readList :: ReadS [T7 a b c d e f g]

readPrec :: ReadPrec (T7 a b c d e f g)

readListPrec :: ReadPrec [T7 a b c d e f g]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T7 a b c d e f g -> ShowS

show :: T7 a b c d e f g -> String

showList :: [T7 a b c d e f g] -> ShowS

Generic (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T7 a b c d e f g) :: Type -> Type

Methods

from :: T7 a b c d e f g -> Rep (T7 a b c d e f g) x

to :: Rep (T7 a b c d e f g) x -> T7 a b c d e f g

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g) => Semigroup (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

(<>) :: T7 a b c d e f g -> T7 a b c d e f g -> T7 a b c d e f g

sconcat :: NonEmpty (T7 a b c d e f g) -> T7 a b c d e f g

stimes :: Integral b0 => b0 -> T7 a b c d e f g -> T7 a b c d e f g

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) => Monoid (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

mempty :: T7 a b c d e f g

mappend :: T7 a b c d e f g -> T7 a b c d e f g -> T7 a b c d e f g

mconcat :: [T7 a b c d e f g] -> T7 a b c d e f g

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g) => NFData (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

rnf :: T7 a b c d e f g -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g) => Hashable (T7 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T7 a b c d e f g -> Int

hash :: T7 a b c d e f g -> Int

type Rep (T7 a b c d e f g)

Defined in Data.Tuple.Strict

type Rep (T7 a b c d e f g) = D1 (MetaData "T7" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T7" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g)))))

data T8 a b c d e f g h

Constructors

T8 a b c d e f g h

Instances

Bitraversable (T8 x y z w t u)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T8 x y z w t u a b -> f (T8 x y z w t u c d)

Bifoldable (T8 x y z w t u)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T8 x y z w t u m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T8 x y z w t u a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T8 x y z w t u a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T8 x y z w t u a b -> c

Bifunctor (T8 x y z w t u)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T8 x y z w t u a c -> T8 x y z w t u b d

first :: (a -> b) -> T8 x y z w t u a c -> T8 x y z w t u b c

second :: (b -> c) -> T8 x y z w t u a b -> T8 x y z w t u a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f) => Hashable2 (T8 a b c d e f)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T8 a b c d e f a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) => Monad (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T8 a b c d e f g a0 -> (a0 -> T8 a b c d e f g b0) -> T8 a b c d e f g b0

(>>) :: T8 a b c d e f g a0 -> T8 a b c d e f g b0 -> T8 a b c d e f g b0

return :: a0 -> T8 a b c d e f g a0

fail :: String -> T8 a b c d e f g a0

Functor (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T8 a b c d e f g a0 -> T8 a b c d e f g b0

(<$) :: a0 -> T8 a b c d e f g b0 -> T8 a b c d e f g a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) => Applicative (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T8 a b c d e f g a0

(<*>) :: T8 a b c d e f g (a0 -> b0) -> T8 a b c d e f g a0 -> T8 a b c d e f g b0

liftA2 :: (a0 -> b0 -> c0) -> T8 a b c d e f g a0 -> T8 a b c d e f g b0 -> T8 a b c d e f g c0

(*>) :: T8 a b c d e f g a0 -> T8 a b c d e f g b0 -> T8 a b c d e f g b0

(<*) :: T8 a b c d e f g a0 -> T8 a b c d e f g b0 -> T8 a b c d e f g a0

Foldable (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T8 a b c d e f g m -> m

foldMap :: Monoid m => (a0 -> m) -> T8 a b c d e f g a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T8 a b c d e f g a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T8 a b c d e f g a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T8 a b c d e f g a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T8 a b c d e f g a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T8 a b c d e f g a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T8 a b c d e f g a0 -> a0

toList :: T8 a b c d e f g a0 -> [a0]

null :: T8 a b c d e f g a0 -> Bool

length :: T8 a b c d e f g a0 -> Int

elem :: Eq a0 => a0 -> T8 a b c d e f g a0 -> Bool

maximum :: Ord a0 => T8 a b c d e f g a0 -> a0

minimum :: Ord a0 => T8 a b c d e f g a0 -> a0

sum :: Num a0 => T8 a b c d e f g a0 -> a0

product :: Num a0 => T8 a b c d e f g a0 -> a0

Traversable (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T8 a b c d e f g a0 -> f0 (T8 a b c d e f g b0)

sequenceA :: Applicative f0 => T8 a b c d e f g (f0 a0) -> f0 (T8 a b c d e f g a0)

mapM :: Monad m => (a0 -> m b0) -> T8 a b c d e f g a0 -> m (T8 a b c d e f g b0)

sequence :: Monad m => T8 a b c d e f g (m a0) -> m (T8 a b c d e f g a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g) => Hashable1 (T8 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T8 a b c d e f g a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h) => Bounded (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

minBound :: T8 a b c d e f g h

maxBound :: T8 a b c d e f g h

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

(==) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

(/=) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

compare :: T8 a b c d e f g h -> T8 a b c d e f g h -> Ordering

(<) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

(<=) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

(>) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

(>=) :: T8 a b c d e f g h -> T8 a b c d e f g h -> Bool

max :: T8 a b c d e f g h -> T8 a b c d e f g h -> T8 a b c d e f g h

min :: T8 a b c d e f g h -> T8 a b c d e f g h -> T8 a b c d e f g h

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T8 a b c d e f g h)

readList :: ReadS [T8 a b c d e f g h]

readPrec :: ReadPrec (T8 a b c d e f g h)

readListPrec :: ReadPrec [T8 a b c d e f g h]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T8 a b c d e f g h -> ShowS

show :: T8 a b c d e f g h -> String

showList :: [T8 a b c d e f g h] -> ShowS

Generic (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T8 a b c d e f g h) :: Type -> Type

Methods

from :: T8 a b c d e f g h -> Rep (T8 a b c d e f g h) x

to :: Rep (T8 a b c d e f g h) x -> T8 a b c d e f g h

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h) => Semigroup (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

(<>) :: T8 a b c d e f g h -> T8 a b c d e f g h -> T8 a b c d e f g h

sconcat :: NonEmpty (T8 a b c d e f g h) -> T8 a b c d e f g h

stimes :: Integral b0 => b0 -> T8 a b c d e f g h -> T8 a b c d e f g h

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h) => Monoid (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

mempty :: T8 a b c d e f g h

mappend :: T8 a b c d e f g h -> T8 a b c d e f g h -> T8 a b c d e f g h

mconcat :: [T8 a b c d e f g h] -> T8 a b c d e f g h

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h) => NFData (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

rnf :: T8 a b c d e f g h -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h) => Hashable (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T8 a b c d e f g h -> Int

hash :: T8 a b c d e f g h -> Int

type Rep (T8 a b c d e f g h)

Defined in Data.Tuple.Strict

type Rep (T8 a b c d e f g h) = D1 (MetaData "T8" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T8" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h)))))

data T9 a b c d e f g h i

Constructors

T9 a b c d e f g h i

Instances

Bitraversable (T9 x y z w t u v)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T9 x y z w t u v a b -> f (T9 x y z w t u v c d)

Bifoldable (T9 x y z w t u v)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T9 x y z w t u v m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T9 x y z w t u v a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T9 x y z w t u v a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T9 x y z w t u v a b -> c

Bifunctor (T9 x y z w t u v)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T9 x y z w t u v a c -> T9 x y z w t u v b d

first :: (a -> b) -> T9 x y z w t u v a c -> T9 x y z w t u v b c

second :: (b -> c) -> T9 x y z w t u v a b -> T9 x y z w t u v a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g) => Hashable2 (T9 a b c d e f g)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T9 a b c d e f g a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h) => Monad (T9 a b c d e f g h)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T9 a b c d e f g h a0 -> (a0 -> T9 a b c d e f g h b0) -> T9 a b c d e f g h b0

(>>) :: T9 a b c d e f g h a0 -> T9 a b c d e f g h b0 -> T9 a b c d e f g h b0

return :: a0 -> T9 a b c d e f g h a0

fail :: String -> T9 a b c d e f g h a0

Functor (T9 a b c d e f g h)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T9 a b c d e f g h a0 -> T9 a b c d e f g h b0

(<$) :: a0 -> T9 a b c d e f g h b0 -> T9 a b c d e f g h a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h) => Applicative (T9 a b c d e f g h)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T9 a b c d e f g h a0

(<*>) :: T9 a b c d e f g h (a0 -> b0) -> T9 a b c d e f g h a0 -> T9 a b c d e f g h b0

liftA2 :: (a0 -> b0 -> c0) -> T9 a b c d e f g h a0 -> T9 a b c d e f g h b0 -> T9 a b c d e f g h c0

(*>) :: T9 a b c d e f g h a0 -> T9 a b c d e f g h b0 -> T9 a b c d e f g h b0

(<*) :: T9 a b c d e f g h a0 -> T9 a b c d e f g h b0 -> T9 a b c d e f g h a0

Foldable (T9 a b c d e f g h)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T9 a b c d e f g h m -> m

foldMap :: Monoid m => (a0 -> m) -> T9 a b c d e f g h a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T9 a b c d e f g h a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T9 a b c d e f g h a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T9 a b c d e f g h a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T9 a b c d e f g h a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T9 a b c d e f g h a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T9 a b c d e f g h a0 -> a0

toList :: T9 a b c d e f g h a0 -> [a0]

null :: T9 a b c d e f g h a0 -> Bool

length :: T9 a b c d e f g h a0 -> Int

elem :: Eq a0 => a0 -> T9 a b c d e f g h a0 -> Bool

maximum :: Ord a0 => T9 a b c d e f g h a0 -> a0

minimum :: Ord a0 => T9 a b c d e f g h a0 -> a0

sum :: Num a0 => T9 a b c d e f g h a0 -> a0

product :: Num a0 => T9 a b c d e f g h a0 -> a0

Traversable (T9 a b c d e f g h)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T9 a b c d e f g h a0 -> f0 (T9 a b c d e f g h b0)

sequenceA :: Applicative f0 => T9 a b c d e f g h (f0 a0) -> f0 (T9 a b c d e f g h a0)

mapM :: Monad m => (a0 -> m b0) -> T9 a b c d e f g h a0 -> m (T9 a b c d e f g h b0)

sequence :: Monad m => T9 a b c d e f g h (m a0) -> m (T9 a b c d e f g h a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h) => Hashable1 (T9 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T9 a b c d e f g h a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i) => Bounded (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

minBound :: T9 a b c d e f g h i

maxBound :: T9 a b c d e f g h i

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

(==) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

(/=) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

compare :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Ordering

(<) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

(<=) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

(>) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

(>=) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> Bool

max :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> T9 a b c d e f g h i

min :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> T9 a b c d e f g h i

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i) => Read (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T9 a b c d e f g h i)

readList :: ReadS [T9 a b c d e f g h i]

readPrec :: ReadPrec (T9 a b c d e f g h i)

readListPrec :: ReadPrec [T9 a b c d e f g h i]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T9 a b c d e f g h i -> ShowS

show :: T9 a b c d e f g h i -> String

showList :: [T9 a b c d e f g h i] -> ShowS

Generic (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T9 a b c d e f g h i) :: Type -> Type

Methods

from :: T9 a b c d e f g h i -> Rep (T9 a b c d e f g h i) x

to :: Rep (T9 a b c d e f g h i) x -> T9 a b c d e f g h i

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i) => Semigroup (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

(<>) :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> T9 a b c d e f g h i

sconcat :: NonEmpty (T9 a b c d e f g h i) -> T9 a b c d e f g h i

stimes :: Integral b0 => b0 -> T9 a b c d e f g h i -> T9 a b c d e f g h i

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i) => Monoid (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

mempty :: T9 a b c d e f g h i

mappend :: T9 a b c d e f g h i -> T9 a b c d e f g h i -> T9 a b c d e f g h i

mconcat :: [T9 a b c d e f g h i] -> T9 a b c d e f g h i

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i) => NFData (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

rnf :: T9 a b c d e f g h i -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i) => Hashable (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T9 a b c d e f g h i -> Int

hash :: T9 a b c d e f g h i -> Int

type Rep (T9 a b c d e f g h i)

Defined in Data.Tuple.Strict

type Rep (T9 a b c d e f g h i) = D1 (MetaData "T9" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T9" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i))))))

data T10 a b c d e f g h i j

Constructors

T10 a b c d e f g h i j

Instances

Bitraversable (T10 x y z w t u v p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T10 x y z w t u v p a b -> f (T10 x y z w t u v p c d)

Bifoldable (T10 x y z w t u v p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T10 x y z w t u v p m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T10 x y z w t u v p a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T10 x y z w t u v p a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T10 x y z w t u v p a b -> c

Bifunctor (T10 x y z w t u v p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T10 x y z w t u v p a c -> T10 x y z w t u v p b d

first :: (a -> b) -> T10 x y z w t u v p a c -> T10 x y z w t u v p b c

second :: (b -> c) -> T10 x y z w t u v p a b -> T10 x y z w t u v p a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h) => Hashable2 (T10 a b c d e f g h)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T10 a b c d e f g h a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i) => Monad (T10 a b c d e f g h i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T10 a b c d e f g h i a0 -> (a0 -> T10 a b c d e f g h i b0) -> T10 a b c d e f g h i b0

(>>) :: T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0 -> T10 a b c d e f g h i b0

return :: a0 -> T10 a b c d e f g h i a0

fail :: String -> T10 a b c d e f g h i a0

Functor (T10 a b c d e f g h i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0

(<$) :: a0 -> T10 a b c d e f g h i b0 -> T10 a b c d e f g h i a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i) => Applicative (T10 a b c d e f g h i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T10 a b c d e f g h i a0

(<*>) :: T10 a b c d e f g h i (a0 -> b0) -> T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0

liftA2 :: (a0 -> b0 -> c0) -> T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0 -> T10 a b c d e f g h i c0

(*>) :: T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0 -> T10 a b c d e f g h i b0

(<*) :: T10 a b c d e f g h i a0 -> T10 a b c d e f g h i b0 -> T10 a b c d e f g h i a0

Foldable (T10 a b c d e f g h i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T10 a b c d e f g h i m -> m

foldMap :: Monoid m => (a0 -> m) -> T10 a b c d e f g h i a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T10 a b c d e f g h i a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T10 a b c d e f g h i a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T10 a b c d e f g h i a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T10 a b c d e f g h i a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T10 a b c d e f g h i a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T10 a b c d e f g h i a0 -> a0

toList :: T10 a b c d e f g h i a0 -> [a0]

null :: T10 a b c d e f g h i a0 -> Bool

length :: T10 a b c d e f g h i a0 -> Int

elem :: Eq a0 => a0 -> T10 a b c d e f g h i a0 -> Bool

maximum :: Ord a0 => T10 a b c d e f g h i a0 -> a0

minimum :: Ord a0 => T10 a b c d e f g h i a0 -> a0

sum :: Num a0 => T10 a b c d e f g h i a0 -> a0

product :: Num a0 => T10 a b c d e f g h i a0 -> a0

Traversable (T10 a b c d e f g h i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T10 a b c d e f g h i a0 -> f0 (T10 a b c d e f g h i b0)

sequenceA :: Applicative f0 => T10 a b c d e f g h i (f0 a0) -> f0 (T10 a b c d e f g h i a0)

mapM :: Monad m => (a0 -> m b0) -> T10 a b c d e f g h i a0 -> m (T10 a b c d e f g h i b0)

sequence :: Monad m => T10 a b c d e f g h i (m a0) -> m (T10 a b c d e f g h i a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i) => Hashable1 (T10 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T10 a b c d e f g h i a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j) => Bounded (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

minBound :: T10 a b c d e f g h i j

maxBound :: T10 a b c d e f g h i j

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

(==) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

(/=) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j) => Ord (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

compare :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Ordering

(<) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

(<=) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

(>) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

(>=) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> Bool

max :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> T10 a b c d e f g h i j

min :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> T10 a b c d e f g h i j

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j) => Read (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T10 a b c d e f g h i j)

readList :: ReadS [T10 a b c d e f g h i j]

readPrec :: ReadPrec (T10 a b c d e f g h i j)

readListPrec :: ReadPrec [T10 a b c d e f g h i j]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T10 a b c d e f g h i j -> ShowS

show :: T10 a b c d e f g h i j -> String

showList :: [T10 a b c d e f g h i j] -> ShowS

Generic (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T10 a b c d e f g h i j) :: Type -> Type

Methods

from :: T10 a b c d e f g h i j -> Rep (T10 a b c d e f g h i j) x

to :: Rep (T10 a b c d e f g h i j) x -> T10 a b c d e f g h i j

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j) => Semigroup (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

(<>) :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> T10 a b c d e f g h i j

sconcat :: NonEmpty (T10 a b c d e f g h i j) -> T10 a b c d e f g h i j

stimes :: Integral b0 => b0 -> T10 a b c d e f g h i j -> T10 a b c d e f g h i j

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j) => Monoid (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

mempty :: T10 a b c d e f g h i j

mappend :: T10 a b c d e f g h i j -> T10 a b c d e f g h i j -> T10 a b c d e f g h i j

mconcat :: [T10 a b c d e f g h i j] -> T10 a b c d e f g h i j

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j) => NFData (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

rnf :: T10 a b c d e f g h i j -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j) => Hashable (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T10 a b c d e f g h i j -> Int

hash :: T10 a b c d e f g h i j -> Int

type Rep (T10 a b c d e f g h i j)

Defined in Data.Tuple.Strict

type Rep (T10 a b c d e f g h i j) = D1 (MetaData "T10" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T10" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j))))))

data T11 a b c d e f g h i j k

Constructors

T11 a b c d e f g h i j k

Instances

Bitraversable (T11 x y z w t u v p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T11 x y z w t u v p q a b -> f (T11 x y z w t u v p q c d)

Bifoldable (T11 x y z w t u v p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T11 x y z w t u v p q m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T11 x y z w t u v p q a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T11 x y z w t u v p q a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T11 x y z w t u v p q a b -> c

Bifunctor (T11 x y z w t u v p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T11 x y z w t u v p q a c -> T11 x y z w t u v p q b d

first :: (a -> b) -> T11 x y z w t u v p q a c -> T11 x y z w t u v p q b c

second :: (b -> c) -> T11 x y z w t u v p q a b -> T11 x y z w t u v p q a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i) => Hashable2 (T11 a b c d e f g h i)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T11 a b c d e f g h i a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j) => Monad (T11 a b c d e f g h i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T11 a b c d e f g h i j a0 -> (a0 -> T11 a b c d e f g h i j b0) -> T11 a b c d e f g h i j b0

(>>) :: T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0 -> T11 a b c d e f g h i j b0

return :: a0 -> T11 a b c d e f g h i j a0

fail :: String -> T11 a b c d e f g h i j a0

Functor (T11 a b c d e f g h i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0

(<$) :: a0 -> T11 a b c d e f g h i j b0 -> T11 a b c d e f g h i j a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j) => Applicative (T11 a b c d e f g h i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T11 a b c d e f g h i j a0

(<*>) :: T11 a b c d e f g h i j (a0 -> b0) -> T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0

liftA2 :: (a0 -> b0 -> c0) -> T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0 -> T11 a b c d e f g h i j c0

(*>) :: T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0 -> T11 a b c d e f g h i j b0

(<*) :: T11 a b c d e f g h i j a0 -> T11 a b c d e f g h i j b0 -> T11 a b c d e f g h i j a0

Foldable (T11 a b c d e f g h i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T11 a b c d e f g h i j m -> m

foldMap :: Monoid m => (a0 -> m) -> T11 a b c d e f g h i j a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T11 a b c d e f g h i j a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T11 a b c d e f g h i j a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T11 a b c d e f g h i j a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T11 a b c d e f g h i j a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T11 a b c d e f g h i j a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T11 a b c d e f g h i j a0 -> a0

toList :: T11 a b c d e f g h i j a0 -> [a0]

null :: T11 a b c d e f g h i j a0 -> Bool

length :: T11 a b c d e f g h i j a0 -> Int

elem :: Eq a0 => a0 -> T11 a b c d e f g h i j a0 -> Bool

maximum :: Ord a0 => T11 a b c d e f g h i j a0 -> a0

minimum :: Ord a0 => T11 a b c d e f g h i j a0 -> a0

sum :: Num a0 => T11 a b c d e f g h i j a0 -> a0

product :: Num a0 => T11 a b c d e f g h i j a0 -> a0

Traversable (T11 a b c d e f g h i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T11 a b c d e f g h i j a0 -> f0 (T11 a b c d e f g h i j b0)

sequenceA :: Applicative f0 => T11 a b c d e f g h i j (f0 a0) -> f0 (T11 a b c d e f g h i j a0)

mapM :: Monad m => (a0 -> m b0) -> T11 a b c d e f g h i j a0 -> m (T11 a b c d e f g h i j b0)

sequence :: Monad m => T11 a b c d e f g h i j (m a0) -> m (T11 a b c d e f g h i j a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j) => Hashable1 (T11 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T11 a b c d e f g h i j a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k) => Bounded (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

minBound :: T11 a b c d e f g h i j k

maxBound :: T11 a b c d e f g h i j k

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

(==) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

(/=) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

compare :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Ordering

(<) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

(<=) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

(>) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

(>=) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> Bool

max :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k

min :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k) => Read (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T11 a b c d e f g h i j k)

readList :: ReadS [T11 a b c d e f g h i j k]

readPrec :: ReadPrec (T11 a b c d e f g h i j k)

readListPrec :: ReadPrec [T11 a b c d e f g h i j k]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T11 a b c d e f g h i j k -> ShowS

show :: T11 a b c d e f g h i j k -> String

showList :: [T11 a b c d e f g h i j k] -> ShowS

Generic (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T11 a b c d e f g h i j k) :: Type -> Type

Methods

from :: T11 a b c d e f g h i j k -> Rep (T11 a b c d e f g h i j k) x

to :: Rep (T11 a b c d e f g h i j k) x -> T11 a b c d e f g h i j k

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k) => Semigroup (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

(<>) :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k

sconcat :: NonEmpty (T11 a b c d e f g h i j k) -> T11 a b c d e f g h i j k

stimes :: Integral b0 => b0 -> T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k) => Monoid (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

mempty :: T11 a b c d e f g h i j k

mappend :: T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k -> T11 a b c d e f g h i j k

mconcat :: [T11 a b c d e f g h i j k] -> T11 a b c d e f g h i j k

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k) => NFData (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

rnf :: T11 a b c d e f g h i j k -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k) => Hashable (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T11 a b c d e f g h i j k -> Int

hash :: T11 a b c d e f g h i j k -> Int

type Rep (T11 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

type Rep (T11 a b c d e f g h i j k) = D1 (MetaData "T11" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T11" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k))))))

data T12 a b c d e f g h i j k l

Constructors

T12 a b c d e f g h i j k l

Instances

Bitraversable (T12 x y z w t u v p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T12 x y z w t u v p q r a b -> f (T12 x y z w t u v p q r c d)

Bifoldable (T12 x y z w t u v p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T12 x y z w t u v p q r m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T12 x y z w t u v p q r a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T12 x y z w t u v p q r a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T12 x y z w t u v p q r a b -> c

Bifunctor (T12 x y z w t u v p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T12 x y z w t u v p q r a c -> T12 x y z w t u v p q r b d

first :: (a -> b) -> T12 x y z w t u v p q r a c -> T12 x y z w t u v p q r b c

second :: (b -> c) -> T12 x y z w t u v p q r a b -> T12 x y z w t u v p q r a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j) => Hashable2 (T12 a b c d e f g h i j)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T12 a b c d e f g h i j a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k) => Monad (T12 a b c d e f g h i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T12 a b c d e f g h i j k a0 -> (a0 -> T12 a b c d e f g h i j k b0) -> T12 a b c d e f g h i j k b0

(>>) :: T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0 -> T12 a b c d e f g h i j k b0

return :: a0 -> T12 a b c d e f g h i j k a0

fail :: String -> T12 a b c d e f g h i j k a0

Functor (T12 a b c d e f g h i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0

(<$) :: a0 -> T12 a b c d e f g h i j k b0 -> T12 a b c d e f g h i j k a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k) => Applicative (T12 a b c d e f g h i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T12 a b c d e f g h i j k a0

(<*>) :: T12 a b c d e f g h i j k (a0 -> b0) -> T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0

liftA2 :: (a0 -> b0 -> c0) -> T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0 -> T12 a b c d e f g h i j k c0

(*>) :: T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0 -> T12 a b c d e f g h i j k b0

(<*) :: T12 a b c d e f g h i j k a0 -> T12 a b c d e f g h i j k b0 -> T12 a b c d e f g h i j k a0

Foldable (T12 a b c d e f g h i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T12 a b c d e f g h i j k m -> m

foldMap :: Monoid m => (a0 -> m) -> T12 a b c d e f g h i j k a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T12 a b c d e f g h i j k a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T12 a b c d e f g h i j k a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T12 a b c d e f g h i j k a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T12 a b c d e f g h i j k a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T12 a b c d e f g h i j k a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T12 a b c d e f g h i j k a0 -> a0

toList :: T12 a b c d e f g h i j k a0 -> [a0]

null :: T12 a b c d e f g h i j k a0 -> Bool

length :: T12 a b c d e f g h i j k a0 -> Int

elem :: Eq a0 => a0 -> T12 a b c d e f g h i j k a0 -> Bool

maximum :: Ord a0 => T12 a b c d e f g h i j k a0 -> a0

minimum :: Ord a0 => T12 a b c d e f g h i j k a0 -> a0

sum :: Num a0 => T12 a b c d e f g h i j k a0 -> a0

product :: Num a0 => T12 a b c d e f g h i j k a0 -> a0

Traversable (T12 a b c d e f g h i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T12 a b c d e f g h i j k a0 -> f0 (T12 a b c d e f g h i j k b0)

sequenceA :: Applicative f0 => T12 a b c d e f g h i j k (f0 a0) -> f0 (T12 a b c d e f g h i j k a0)

mapM :: Monad m => (a0 -> m b0) -> T12 a b c d e f g h i j k a0 -> m (T12 a b c d e f g h i j k b0)

sequence :: Monad m => T12 a b c d e f g h i j k (m a0) -> m (T12 a b c d e f g h i j k a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k) => Hashable1 (T12 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T12 a b c d e f g h i j k a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l) => Bounded (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

minBound :: T12 a b c d e f g h i j k l

maxBound :: T12 a b c d e f g h i j k l

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

(==) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

(/=) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l) => Ord (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

compare :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Ordering

(<) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

(<=) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

(>) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

(>=) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> Bool

max :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l

min :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l) => Read (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T12 a b c d e f g h i j k l)

readList :: ReadS [T12 a b c d e f g h i j k l]

readPrec :: ReadPrec (T12 a b c d e f g h i j k l)

readListPrec :: ReadPrec [T12 a b c d e f g h i j k l]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T12 a b c d e f g h i j k l -> ShowS

show :: T12 a b c d e f g h i j k l -> String

showList :: [T12 a b c d e f g h i j k l] -> ShowS

Generic (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T12 a b c d e f g h i j k l) :: Type -> Type

Methods

from :: T12 a b c d e f g h i j k l -> Rep (T12 a b c d e f g h i j k l) x

to :: Rep (T12 a b c d e f g h i j k l) x -> T12 a b c d e f g h i j k l

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l) => Semigroup (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

(<>) :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l

sconcat :: NonEmpty (T12 a b c d e f g h i j k l) -> T12 a b c d e f g h i j k l

stimes :: Integral b0 => b0 -> T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l) => Monoid (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

mempty :: T12 a b c d e f g h i j k l

mappend :: T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l -> T12 a b c d e f g h i j k l

mconcat :: [T12 a b c d e f g h i j k l] -> T12 a b c d e f g h i j k l

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l) => NFData (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

rnf :: T12 a b c d e f g h i j k l -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l) => Hashable (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T12 a b c d e f g h i j k l -> Int

hash :: T12 a b c d e f g h i j k l -> Int

type Rep (T12 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

type Rep (T12 a b c d e f g h i j k l) = D1 (MetaData "T12" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T12" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l))))))

data T13 a b c d e f g h i j k l m

Constructors

T13 a b c d e f g h i j k l m

Instances

Bitraversable (T13 x y z w t u v p q r s)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T13 x y z w t u v p q r s a b -> f (T13 x y z w t u v p q r s c d)

Bifoldable (T13 x y z w t u v p q r s)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T13 x y z w t u v p q r s m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T13 x y z w t u v p q r s a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T13 x y z w t u v p q r s a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T13 x y z w t u v p q r s a b -> c

Bifunctor (T13 x y z w t u v p q r s)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T13 x y z w t u v p q r s a c -> T13 x y z w t u v p q r s b d

first :: (a -> b) -> T13 x y z w t u v p q r s a c -> T13 x y z w t u v p q r s b c

second :: (b -> c) -> T13 x y z w t u v p q r s a b -> T13 x y z w t u v p q r s a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k) => Hashable2 (T13 a b c d e f g h i j k)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T13 a b c d e f g h i j k a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l) => Monad (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T13 a b c d e f g h i j k l a0 -> (a0 -> T13 a b c d e f g h i j k l b0) -> T13 a b c d e f g h i j k l b0

(>>) :: T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0 -> T13 a b c d e f g h i j k l b0

return :: a0 -> T13 a b c d e f g h i j k l a0

fail :: String -> T13 a b c d e f g h i j k l a0

Functor (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0

(<$) :: a0 -> T13 a b c d e f g h i j k l b0 -> T13 a b c d e f g h i j k l a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l) => Applicative (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T13 a b c d e f g h i j k l a0

(<*>) :: T13 a b c d e f g h i j k l (a0 -> b0) -> T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0

liftA2 :: (a0 -> b0 -> c0) -> T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0 -> T13 a b c d e f g h i j k l c0

(*>) :: T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0 -> T13 a b c d e f g h i j k l b0

(<*) :: T13 a b c d e f g h i j k l a0 -> T13 a b c d e f g h i j k l b0 -> T13 a b c d e f g h i j k l a0

Foldable (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m => T13 a b c d e f g h i j k l m -> m

foldMap :: Monoid m => (a0 -> m) -> T13 a b c d e f g h i j k l a0 -> m

foldr :: (a0 -> b0 -> b0) -> b0 -> T13 a b c d e f g h i j k l a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T13 a b c d e f g h i j k l a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T13 a b c d e f g h i j k l a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T13 a b c d e f g h i j k l a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T13 a b c d e f g h i j k l a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T13 a b c d e f g h i j k l a0 -> a0

toList :: T13 a b c d e f g h i j k l a0 -> [a0]

null :: T13 a b c d e f g h i j k l a0 -> Bool

length :: T13 a b c d e f g h i j k l a0 -> Int

elem :: Eq a0 => a0 -> T13 a b c d e f g h i j k l a0 -> Bool

maximum :: Ord a0 => T13 a b c d e f g h i j k l a0 -> a0

minimum :: Ord a0 => T13 a b c d e f g h i j k l a0 -> a0

sum :: Num a0 => T13 a b c d e f g h i j k l a0 -> a0

product :: Num a0 => T13 a b c d e f g h i j k l a0 -> a0

Traversable (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T13 a b c d e f g h i j k l a0 -> f0 (T13 a b c d e f g h i j k l b0)

sequenceA :: Applicative f0 => T13 a b c d e f g h i j k l (f0 a0) -> f0 (T13 a b c d e f g h i j k l a0)

mapM :: Monad m => (a0 -> m b0) -> T13 a b c d e f g h i j k l a0 -> m (T13 a b c d e f g h i j k l b0)

sequence :: Monad m => T13 a b c d e f g h i j k l (m a0) -> m (T13 a b c d e f g h i j k l a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l) => Hashable1 (T13 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T13 a b c d e f g h i j k l a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m) => Bounded (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

minBound :: T13 a b c d e f g h i j k l m

maxBound :: T13 a b c d e f g h i j k l m

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

(==) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

(/=) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m) => Ord (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

compare :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Ordering

(<) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

(<=) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

(>) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

(>=) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> Bool

max :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m

min :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m) => Read (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T13 a b c d e f g h i j k l m)

readList :: ReadS [T13 a b c d e f g h i j k l m]

readPrec :: ReadPrec (T13 a b c d e f g h i j k l m)

readListPrec :: ReadPrec [T13 a b c d e f g h i j k l m]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T13 a b c d e f g h i j k l m -> ShowS

show :: T13 a b c d e f g h i j k l m -> String

showList :: [T13 a b c d e f g h i j k l m] -> ShowS

Generic (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T13 a b c d e f g h i j k l m) :: Type -> Type

Methods

from :: T13 a b c d e f g h i j k l m -> Rep (T13 a b c d e f g h i j k l m) x

to :: Rep (T13 a b c d e f g h i j k l m) x -> T13 a b c d e f g h i j k l m

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m) => Semigroup (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

(<>) :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m

sconcat :: NonEmpty (T13 a b c d e f g h i j k l m) -> T13 a b c d e f g h i j k l m

stimes :: Integral b0 => b0 -> T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m) => Monoid (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

mempty :: T13 a b c d e f g h i j k l m

mappend :: T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m -> T13 a b c d e f g h i j k l m

mconcat :: [T13 a b c d e f g h i j k l m] -> T13 a b c d e f g h i j k l m

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m) => NFData (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

rnf :: T13 a b c d e f g h i j k l m -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m) => Hashable (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T13 a b c d e f g h i j k l m -> Int

hash :: T13 a b c d e f g h i j k l m -> Int

type Rep (T13 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

type Rep (T13 a b c d e f g h i j k l m) = D1 (MetaData "T13" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T13" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m))))))

data T14 a b c d e f g h i j k l m n

Constructors

T14 a b c d e f g h i j k l m n

Instances

Bitraversable (T14 x y z w t u v p q r s i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T14 x y z w t u v p q r s i a b -> f (T14 x y z w t u v p q r s i c d)

Bifoldable (T14 x y z w t u v p q r s i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T14 x y z w t u v p q r s i m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T14 x y z w t u v p q r s i a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T14 x y z w t u v p q r s i a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T14 x y z w t u v p q r s i a b -> c

Bifunctor (T14 x y z w t u v p q r s i)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T14 x y z w t u v p q r s i a c -> T14 x y z w t u v p q r s i b d

first :: (a -> b) -> T14 x y z w t u v p q r s i a c -> T14 x y z w t u v p q r s i b c

second :: (b -> c) -> T14 x y z w t u v p q r s i a b -> T14 x y z w t u v p q r s i a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l) => Hashable2 (T14 a b c d e f g h i j k l)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T14 a b c d e f g h i j k l a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m) => Monad (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T14 a b c d e f g h i j k l m a0 -> (a0 -> T14 a b c d e f g h i j k l m b0) -> T14 a b c d e f g h i j k l m b0

(>>) :: T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0 -> T14 a b c d e f g h i j k l m b0

return :: a0 -> T14 a b c d e f g h i j k l m a0

fail :: String -> T14 a b c d e f g h i j k l m a0

Functor (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0

(<$) :: a0 -> T14 a b c d e f g h i j k l m b0 -> T14 a b c d e f g h i j k l m a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m) => Applicative (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T14 a b c d e f g h i j k l m a0

(<*>) :: T14 a b c d e f g h i j k l m (a0 -> b0) -> T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0

liftA2 :: (a0 -> b0 -> c0) -> T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0 -> T14 a b c d e f g h i j k l m c0

(*>) :: T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0 -> T14 a b c d e f g h i j k l m b0

(<*) :: T14 a b c d e f g h i j k l m a0 -> T14 a b c d e f g h i j k l m b0 -> T14 a b c d e f g h i j k l m a0

Foldable (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T14 a b c d e f g h i j k l m m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T14 a b c d e f g h i j k l m a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T14 a b c d e f g h i j k l m a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T14 a b c d e f g h i j k l m a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T14 a b c d e f g h i j k l m a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T14 a b c d e f g h i j k l m a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T14 a b c d e f g h i j k l m a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T14 a b c d e f g h i j k l m a0 -> a0

toList :: T14 a b c d e f g h i j k l m a0 -> [a0]

null :: T14 a b c d e f g h i j k l m a0 -> Bool

length :: T14 a b c d e f g h i j k l m a0 -> Int

elem :: Eq a0 => a0 -> T14 a b c d e f g h i j k l m a0 -> Bool

maximum :: Ord a0 => T14 a b c d e f g h i j k l m a0 -> a0

minimum :: Ord a0 => T14 a b c d e f g h i j k l m a0 -> a0

sum :: Num a0 => T14 a b c d e f g h i j k l m a0 -> a0

product :: Num a0 => T14 a b c d e f g h i j k l m a0 -> a0

Traversable (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T14 a b c d e f g h i j k l m a0 -> f0 (T14 a b c d e f g h i j k l m b0)

sequenceA :: Applicative f0 => T14 a b c d e f g h i j k l m (f0 a0) -> f0 (T14 a b c d e f g h i j k l m a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T14 a b c d e f g h i j k l m a0 -> m0 (T14 a b c d e f g h i j k l m b0)

sequence :: Monad m0 => T14 a b c d e f g h i j k l m (m0 a0) -> m0 (T14 a b c d e f g h i j k l m a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m) => Hashable1 (T14 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T14 a b c d e f g h i j k l m a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n) => Bounded (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

minBound :: T14 a b c d e f g h i j k l m n

maxBound :: T14 a b c d e f g h i j k l m n

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

(==) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

(/=) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n) => Ord (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

compare :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Ordering

(<) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

(<=) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

(>) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

(>=) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> Bool

max :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n

min :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n) => Read (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T14 a b c d e f g h i j k l m n)

readList :: ReadS [T14 a b c d e f g h i j k l m n]

readPrec :: ReadPrec (T14 a b c d e f g h i j k l m n)

readListPrec :: ReadPrec [T14 a b c d e f g h i j k l m n]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T14 a b c d e f g h i j k l m n -> ShowS

show :: T14 a b c d e f g h i j k l m n -> String

showList :: [T14 a b c d e f g h i j k l m n] -> ShowS

Generic (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T14 a b c d e f g h i j k l m n) :: Type -> Type

Methods

from :: T14 a b c d e f g h i j k l m n -> Rep (T14 a b c d e f g h i j k l m n) x

to :: Rep (T14 a b c d e f g h i j k l m n) x -> T14 a b c d e f g h i j k l m n

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n) => Semigroup (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

(<>) :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n

sconcat :: NonEmpty (T14 a b c d e f g h i j k l m n) -> T14 a b c d e f g h i j k l m n

stimes :: Integral b0 => b0 -> T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n) => Monoid (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

mempty :: T14 a b c d e f g h i j k l m n

mappend :: T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n -> T14 a b c d e f g h i j k l m n

mconcat :: [T14 a b c d e f g h i j k l m n] -> T14 a b c d e f g h i j k l m n

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n) => NFData (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

rnf :: T14 a b c d e f g h i j k l m n -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n) => Hashable (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T14 a b c d e f g h i j k l m n -> Int

hash :: T14 a b c d e f g h i j k l m n -> Int

type Rep (T14 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

type Rep (T14 a b c d e f g h i j k l m n) = D1 (MetaData "T14" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T14" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n))))))

data T15 a b c d e f g h i j k l m n o

Constructors

T15 a b c d e f g h i j k l m n o

Instances

Bitraversable (T15 x y z w t u v p q r s i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T15 x y z w t u v p q r s i j a b -> f (T15 x y z w t u v p q r s i j c d)

Bifoldable (T15 x y z w t u v p q r s i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T15 x y z w t u v p q r s i j m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T15 x y z w t u v p q r s i j a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T15 x y z w t u v p q r s i j a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T15 x y z w t u v p q r s i j a b -> c

Bifunctor (T15 x y z w t u v p q r s i j)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T15 x y z w t u v p q r s i j a c -> T15 x y z w t u v p q r s i j b d

first :: (a -> b) -> T15 x y z w t u v p q r s i j a c -> T15 x y z w t u v p q r s i j b c

second :: (b -> c) -> T15 x y z w t u v p q r s i j a b -> T15 x y z w t u v p q r s i j a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m) => Hashable2 (T15 a b c d e f g h i j k l m)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T15 a b c d e f g h i j k l m a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n) => Monad (T15 a b c d e f g h i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T15 a b c d e f g h i j k l m n a0 -> (a0 -> T15 a b c d e f g h i j k l m n b0) -> T15 a b c d e f g h i j k l m n b0

(>>) :: T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0 -> T15 a b c d e f g h i j k l m n b0

return :: a0 -> T15 a b c d e f g h i j k l m n a0

fail :: String -> T15 a b c d e f g h i j k l m n a0

Functor (T15 a b c d e f g h i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0

(<$) :: a0 -> T15 a b c d e f g h i j k l m n b0 -> T15 a b c d e f g h i j k l m n a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n) => Applicative (T15 a b c d e f g h i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T15 a b c d e f g h i j k l m n a0

(<*>) :: T15 a b c d e f g h i j k l m n (a0 -> b0) -> T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0

liftA2 :: (a0 -> b0 -> c0) -> T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0 -> T15 a b c d e f g h i j k l m n c0

(*>) :: T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0 -> T15 a b c d e f g h i j k l m n b0

(<*) :: T15 a b c d e f g h i j k l m n a0 -> T15 a b c d e f g h i j k l m n b0 -> T15 a b c d e f g h i j k l m n a0

Foldable (T15 a b c d e f g h i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T15 a b c d e f g h i j k l m n m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T15 a b c d e f g h i j k l m n a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T15 a b c d e f g h i j k l m n a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T15 a b c d e f g h i j k l m n a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T15 a b c d e f g h i j k l m n a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T15 a b c d e f g h i j k l m n a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T15 a b c d e f g h i j k l m n a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T15 a b c d e f g h i j k l m n a0 -> a0

toList :: T15 a b c d e f g h i j k l m n a0 -> [a0]

null :: T15 a b c d e f g h i j k l m n a0 -> Bool

length :: T15 a b c d e f g h i j k l m n a0 -> Int

elem :: Eq a0 => a0 -> T15 a b c d e f g h i j k l m n a0 -> Bool

maximum :: Ord a0 => T15 a b c d e f g h i j k l m n a0 -> a0

minimum :: Ord a0 => T15 a b c d e f g h i j k l m n a0 -> a0

sum :: Num a0 => T15 a b c d e f g h i j k l m n a0 -> a0

product :: Num a0 => T15 a b c d e f g h i j k l m n a0 -> a0

Traversable (T15 a b c d e f g h i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T15 a b c d e f g h i j k l m n a0 -> f0 (T15 a b c d e f g h i j k l m n b0)

sequenceA :: Applicative f0 => T15 a b c d e f g h i j k l m n (f0 a0) -> f0 (T15 a b c d e f g h i j k l m n a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T15 a b c d e f g h i j k l m n a0 -> m0 (T15 a b c d e f g h i j k l m n b0)

sequence :: Monad m0 => T15 a b c d e f g h i j k l m n (m0 a0) -> m0 (T15 a b c d e f g h i j k l m n a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n) => Hashable1 (T15 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T15 a b c d e f g h i j k l m n a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o) => Bounded (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

minBound :: T15 a b c d e f g h i j k l m n o

maxBound :: T15 a b c d e f g h i j k l m n o

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

(==) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

(/=) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o) => Ord (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

compare :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Ordering

(<) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

(<=) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

(>) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

(>=) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> Bool

max :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o

min :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o) => Read (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T15 a b c d e f g h i j k l m n o)

readList :: ReadS [T15 a b c d e f g h i j k l m n o]

readPrec :: ReadPrec (T15 a b c d e f g h i j k l m n o)

readListPrec :: ReadPrec [T15 a b c d e f g h i j k l m n o]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T15 a b c d e f g h i j k l m n o -> ShowS

show :: T15 a b c d e f g h i j k l m n o -> String

showList :: [T15 a b c d e f g h i j k l m n o] -> ShowS

Generic (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T15 a b c d e f g h i j k l m n o) :: Type -> Type

Methods

from :: T15 a b c d e f g h i j k l m n o -> Rep (T15 a b c d e f g h i j k l m n o) x

to :: Rep (T15 a b c d e f g h i j k l m n o) x -> T15 a b c d e f g h i j k l m n o

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o) => Semigroup (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

(<>) :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o

sconcat :: NonEmpty (T15 a b c d e f g h i j k l m n o) -> T15 a b c d e f g h i j k l m n o

stimes :: Integral b0 => b0 -> T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o) => Monoid (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

mempty :: T15 a b c d e f g h i j k l m n o

mappend :: T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o -> T15 a b c d e f g h i j k l m n o

mconcat :: [T15 a b c d e f g h i j k l m n o] -> T15 a b c d e f g h i j k l m n o

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n, NFData o) => NFData (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

rnf :: T15 a b c d e f g h i j k l m n o -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o) => Hashable (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T15 a b c d e f g h i j k l m n o -> Int

hash :: T15 a b c d e f g h i j k l m n o -> Int

type Rep (T15 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

type Rep (T15 a b c d e f g h i j k l m n o) = D1 (MetaData "T15" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T15" PrefixI False) (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g)))) :*: (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 o))))))

data T16 a b c d e f g h i j k l m n o p

Constructors

T16 a b c d e f g h i j k l m n o p

Instances

Bitraversable (T16 x y z w t u v p q r s i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T16 x y z w t u v p q r s i j k a b -> f (T16 x y z w t u v p q r s i j k c d)

Bifoldable (T16 x y z w t u v p q r s i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T16 x y z w t u v p q r s i j k m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T16 x y z w t u v p q r s i j k a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T16 x y z w t u v p q r s i j k a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T16 x y z w t u v p q r s i j k a b -> c

Bifunctor (T16 x y z w t u v p q r s i j k)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T16 x y z w t u v p q r s i j k a c -> T16 x y z w t u v p q r s i j k b d

first :: (a -> b) -> T16 x y z w t u v p q r s i j k a c -> T16 x y z w t u v p q r s i j k b c

second :: (b -> c) -> T16 x y z w t u v p q r s i j k a b -> T16 x y z w t u v p q r s i j k a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n) => Hashable2 (T16 a b c d e f g h i j k l m n)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T16 a b c d e f g h i j k l m n a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o) => Monad (T16 a b c d e f g h i j k l m n o)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T16 a b c d e f g h i j k l m n o a0 -> (a0 -> T16 a b c d e f g h i j k l m n o b0) -> T16 a b c d e f g h i j k l m n o b0

(>>) :: T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0 -> T16 a b c d e f g h i j k l m n o b0

return :: a0 -> T16 a b c d e f g h i j k l m n o a0

fail :: String -> T16 a b c d e f g h i j k l m n o a0

Functor (T16 a b c d e f g h i j k l m n o)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0

(<$) :: a0 -> T16 a b c d e f g h i j k l m n o b0 -> T16 a b c d e f g h i j k l m n o a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o) => Applicative (T16 a b c d e f g h i j k l m n o)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T16 a b c d e f g h i j k l m n o a0

(<*>) :: T16 a b c d e f g h i j k l m n o (a0 -> b0) -> T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0

liftA2 :: (a0 -> b0 -> c0) -> T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0 -> T16 a b c d e f g h i j k l m n o c0

(*>) :: T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0 -> T16 a b c d e f g h i j k l m n o b0

(<*) :: T16 a b c d e f g h i j k l m n o a0 -> T16 a b c d e f g h i j k l m n o b0 -> T16 a b c d e f g h i j k l m n o a0

Foldable (T16 a b c d e f g h i j k l m n o)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T16 a b c d e f g h i j k l m n o m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T16 a b c d e f g h i j k l m n o a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T16 a b c d e f g h i j k l m n o a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T16 a b c d e f g h i j k l m n o a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T16 a b c d e f g h i j k l m n o a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T16 a b c d e f g h i j k l m n o a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T16 a b c d e f g h i j k l m n o a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T16 a b c d e f g h i j k l m n o a0 -> a0

toList :: T16 a b c d e f g h i j k l m n o a0 -> [a0]

null :: T16 a b c d e f g h i j k l m n o a0 -> Bool

length :: T16 a b c d e f g h i j k l m n o a0 -> Int

elem :: Eq a0 => a0 -> T16 a b c d e f g h i j k l m n o a0 -> Bool

maximum :: Ord a0 => T16 a b c d e f g h i j k l m n o a0 -> a0

minimum :: Ord a0 => T16 a b c d e f g h i j k l m n o a0 -> a0

sum :: Num a0 => T16 a b c d e f g h i j k l m n o a0 -> a0

product :: Num a0 => T16 a b c d e f g h i j k l m n o a0 -> a0

Traversable (T16 a b c d e f g h i j k l m n o)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T16 a b c d e f g h i j k l m n o a0 -> f0 (T16 a b c d e f g h i j k l m n o b0)

sequenceA :: Applicative f0 => T16 a b c d e f g h i j k l m n o (f0 a0) -> f0 (T16 a b c d e f g h i j k l m n o a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T16 a b c d e f g h i j k l m n o a0 -> m0 (T16 a b c d e f g h i j k l m n o b0)

sequence :: Monad m0 => T16 a b c d e f g h i j k l m n o (m0 a0) -> m0 (T16 a b c d e f g h i j k l m n o a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o) => Hashable1 (T16 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T16 a b c d e f g h i j k l m n o a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o, Bounded p) => Bounded (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

minBound :: T16 a b c d e f g h i j k l m n o p

maxBound :: T16 a b c d e f g h i j k l m n o p

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p) => Eq (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

(==) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

(/=) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p) => Ord (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

compare :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Ordering

(<) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

(<=) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

(>) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

(>=) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> Bool

max :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p

min :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p) => Read (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T16 a b c d e f g h i j k l m n o p)

readList :: ReadS [T16 a b c d e f g h i j k l m n o p]

readPrec :: ReadPrec (T16 a b c d e f g h i j k l m n o p)

readListPrec :: ReadPrec [T16 a b c d e f g h i j k l m n o p]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p) => Show (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T16 a b c d e f g h i j k l m n o p -> ShowS

show :: T16 a b c d e f g h i j k l m n o p -> String

showList :: [T16 a b c d e f g h i j k l m n o p] -> ShowS

Generic (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T16 a b c d e f g h i j k l m n o p) :: Type -> Type

Methods

from :: T16 a b c d e f g h i j k l m n o p -> Rep (T16 a b c d e f g h i j k l m n o p) x

to :: Rep (T16 a b c d e f g h i j k l m n o p) x -> T16 a b c d e f g h i j k l m n o p

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o, Semigroup p) => Semigroup (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

(<>) :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p

sconcat :: NonEmpty (T16 a b c d e f g h i j k l m n o p) -> T16 a b c d e f g h i j k l m n o p

stimes :: Integral b0 => b0 -> T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p) => Monoid (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

mempty :: T16 a b c d e f g h i j k l m n o p

mappend :: T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p -> T16 a b c d e f g h i j k l m n o p

mconcat :: [T16 a b c d e f g h i j k l m n o p] -> T16 a b c d e f g h i j k l m n o p

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n, NFData o, NFData p) => NFData (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

rnf :: T16 a b c d e f g h i j k l m n o p -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p) => Hashable (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T16 a b c d e f g h i j k l m n o p -> Int

hash :: T16 a b c d e f g h i j k l m n o p -> Int

type Rep (T16 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

type Rep (T16 a b c d e f g h i j k l m n o p) = D1 (MetaData "T16" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T16" PrefixI False) ((((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h)))) :*: (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 o) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 p))))))

data T17 a b c d e f g h i j k l m n o p q

Constructors

T17 a b c d e f g h i j k l m n o p q

Instances

Bitraversable (T17 x y z w t u v p q r s i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T17 x y z w t u v p q r s i j k l a b -> f (T17 x y z w t u v p q r s i j k l c d)

Bifoldable (T17 x y z w t u v p q r s i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m => T17 x y z w t u v p q r s i j k l m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> T17 x y z w t u v p q r s i j k l a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T17 x y z w t u v p q r s i j k l a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T17 x y z w t u v p q r s i j k l a b -> c

Bifunctor (T17 x y z w t u v p q r s i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T17 x y z w t u v p q r s i j k l a c -> T17 x y z w t u v p q r s i j k l b d

first :: (a -> b) -> T17 x y z w t u v p q r s i j k l a c -> T17 x y z w t u v p q r s i j k l b c

second :: (b -> c) -> T17 x y z w t u v p q r s i j k l a b -> T17 x y z w t u v p q r s i j k l a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o) => Hashable2 (T17 a b c d e f g h i j k l m n o)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T17 a b c d e f g h i j k l m n o a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p) => Monad (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T17 a b c d e f g h i j k l m n o p a0 -> (a0 -> T17 a b c d e f g h i j k l m n o p b0) -> T17 a b c d e f g h i j k l m n o p b0

(>>) :: T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0 -> T17 a b c d e f g h i j k l m n o p b0

return :: a0 -> T17 a b c d e f g h i j k l m n o p a0

fail :: String -> T17 a b c d e f g h i j k l m n o p a0

Functor (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0

(<$) :: a0 -> T17 a b c d e f g h i j k l m n o p b0 -> T17 a b c d e f g h i j k l m n o p a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p) => Applicative (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T17 a b c d e f g h i j k l m n o p a0

(<*>) :: T17 a b c d e f g h i j k l m n o p (a0 -> b0) -> T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0

liftA2 :: (a0 -> b0 -> c0) -> T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0 -> T17 a b c d e f g h i j k l m n o p c0

(*>) :: T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0 -> T17 a b c d e f g h i j k l m n o p b0

(<*) :: T17 a b c d e f g h i j k l m n o p a0 -> T17 a b c d e f g h i j k l m n o p b0 -> T17 a b c d e f g h i j k l m n o p a0

Foldable (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T17 a b c d e f g h i j k l m n o p m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T17 a b c d e f g h i j k l m n o p a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T17 a b c d e f g h i j k l m n o p a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T17 a b c d e f g h i j k l m n o p a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T17 a b c d e f g h i j k l m n o p a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T17 a b c d e f g h i j k l m n o p a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T17 a b c d e f g h i j k l m n o p a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T17 a b c d e f g h i j k l m n o p a0 -> a0

toList :: T17 a b c d e f g h i j k l m n o p a0 -> [a0]

null :: T17 a b c d e f g h i j k l m n o p a0 -> Bool

length :: T17 a b c d e f g h i j k l m n o p a0 -> Int

elem :: Eq a0 => a0 -> T17 a b c d e f g h i j k l m n o p a0 -> Bool

maximum :: Ord a0 => T17 a b c d e f g h i j k l m n o p a0 -> a0

minimum :: Ord a0 => T17 a b c d e f g h i j k l m n o p a0 -> a0

sum :: Num a0 => T17 a b c d e f g h i j k l m n o p a0 -> a0

product :: Num a0 => T17 a b c d e f g h i j k l m n o p a0 -> a0

Traversable (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T17 a b c d e f g h i j k l m n o p a0 -> f0 (T17 a b c d e f g h i j k l m n o p b0)

sequenceA :: Applicative f0 => T17 a b c d e f g h i j k l m n o p (f0 a0) -> f0 (T17 a b c d e f g h i j k l m n o p a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T17 a b c d e f g h i j k l m n o p a0 -> m0 (T17 a b c d e f g h i j k l m n o p b0)

sequence :: Monad m0 => T17 a b c d e f g h i j k l m n o p (m0 a0) -> m0 (T17 a b c d e f g h i j k l m n o p a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p) => Hashable1 (T17 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T17 a b c d e f g h i j k l m n o p a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o, Bounded p, Bounded q) => Bounded (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

minBound :: T17 a b c d e f g h i j k l m n o p q

maxBound :: T17 a b c d e f g h i j k l m n o p q

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q) => Eq (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

(==) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

(/=) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q) => Ord (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

compare :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Ordering

(<) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

(<=) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

(>) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

(>=) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> Bool

max :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q

min :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q) => Read (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T17 a b c d e f g h i j k l m n o p q)

readList :: ReadS [T17 a b c d e f g h i j k l m n o p q]

readPrec :: ReadPrec (T17 a b c d e f g h i j k l m n o p q)

readListPrec :: ReadPrec [T17 a b c d e f g h i j k l m n o p q]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q) => Show (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T17 a b c d e f g h i j k l m n o p q -> ShowS

show :: T17 a b c d e f g h i j k l m n o p q -> String

showList :: [T17 a b c d e f g h i j k l m n o p q] -> ShowS

Generic (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T17 a b c d e f g h i j k l m n o p q) :: Type -> Type

Methods

from :: T17 a b c d e f g h i j k l m n o p q -> Rep (T17 a b c d e f g h i j k l m n o p q) x

to :: Rep (T17 a b c d e f g h i j k l m n o p q) x -> T17 a b c d e f g h i j k l m n o p q

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o, Semigroup p, Semigroup q) => Semigroup (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

(<>) :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q

sconcat :: NonEmpty (T17 a b c d e f g h i j k l m n o p q) -> T17 a b c d e f g h i j k l m n o p q

stimes :: Integral b0 => b0 -> T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q) => Monoid (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

mempty :: T17 a b c d e f g h i j k l m n o p q

mappend :: T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q -> T17 a b c d e f g h i j k l m n o p q

mconcat :: [T17 a b c d e f g h i j k l m n o p q] -> T17 a b c d e f g h i j k l m n o p q

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n, NFData o, NFData p, NFData q) => NFData (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

rnf :: T17 a b c d e f g h i j k l m n o p q -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q) => Hashable (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T17 a b c d e f g h i j k l m n o p q -> Int

hash :: T17 a b c d e f g h i j k l m n o p q -> Int

type Rep (T17 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

type Rep (T17 a b c d e f g h i j k l m n o p q) = D1 (MetaData "T17" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T17" PrefixI False) ((((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h)))) :*: (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 o) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 p) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 q)))))))

data T18 a b c d e f g h i j k l m n o p q r

Constructors

T18 a b c d e f g h i j k l m n o p q r

Instances

Bitraversable (T18 x y z w t u v p q r s i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T18 x y z w t u v p q r s i j k l m a b -> f (T18 x y z w t u v p q r s i j k l m c d)

Bifoldable (T18 x y z w t u v p q r s i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m0 => T18 x y z w t u v p q r s i j k l m m0 m0 -> m0

bifoldMap :: Monoid m0 => (a -> m0) -> (b -> m0) -> T18 x y z w t u v p q r s i j k l m a b -> m0

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T18 x y z w t u v p q r s i j k l m a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T18 x y z w t u v p q r s i j k l m a b -> c

Bifunctor (T18 x y z w t u v p q r s i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T18 x y z w t u v p q r s i j k l m a c -> T18 x y z w t u v p q r s i j k l m b d

first :: (a -> b) -> T18 x y z w t u v p q r s i j k l m a c -> T18 x y z w t u v p q r s i j k l m b c

second :: (b -> c) -> T18 x y z w t u v p q r s i j k l m a b -> T18 x y z w t u v p q r s i j k l m a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p) => Hashable2 (T18 a b c d e f g h i j k l m n o p)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T18 a b c d e f g h i j k l m n o p a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q) => Monad (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T18 a b c d e f g h i j k l m n o p q a0 -> (a0 -> T18 a b c d e f g h i j k l m n o p q b0) -> T18 a b c d e f g h i j k l m n o p q b0

(>>) :: T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0 -> T18 a b c d e f g h i j k l m n o p q b0

return :: a0 -> T18 a b c d e f g h i j k l m n o p q a0

fail :: String -> T18 a b c d e f g h i j k l m n o p q a0

Functor (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0

(<$) :: a0 -> T18 a b c d e f g h i j k l m n o p q b0 -> T18 a b c d e f g h i j k l m n o p q a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q) => Applicative (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T18 a b c d e f g h i j k l m n o p q a0

(<*>) :: T18 a b c d e f g h i j k l m n o p q (a0 -> b0) -> T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0

liftA2 :: (a0 -> b0 -> c0) -> T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0 -> T18 a b c d e f g h i j k l m n o p q c0

(*>) :: T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0 -> T18 a b c d e f g h i j k l m n o p q b0

(<*) :: T18 a b c d e f g h i j k l m n o p q a0 -> T18 a b c d e f g h i j k l m n o p q b0 -> T18 a b c d e f g h i j k l m n o p q a0

Foldable (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T18 a b c d e f g h i j k l m n o p q m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T18 a b c d e f g h i j k l m n o p q a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T18 a b c d e f g h i j k l m n o p q a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T18 a b c d e f g h i j k l m n o p q a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T18 a b c d e f g h i j k l m n o p q a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T18 a b c d e f g h i j k l m n o p q a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T18 a b c d e f g h i j k l m n o p q a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T18 a b c d e f g h i j k l m n o p q a0 -> a0

toList :: T18 a b c d e f g h i j k l m n o p q a0 -> [a0]

null :: T18 a b c d e f g h i j k l m n o p q a0 -> Bool

length :: T18 a b c d e f g h i j k l m n o p q a0 -> Int

elem :: Eq a0 => a0 -> T18 a b c d e f g h i j k l m n o p q a0 -> Bool

maximum :: Ord a0 => T18 a b c d e f g h i j k l m n o p q a0 -> a0

minimum :: Ord a0 => T18 a b c d e f g h i j k l m n o p q a0 -> a0

sum :: Num a0 => T18 a b c d e f g h i j k l m n o p q a0 -> a0

product :: Num a0 => T18 a b c d e f g h i j k l m n o p q a0 -> a0

Traversable (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T18 a b c d e f g h i j k l m n o p q a0 -> f0 (T18 a b c d e f g h i j k l m n o p q b0)

sequenceA :: Applicative f0 => T18 a b c d e f g h i j k l m n o p q (f0 a0) -> f0 (T18 a b c d e f g h i j k l m n o p q a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T18 a b c d e f g h i j k l m n o p q a0 -> m0 (T18 a b c d e f g h i j k l m n o p q b0)

sequence :: Monad m0 => T18 a b c d e f g h i j k l m n o p q (m0 a0) -> m0 (T18 a b c d e f g h i j k l m n o p q a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q) => Hashable1 (T18 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T18 a b c d e f g h i j k l m n o p q a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o, Bounded p, Bounded q, Bounded r) => Bounded (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

minBound :: T18 a b c d e f g h i j k l m n o p q r

maxBound :: T18 a b c d e f g h i j k l m n o p q r

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r) => Eq (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

(==) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

(/=) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q, Ord r) => Ord (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

compare :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Ordering

(<) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

(<=) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

(>) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

(>=) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> Bool

max :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r

min :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q, Read r) => Read (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T18 a b c d e f g h i j k l m n o p q r)

readList :: ReadS [T18 a b c d e f g h i j k l m n o p q r]

readPrec :: ReadPrec (T18 a b c d e f g h i j k l m n o p q r)

readListPrec :: ReadPrec [T18 a b c d e f g h i j k l m n o p q r]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r) => Show (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T18 a b c d e f g h i j k l m n o p q r -> ShowS

show :: T18 a b c d e f g h i j k l m n o p q r -> String

showList :: [T18 a b c d e f g h i j k l m n o p q r] -> ShowS

Generic (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T18 a b c d e f g h i j k l m n o p q r) :: Type -> Type

Methods

from :: T18 a b c d e f g h i j k l m n o p q r -> Rep (T18 a b c d e f g h i j k l m n o p q r) x

to :: Rep (T18 a b c d e f g h i j k l m n o p q r) x -> T18 a b c d e f g h i j k l m n o p q r

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o, Semigroup p, Semigroup q, Semigroup r) => Semigroup (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

(<>) :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r

sconcat :: NonEmpty (T18 a b c d e f g h i j k l m n o p q r) -> T18 a b c d e f g h i j k l m n o p q r

stimes :: Integral b0 => b0 -> T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r) => Monoid (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

mempty :: T18 a b c d e f g h i j k l m n o p q r

mappend :: T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r -> T18 a b c d e f g h i j k l m n o p q r

mconcat :: [T18 a b c d e f g h i j k l m n o p q r] -> T18 a b c d e f g h i j k l m n o p q r

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n, NFData o, NFData p, NFData q, NFData r) => NFData (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

rnf :: T18 a b c d e f g h i j k l m n o p q r -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q, Hashable r) => Hashable (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T18 a b c d e f g h i j k l m n o p q r -> Int

hash :: T18 a b c d e f g h i j k l m n o p q r -> Int

type Rep (T18 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

type Rep (T18 a b c d e f g h i j k l m n o p q r) = D1 (MetaData "T18" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T18" PrefixI False) ((((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i))))) :*: (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 o)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 p) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 q) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 r)))))))

data T19 a b c d e f g h i j k l m n o p q r s

Constructors

T19 a b c d e f g h i j k l m n o p q r s

Instances

Bitraversable (T19 x y z w t u v p q r s i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> T19 x y z w t u v p q r s i j k l m n a b -> f (T19 x y z w t u v p q r s i j k l m n c d)

Bifoldable (T19 x y z w t u v p q r s i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bifold :: Monoid m0 => T19 x y z w t u v p q r s i j k l m n m0 m0 -> m0

bifoldMap :: Monoid m0 => (a -> m0) -> (b -> m0) -> T19 x y z w t u v p q r s i j k l m n a b -> m0

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> T19 x y z w t u v p q r s i j k l m n a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> T19 x y z w t u v p q r s i j k l m n a b -> c

Bifunctor (T19 x y z w t u v p q r s i j k l m n)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

bimap :: (a -> b) -> (c -> d) -> T19 x y z w t u v p q r s i j k l m n a c -> T19 x y z w t u v p q r s i j k l m n b d

first :: (a -> b) -> T19 x y z w t u v p q r s i j k l m n a c -> T19 x y z w t u v p q r s i j k l m n b c

second :: (b -> c) -> T19 x y z w t u v p q r s i j k l m n a b -> T19 x y z w t u v p q r s i j k l m n a c

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q) => Hashable2 (T19 a b c d e f g h i j k l m n o p q)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt2 :: (Int -> a0 -> Int) -> (Int -> b0 -> Int) -> Int -> T19 a b c d e f g h i j k l m n o p q a0 b0 -> Int

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r) => Monad (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

(>>=) :: T19 a b c d e f g h i j k l m n o p q r a0 -> (a0 -> T19 a b c d e f g h i j k l m n o p q r b0) -> T19 a b c d e f g h i j k l m n o p q r b0

(>>) :: T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0 -> T19 a b c d e f g h i j k l m n o p q r b0

return :: a0 -> T19 a b c d e f g h i j k l m n o p q r a0

fail :: String -> T19 a b c d e f g h i j k l m n o p q r a0

Functor (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fmap :: (a0 -> b0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0

(<$) :: a0 -> T19 a b c d e f g h i j k l m n o p q r b0 -> T19 a b c d e f g h i j k l m n o p q r a0

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r) => Applicative (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

pure :: a0 -> T19 a b c d e f g h i j k l m n o p q r a0

(<*>) :: T19 a b c d e f g h i j k l m n o p q r (a0 -> b0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0

liftA2 :: (a0 -> b0 -> c0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0 -> T19 a b c d e f g h i j k l m n o p q r c0

(*>) :: T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0 -> T19 a b c d e f g h i j k l m n o p q r b0

(<*) :: T19 a b c d e f g h i j k l m n o p q r a0 -> T19 a b c d e f g h i j k l m n o p q r b0 -> T19 a b c d e f g h i j k l m n o p q r a0

Foldable (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

fold :: Monoid m0 => T19 a b c d e f g h i j k l m n o p q r m0 -> m0

foldMap :: Monoid m0 => (a0 -> m0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> m0

foldr :: (a0 -> b0 -> b0) -> b0 -> T19 a b c d e f g h i j k l m n o p q r a0 -> b0

foldr' :: (a0 -> b0 -> b0) -> b0 -> T19 a b c d e f g h i j k l m n o p q r a0 -> b0

foldl :: (b0 -> a0 -> b0) -> b0 -> T19 a b c d e f g h i j k l m n o p q r a0 -> b0

foldl' :: (b0 -> a0 -> b0) -> b0 -> T19 a b c d e f g h i j k l m n o p q r a0 -> b0

foldr1 :: (a0 -> a0 -> a0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> a0

toList :: T19 a b c d e f g h i j k l m n o p q r a0 -> [a0]

null :: T19 a b c d e f g h i j k l m n o p q r a0 -> Bool

length :: T19 a b c d e f g h i j k l m n o p q r a0 -> Int

elem :: Eq a0 => a0 -> T19 a b c d e f g h i j k l m n o p q r a0 -> Bool

maximum :: Ord a0 => T19 a b c d e f g h i j k l m n o p q r a0 -> a0

minimum :: Ord a0 => T19 a b c d e f g h i j k l m n o p q r a0 -> a0

sum :: Num a0 => T19 a b c d e f g h i j k l m n o p q r a0 -> a0

product :: Num a0 => T19 a b c d e f g h i j k l m n o p q r a0 -> a0

Traversable (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.3

Defined in Data.Tuple.Strict

Methods

traverse :: Applicative f0 => (a0 -> f0 b0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> f0 (T19 a b c d e f g h i j k l m n o p q r b0)

sequenceA :: Applicative f0 => T19 a b c d e f g h i j k l m n o p q r (f0 a0) -> f0 (T19 a b c d e f g h i j k l m n o p q r a0)

mapM :: Monad m0 => (a0 -> m0 b0) -> T19 a b c d e f g h i j k l m n o p q r a0 -> m0 (T19 a b c d e f g h i j k l m n o p q r b0)

sequence :: Monad m0 => T19 a b c d e f g h i j k l m n o p q r (m0 a0) -> m0 (T19 a b c d e f g h i j k l m n o p q r a0)

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q, Hashable r) => Hashable1 (T19 a b c d e f g h i j k l m n o p q r)

Defined in Data.Tuple.Strict

Methods

liftHashWithSalt :: (Int -> a0 -> Int) -> Int -> T19 a b c d e f g h i j k l m n o p q r a0 -> Int

(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o, Bounded p, Bounded q, Bounded r, Bounded s) => Bounded (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

minBound :: T19 a b c d e f g h i j k l m n o p q r s

maxBound :: T19 a b c d e f g h i j k l m n o p q r s

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s) => Eq (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

(==) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

(/=) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q, Ord r, Ord s) => Ord (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

compare :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Ordering

(<) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

(<=) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

(>) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

(>=) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> Bool

max :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s

min :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q, Read r, Read s) => Read (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

readsPrec :: Int -> ReadS (T19 a b c d e f g h i j k l m n o p q r s)

readList :: ReadS [T19 a b c d e f g h i j k l m n o p q r s]

readPrec :: ReadPrec (T19 a b c d e f g h i j k l m n o p q r s)

readListPrec :: ReadPrec [T19 a b c d e f g h i j k l m n o p q r s]

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s) => Show (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

showsPrec :: Int -> T19 a b c d e f g h i j k l m n o p q r s -> ShowS

show :: T19 a b c d e f g h i j k l m n o p q r s -> String

showList :: [T19 a b c d e f g h i j k l m n o p q r s] -> ShowS

Generic (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Associated Types

type Rep (T19 a b c d e f g h i j k l m n o p q r s) :: Type -> Type

Methods

from :: T19 a b c d e f g h i j k l m n o p q r s -> Rep (T19 a b c d e f g h i j k l m n o p q r s) x

to :: Rep (T19 a b c d e f g h i j k l m n o p q r s) x -> T19 a b c d e f g h i j k l m n o p q r s

(Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o, Semigroup p, Semigroup q, Semigroup r, Semigroup s) => Semigroup (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

(<>) :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s

sconcat :: NonEmpty (T19 a b c d e f g h i j k l m n o p q r s) -> T19 a b c d e f g h i j k l m n o p q r s

stimes :: Integral b0 => b0 -> T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s

(Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r, Monoid s) => Monoid (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

mempty :: T19 a b c d e f g h i j k l m n o p q r s

mappend :: T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s -> T19 a b c d e f g h i j k l m n o p q r s

mconcat :: [T19 a b c d e f g h i j k l m n o p q r s] -> T19 a b c d e f g h i j k l m n o p q r s

(NFData a, NFData b, NFData c, NFData d, NFData e, NFData f, NFData g, NFData h, NFData i, NFData j, NFData k, NFData l, NFData m, NFData n, NFData o, NFData p, NFData q, NFData r, NFData s) => NFData (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

rnf :: T19 a b c d e f g h i j k l m n o p q r s -> ()

(Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q, Hashable r, Hashable s) => Hashable (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

Methods

hashWithSalt :: Int -> T19 a b c d e f g h i j k l m n o p q r s -> Int

hash :: T19 a b c d e f g h i j k l m n o p q r s -> Int

type Rep (T19 a b c d e f g h i j k l m n o p q r s)

Defined in Data.Tuple.Strict

type Rep (T19 a b c d e f g h i j k l m n o p q r s) = D1 (MetaData "T19" "Data.Tuple.Strict" "strict-tuple-0.1.3-6mnJLM2REqVLhbmQj0QZCK" False) (C1 (MetaCons "T19" PrefixI False) ((((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 b)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 c) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 d))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 e) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 g) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 h) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 i))))) :*: (((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 j) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 k)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 l) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 m) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 n)))) :*: ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 o) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 p)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 q) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 r) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 s)))))))