Data.Tuple.Strict

Strict tuples.

Documentation

newtype T1 a

Constructors

T1 a

Instances

Monad T1

Since: 0.1.3

Defined in Data.Tuple.Strict.T1

Methods

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

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

return :: a -> T1 a

Functor T1

Since: 0.1.3

Defined in Data.Tuple.Strict.T1

Methods

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

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

Applicative T1

Since: 0.1.3

Defined in Data.Tuple.Strict.T1

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.T1

Methods

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

foldMap :: Monoid m => (a -> m) -> T1 a -> 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.T1

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.T1

Methods

minBound :: T1 a

maxBound :: T1 a

Eq a => Eq (T1 a)

Defined in Data.Tuple.Strict.T1

Methods

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

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

Ord a => Ord (T1 a)

Defined in Data.Tuple.Strict.T1

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.T1

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.T1

Methods

showsPrec :: Int -> T1 a -> ShowS

show :: T1 a -> String

showList :: [T1 a] -> ShowS

Generic (T1 a)

Defined in Data.Tuple.Strict.T1

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.T1

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.T1

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.T1

Methods

rnf :: T1 a -> ()

Hashable a => Hashable (T1 a)

Defined in Data.Tuple.Strict.T1

Methods

hashWithSalt :: Int -> T1 a -> Int

hash :: T1 a -> Int

type Rep (T1 a)

Defined in Data.Tuple.Strict.T1

type Rep (T1 a) = D1 ('MetaData "T1" "Data.Tuple.Strict.T1" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T2

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.T2

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.T2

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

Eq2 T2

Since: 0.1.5

Defined in Data.Tuple.Strict.T2

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> T2 a c -> T2 b d -> Bool

Biapplicative T2

Since: 0.1.3

Defined in Data.Tuple.Strict.T2

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.T2

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.T2

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

Functor (T2 a)

Since: 0.1.3

Defined in Data.Tuple.Strict.T2

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.T2

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.T2

Methods

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

foldMap :: Monoid m => (a0 -> m) -> T2 a a0 -> 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.T2

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)

Eq a => Eq1 (T2 a)

Since: 0.1.5

Defined in Data.Tuple.Strict.T2

Methods

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

Hashable a => Hashable1 (T2 a)

Defined in Data.Tuple.Strict.T2

Methods

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

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

Defined in Data.Tuple.Strict.T2

Methods

minBound :: T2 a b

maxBound :: T2 a b

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

Defined in Data.Tuple.Strict.T2

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.T2

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.T2

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.T2

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.T2

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.T2

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.T2

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T2

Methods

rnf :: T2 a b -> ()

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

Defined in Data.Tuple.Strict.T2

Methods

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

hash :: T2 a b -> Int

type Rep (T2 a b)

Defined in Data.Tuple.Strict.T2

