Safe Haskell	Safe
Language	Haskell2010

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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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-DK0oVBXPwQ17PBDoUmA50P" 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)))))))