ZM.Type.Tuples

Documentation

data Tuple2 a b

Constructors

Tuple2 a b

Instances

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

Methods

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

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

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

Methods

compare :: Tuple2 a b -> Tuple2 a b -> Ordering

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

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

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

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

max :: Tuple2 a b -> Tuple2 a b -> Tuple2 a b

min :: Tuple2 a b -> Tuple2 a b -> Tuple2 a b

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

Methods

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

show :: Tuple2 a b -> String

showList :: [Tuple2 a b] -> ShowS

Generic (Tuple2 a b)

Associated Types

type Rep (Tuple2 a b) :: * -> *

Methods

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

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

(Model a, Model b) => Model (Tuple2 a b)

Methods

envType :: Proxy * (Tuple2 a b) -> State Env HType

type Rep (Tuple2 a b)

type Rep (Tuple2 a b) = D1 (MetaData "Tuple2" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple2" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))))

data Tuple3 a b c

Constructors

Tuple3 a b c

Instances

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

Methods

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

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

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

Methods

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

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

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

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

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

max :: Tuple3 a b c -> Tuple3 a b c -> Tuple3 a b c

min :: Tuple3 a b c -> Tuple3 a b c -> Tuple3 a b c

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

Methods

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

show :: Tuple3 a b c -> String

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

Generic (Tuple3 a b c)

Associated Types

type Rep (Tuple3 a b c) :: * -> *

Methods

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

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

(Model a, Model b, Model c) => Model (Tuple3 a b c)

Methods

envType :: Proxy * (Tuple3 a b c) -> State Env HType

type Rep (Tuple3 a b c)

type Rep (Tuple3 a b c) = D1 (MetaData "Tuple3" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple3" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 c)))))

data Tuple4 a b c d

Constructors

Tuple4 a b c d

Instances

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

Methods

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

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

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

Methods

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

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

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

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

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

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

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

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

Methods

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

show :: Tuple4 a b c d -> String

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

Generic (Tuple4 a b c d)

Associated Types

type Rep (Tuple4 a b c d) :: * -> *

Methods

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

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

(Model a, Model b, Model c, Model d) => Model (Tuple4 a b c d)

Methods

envType :: Proxy * (Tuple4 a b c d) -> State Env HType

type Rep (Tuple4 a b c d)

type Rep (Tuple4 a b c d) = D1 (MetaData "Tuple4" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple4" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 c)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 d)))))

data Tuple5 a1 a2 a3 a4 a5

Constructors

Tuple5 a1 a2 a3 a4 a5

Instances

(Eq a5, Eq a4, Eq a3, Eq a2, Eq a1) => Eq (Tuple5 a1 a2 a3 a4 a5)

Methods

(==) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

(/=) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

(Ord a5, Ord a4, Ord a3, Ord a2, Ord a1) => Ord (Tuple5 a1 a2 a3 a4 a5)

Methods

compare :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Ordering

(<) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

(<=) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

(>) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

(>=) :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Bool

max :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5

min :: Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5 -> Tuple5 a1 a2 a3 a4 a5

(Show a5, Show a4, Show a3, Show a2, Show a1) => Show (Tuple5 a1 a2 a3 a4 a5)

Methods

showsPrec :: Int -> Tuple5 a1 a2 a3 a4 a5 -> ShowS

show :: Tuple5 a1 a2 a3 a4 a5 -> String

showList :: [Tuple5 a1 a2 a3 a4 a5] -> ShowS

Generic (Tuple5 a1 a2 a3 a4 a5)

Associated Types

type Rep (Tuple5 a1 a2 a3 a4 a5) :: * -> *

Methods

from :: Tuple5 a1 a2 a3 a4 a5 -> Rep (Tuple5 a1 a2 a3 a4 a5) x

to :: Rep (Tuple5 a1 a2 a3 a4 a5) x -> Tuple5 a1 a2 a3 a4 a5

(Model a1, Model a2, Model a3, Model a4, Model a5) => Model (Tuple5 a1 a2 a3 a4 a5)

Methods

envType :: Proxy * (Tuple5 a1 a2 a3 a4 a5) -> State Env HType

type Rep (Tuple5 a1 a2 a3 a4 a5)

type Rep (Tuple5 a1 a2 a3 a4 a5) = D1 (MetaData "Tuple5" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple5" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a1)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a2))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a3)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a4)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a5))))))

data Tuple6 a1 a2 a3 a4 a5 a6

Constructors

Tuple6 a1 a2 a3 a4 a5 a6

Instances

(Eq a6, Eq a5, Eq a4, Eq a3, Eq a2, Eq a1) => Eq (Tuple6 a1 a2 a3 a4 a5 a6)

Methods

(==) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

(/=) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

(Ord a6, Ord a5, Ord a4, Ord a3, Ord a2, Ord a1) => Ord (Tuple6 a1 a2 a3 a4 a5 a6)

Methods

compare :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Ordering

(<) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

(<=) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

(>) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

(>=) :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Bool

max :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6

min :: Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6 -> Tuple6 a1 a2 a3 a4 a5 a6

(Show a6, Show a5, Show a4, Show a3, Show a2, Show a1) => Show (Tuple6 a1 a2 a3 a4 a5 a6)

Methods

showsPrec :: Int -> Tuple6 a1 a2 a3 a4 a5 a6 -> ShowS

show :: Tuple6 a1 a2 a3 a4 a5 a6 -> String

showList :: [Tuple6 a1 a2 a3 a4 a5 a6] -> ShowS

Generic (Tuple6 a1 a2 a3 a4 a5 a6)

Associated Types

type Rep (Tuple6 a1 a2 a3 a4 a5 a6) :: * -> *

Methods

from :: Tuple6 a1 a2 a3 a4 a5 a6 -> Rep (Tuple6 a1 a2 a3 a4 a5 a6) x

to :: Rep (Tuple6 a1 a2 a3 a4 a5 a6) x -> Tuple6 a1 a2 a3 a4 a5 a6

(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6) => Model (Tuple6 a1 a2 a3 a4 a5 a6)

Methods

envType :: Proxy * (Tuple6 a1 a2 a3 a4 a5 a6) -> State Env HType

type Rep (Tuple6 a1 a2 a3 a4 a5 a6)

type Rep (Tuple6 a1 a2 a3 a4 a5 a6) = D1 (MetaData "Tuple6" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple6" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a1)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a2)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a3)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a4)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a5)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a6))))))

data Tuple7 a1 a2 a3 a4 a5 a6 a7

Constructors

Tuple7 a1 a2 a3 a4 a5 a6 a7

Instances

(Eq a7, Eq a6, Eq a5, Eq a4, Eq a3, Eq a2, Eq a1) => Eq (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Methods

(==) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

(/=) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

(Ord a7, Ord a6, Ord a5, Ord a4, Ord a3, Ord a2, Ord a1) => Ord (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Methods

compare :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Ordering

(<) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

(<=) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

(>) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

(>=) :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Bool

max :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7

min :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Tuple7 a1 a2 a3 a4 a5 a6 a7

(Show a7, Show a6, Show a5, Show a4, Show a3, Show a2, Show a1) => Show (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Methods

showsPrec :: Int -> Tuple7 a1 a2 a3 a4 a5 a6 a7 -> ShowS

show :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> String

showList :: [Tuple7 a1 a2 a3 a4 a5 a6 a7] -> ShowS

Generic (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Associated Types

type Rep (Tuple7 a1 a2 a3 a4 a5 a6 a7) :: * -> *

Methods

from :: Tuple7 a1 a2 a3 a4 a5 a6 a7 -> Rep (Tuple7 a1 a2 a3 a4 a5 a6 a7) x

to :: Rep (Tuple7 a1 a2 a3 a4 a5 a6 a7) x -> Tuple7 a1 a2 a3 a4 a5 a6 a7

(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7) => Model (Tuple7 a1 a2 a3 a4 a5 a6 a7)

Methods

envType :: Proxy * (Tuple7 a1 a2 a3 a4 a5 a6 a7) -> State Env HType

type Rep (Tuple7 a1 a2 a3 a4 a5 a6 a7)

type Rep (Tuple7 a1 a2 a3 a4 a5 a6 a7) = D1 (MetaData "Tuple7" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple7" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a1)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a2)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a3)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a4)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a5))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a6)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a7))))))

data Tuple8 a1 a2 a3 a4 a5 a6 a7 a8

Constructors

Tuple8 a1 a2 a3 a4 a5 a6 a7 a8

Instances

(Eq a8, Eq a7, Eq a6, Eq a5, Eq a4, Eq a3, Eq a2, Eq a1) => Eq (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Methods

(==) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

(/=) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

(Ord a8, Ord a7, Ord a6, Ord a5, Ord a4, Ord a3, Ord a2, Ord a1) => Ord (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Methods

compare :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Ordering

(<) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

(<=) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

(>) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

(>=) :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Bool

max :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8

min :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8

(Show a8, Show a7, Show a6, Show a5, Show a4, Show a3, Show a2, Show a1) => Show (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Methods

showsPrec :: Int -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> ShowS

show :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> String

showList :: [Tuple8 a1 a2 a3 a4 a5 a6 a7 a8] -> ShowS

Generic (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Associated Types

type Rep (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) :: * -> *

Methods

from :: Tuple8 a1 a2 a3 a4 a5 a6 a7 a8 -> Rep (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) x

to :: Rep (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) x -> Tuple8 a1 a2 a3 a4 a5 a6 a7 a8

(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7, Model a8) => Model (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

Methods

envType :: Proxy * (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) -> State Env HType

type Rep (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8)

type Rep (Tuple8 a1 a2 a3 a4 a5 a6 a7 a8) = D1 (MetaData "Tuple8" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple8" PrefixI False) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a1)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a2))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a3)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a4)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a5)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a6))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a7)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a8))))))

data Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9

Constructors

Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9

Instances

(Eq a9, Eq a8, Eq a7, Eq a6, Eq a5, Eq a4, Eq a3, Eq a2, Eq a1) => Eq (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Methods

(==) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

(/=) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

(Ord a9, Ord a8, Ord a7, Ord a6, Ord a5, Ord a4, Ord a3, Ord a2, Ord a1) => Ord (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Methods

compare :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Ordering

(<) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

(<=) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

(>) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

(>=) :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Bool

max :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9

min :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9

(Show a9, Show a8, Show a7, Show a6, Show a5, Show a4, Show a3, Show a2, Show a1) => Show (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Methods

showsPrec :: Int -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> ShowS

show :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> String

showList :: [Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9] -> ShowS

Generic (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Associated Types

type Rep (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) :: * -> *

Methods

from :: Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Rep (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) x

to :: Rep (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) x -> Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9

(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7, Model a8, Model a9) => Model (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

Methods

envType :: Proxy * (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) -> State Env HType

type Rep (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9)

type Rep (Tuple9 a1 a2 a3 a4 a5 a6 a7 a8 a9) = D1 (MetaData "Tuple9" "ZM.Type.Tuples" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Tuple9" PrefixI False) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a1)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a2))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a3)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a4)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a5)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a6))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a7)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a9)))))))