type Rep (T2 a b) = D1 ('MetaData "T2" "Data.Tuple.Strict.T2" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T3

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.T3

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.T3

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

Eq a => Eq2 (T3 a)

Since: 0.1.5

Defined in Data.Tuple.Strict.T3

Methods

liftEq2 :: (a0 -> b -> Bool) -> (c -> d -> Bool) -> T3 a a0 c -> T3 a b d -> Bool

Hashable a => Hashable2 (T3 a)

Defined in Data.Tuple.Strict.T3

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.T3

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

Functor (T3 a b)

Since: 0.1.3

Defined in Data.Tuple.Strict.T3

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.T3

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.T3

Methods

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

foldMap :: Monoid m => (a0 -> m) -> T3 a b a0 -> 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.T3

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T3

Methods

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

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

Defined in Data.Tuple.Strict.T3

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.T3

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.T3

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.T3

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.T3

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.T3

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.T3

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.T3

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.T3

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T3

Methods

rnf :: T3 a b c -> ()

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

Defined in Data.Tuple.Strict.T3

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.T3

type Rep (T3 a b c) = D1 ('MetaData "T3" "Data.Tuple.Strict.T3" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T4

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.T4

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.T4

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

(Eq a, Eq b) => Eq2 (T4 a b)

Since: 0.1.5

Defined in Data.Tuple.Strict.T4

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c -> d -> Bool) -> T4 a b a0 c -> T4 a b b0 d -> Bool

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

Defined in Data.Tuple.Strict.T4

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.T4

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

Functor (T4 a b c)

Since: 0.1.3

Defined in Data.Tuple.Strict.T4

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.T4

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.T4

Methods

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

foldMap :: Monoid m => (a0 -> m) -> T4 a b c a0 -> 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.T4

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T4

Methods

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

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

Defined in Data.Tuple.Strict.T4

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.T4

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.T4

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.T4

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.T4

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.T4

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.T4

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.T4

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.T4

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T4

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.T4

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.T4

type Rep (T4 a b c d) = D1 ('MetaData "T4" "Data.Tuple.Strict.T4" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T5

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.T5

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.T5

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

(Eq a, Eq b, Eq c) => Eq2 (T5 a b c)

Since: 0.1.5

Defined in Data.Tuple.Strict.T5

Methods

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

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

Defined in Data.Tuple.Strict.T5

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.T5

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

Functor (T5 a b c d)

Since: 0.1.3

Defined in Data.Tuple.Strict.T5

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.T5

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.T5

Methods

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

foldMap :: Monoid m => (a0 -> m) -> T5 a b c d a0 -> 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.T5

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T5

Methods

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

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

Defined in Data.Tuple.Strict.T5

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.T5

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.T5

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.T5

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.T5

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.T5

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.T5

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.T5

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.T5

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T5

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.T5

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.T5

type Rep (T5 a b c d e) = D1 ('MetaData "T5" "Data.Tuple.Strict.T5" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T6

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.T6

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.T6

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

(Eq a, Eq b, Eq c, Eq d) => Eq2 (T6 a b c d)

Since: 0.1.5

Defined in Data.Tuple.Strict.T6

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T6 a b c d a0 c0 -> T6 a b c d b0 d0 -> Bool

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

Defined in Data.Tuple.Strict.T6

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.T6

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

Functor (T6 a b c d e)

Since: 0.1.3

Defined in Data.Tuple.Strict.T6

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.T6

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.T6

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

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.T6

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T6

Methods

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

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

Defined in Data.Tuple.Strict.T6

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.T6

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.T6

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.T6

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.T6

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.T6

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.T6

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.T6

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.T6

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T6

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.T6

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.T6

type Rep (T6 a b c d e f) = D1 ('MetaData "T6" "Data.Tuple.Strict.T6" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T7

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.T7

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.T7

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T7

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T7 a b c d e a0 c0 -> T7 a b c d e b0 d0 -> Bool

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

Defined in Data.Tuple.Strict.T7

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.T7

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

Functor (T7 a b c d e f)

Since: 0.1.3

Defined in Data.Tuple.Strict.T7

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.T7

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.T7

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

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.T7

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T7

Methods

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

(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.T7

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.T7

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.T7

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.T7

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.T7

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.T7

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.T7

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.T7

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.T7

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T7

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.T7

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.T7

type Rep (T7 a b c d e f g) = D1 ('MetaData "T7" "Data.Tuple.Strict.T7" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T8

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.T8

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.T8

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T8

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T8 a b c d e f a0 c0 -> T8 a b c d e f b0 d0 -> Bool

(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.T8

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.T8

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

Functor (T8 a b c d e f g)

Since: 0.1.3

Defined in Data.Tuple.Strict.T8

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.T8

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.T8

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

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.T8

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T8

Methods

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

(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.T8

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.T8

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.T8

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.T8

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.T8

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.T8

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.T8

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.T8

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.T8

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T8

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.T8

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.T8

type Rep (T8 a b c d e f g h) = D1 ('MetaData "T8" "Data.Tuple.Strict.T8" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T9

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.T9

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.T9

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T9

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T9 a b c d e f g a0 c0 -> T9 a b c d e f g b0 d0 -> Bool

(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.T9

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.T9

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

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

Since: 0.1.3

Defined in Data.Tuple.Strict.T9

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.T9

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.T9

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

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.T9

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T9

Methods

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

(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.T9

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.T9

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.T9

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.T9

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.T9

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.T9

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.T9

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.T9

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.T9

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T9

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.T9

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.T9

type Rep (T9 a b c d e f g h i) = D1 ('MetaData "T9" "Data.Tuple.Strict.T9" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T10

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.T10

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.T10

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T10

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T10 a b c d e f g h a0 c0 -> T10 a b c d e f g h b0 d0 -> Bool

(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.T10

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.T10

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

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

Since: 0.1.3

Defined in Data.Tuple.Strict.T10

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.T10

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.T10

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

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.T10

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T10

Methods

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

(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.T10

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.T10

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.T10

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.T10

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.T10

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.T10

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.T10

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.T10

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.T10

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T10

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.T10

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.T10

type Rep (T10 a b c d e f g h i j) = D1 ('MetaData "T10" "Data.Tuple.Strict.T10" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T11

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.T11

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.T11

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T11

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T11 a b c d e f g h i a0 c0 -> T11 a b c d e f g h i b0 d0 -> Bool

(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.T11

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.T11

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

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

Since: 0.1.3

Defined in Data.Tuple.Strict.T11

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.T11

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.T11

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

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.T11

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T11

Methods

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

(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.T11

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.T11

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.T11

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.T11

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.T11

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.T11

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.T11

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.T11

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.T11

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T11

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.T11

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.T11

type Rep (T11 a b c d e f g h i j k) = D1 ('MetaData "T11" "Data.Tuple.Strict.T11" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T12

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.T12

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.T12

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T12

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T12 a b c d e f g h i j a0 c0 -> T12 a b c d e f g h i j b0 d0 -> Bool

(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.T12

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.T12

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

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

Since: 0.1.3

Defined in Data.Tuple.Strict.T12

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.T12

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.T12

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

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.T12

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)

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T12

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T12

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.T12

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.T12

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.T12

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.T12

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.T12

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.T12

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.T12

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.T12

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T12

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.T12

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.T12

type Rep (T12 a b c d e f g h i j k l) = D1 ('MetaData "T12" "Data.Tuple.Strict.T12" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T13

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.T13

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.T13

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

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

Since: 0.1.5

Defined in Data.Tuple.Strict.T13

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T13 a b c d e f g h i j k a0 c0 -> T13 a b c d e f g h i j k b0 d0 -> Bool

(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.T13

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.T13

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

Functor (T13 a b c d e f g h i j k l)

Since: 0.1.3

Defined in Data.Tuple.Strict.T13

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.T13

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.T13

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

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.T13

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)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq1 (T13 a b c d e f g h i j k l)

Since: 0.1.5

Defined in Data.Tuple.Strict.T13

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T13

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.T13

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.T13

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.T13

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.T13

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.T13

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.T13

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.T13

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.T13

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T13

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.T13

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.T13

type Rep (T13 a b c d e f g h i j k l m) = D1 ('MetaData "T13" "Data.Tuple.Strict.T13" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T14

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.T14

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.T14

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

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq2 (T14 a b c d e f g h i j k l)

Since: 0.1.5

Defined in Data.Tuple.Strict.T14

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T14 a b c d e f g h i j k l a0 c0 -> T14 a b c d e f g h i j k l b0 d0 -> Bool

(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.T14

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.T14

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

Functor (T14 a b c d e f g h i j k l m)

Since: 0.1.3

Defined in Data.Tuple.Strict.T14

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.T14

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.T14

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

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.T14

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)

(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) => Eq1 (T14 a b c d e f g h i j k l m)

Since: 0.1.5

Defined in Data.Tuple.Strict.T14

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T14

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.T14

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.T14

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.T14

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.T14

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.T14

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.T14

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.T14

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.T14

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T14

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.T14

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.T14

type Rep (T14 a b c d e f g h i j k l m n) = D1 ('MetaData "T14" "Data.Tuple.Strict.T14" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T15

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.T15

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.T15

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

(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) => Eq2 (T15 a b c d e f g h i j k l m)

Since: 0.1.5

Defined in Data.Tuple.Strict.T15

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T15 a b c d e f g h i j k l m a0 c0 -> T15 a b c d e f g h i j k l m b0 d0 -> Bool

(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.T15

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.T15

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

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.T15

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.T15

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.T15

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

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.T15

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)

(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) => Eq1 (T15 a b c d e f g h i j k l m n)

Since: 0.1.5

Defined in Data.Tuple.Strict.T15

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T15

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.T15

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.T15

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.T15

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.T15

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.T15

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.T15

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.T15

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.T15

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T15

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.T15

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.T15

type Rep (T15 a b c d e f g h i j k l m n o) = D1 ('MetaData "T15" "Data.Tuple.Strict.T15" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T16

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.T16

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.T16

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

(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) => Eq2 (T16 a b c d e f g h i j k l m n)

Since: 0.1.5

Defined in Data.Tuple.Strict.T16

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T16 a b c d e f g h i j k l m n a0 c0 -> T16 a b c d e f g h i j k l m n b0 d0 -> Bool

(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.T16

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.T16

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

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.T16

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.T16

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.T16

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

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.T16

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)

(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) => Eq1 (T16 a b c d e f g h i j k l m n o)

Since: 0.1.5

Defined in Data.Tuple.Strict.T16

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T16

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.T16

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.T16

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.T16

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.T16

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.T16

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.T16

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.T16

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.T16

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T16

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.T16

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.T16

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.T16" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T17

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.T17

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.T17

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

(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) => Eq2 (T17 a b c d e f g h i j k l m n o)

Since: 0.1.5

Defined in Data.Tuple.Strict.T17

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T17 a b c d e f g h i j k l m n o a0 c0 -> T17 a b c d e f g h i j k l m n o b0 d0 -> Bool

(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.T17

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.T17

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

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.T17

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.T17

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.T17

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

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.T17

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)

(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) => Eq1 (T17 a b c d e f g h i j k l m n o p)

Since: 0.1.5

Defined in Data.Tuple.Strict.T17

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T17

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.T17

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.T17

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.T17

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.T17

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.T17

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.T17

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.T17

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.T17

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T17

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.T17

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.T17

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.T17" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T18

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.T18

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.T18

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

(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) => Eq2 (T18 a b c d e f g h i j k l m n o p)

Since: 0.1.5

Defined in Data.Tuple.Strict.T18

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T18 a b c d e f g h i j k l m n o p a0 c0 -> T18 a b c d e f g h i j k l m n o p b0 d0 -> Bool

(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.T18

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.T18

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

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.T18

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.T18

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.T18

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

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.T18

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)

(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) => Eq1 (T18 a b c d e f g h i j k l m n o p q)

Since: 0.1.5

Defined in Data.Tuple.Strict.T18

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T18

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.T18

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.T18

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.T18

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.T18

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.T18

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.T18

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.T18

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.T18

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T18

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.T18

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.T18

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.T18" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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.T19

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.T19

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.T19

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

(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) => Eq2 (T19 a b c d e f g h i j k l m n o p q)

Since: 0.1.5

Defined in Data.Tuple.Strict.T19

Methods

liftEq2 :: (a0 -> b0 -> Bool) -> (c0 -> d0 -> Bool) -> T19 a b c d e f g h i j k l m n o p q a0 c0 -> T19 a b c d e f g h i j k l m n o p q b0 d0 -> Bool

(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.T19

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.T19

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

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.T19

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.T19

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.T19

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

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.T19

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)

(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) => Eq1 (T19 a b c d e f g h i j k l m n o p q r)

Since: 0.1.5

Defined in Data.Tuple.Strict.T19

Methods

liftEq :: (a0 -> b0 -> Bool) -> 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 -> Bool

(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.T19

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.T19

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.T19

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.T19

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.T19

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.T19

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.T19

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.T19

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.T19

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)

Since: 0.1.4

Defined in Data.Tuple.Strict.T19

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.T19

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.T19

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.T19" "strict-tuple-0.1.5-5n1EDJdFlU0JVhBelzBxYN" '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)))))))