Data.Promotion.Prelude.Tuple
Data.Tuple
type family Fst (a :: (a, b)) :: a where ...
type family Snd (a :: (a, b)) :: b where ...
type family Swap (a :: (a, b)) :: (b, a) where ...
type Tuple0Sym0
data Tuple2Sym0 l
data Tuple2Sym1 l l
type Tuple2Sym2 t t
data Tuple3Sym0 l
data Tuple3Sym1 l l
data Tuple3Sym2 l l l
type Tuple3Sym3 t t t
data Tuple4Sym0 l
data Tuple4Sym1 l l
data Tuple4Sym2 l l l
data Tuple4Sym3 l l l l
type Tuple4Sym4 t t t t
data Tuple5Sym0 l
data Tuple5Sym1 l l
data Tuple5Sym2 l l l
data Tuple5Sym3 l l l l
data Tuple5Sym4 l l l l l
type Tuple5Sym5 t t t t t
data Tuple6Sym0 l
data Tuple6Sym1 l l
data Tuple6Sym2 l l l
data Tuple6Sym3 l l l l
data Tuple6Sym4 l l l l l
data Tuple6Sym5 l l l l l l
type Tuple6Sym6 t t t t t t
data Tuple7Sym0 l
data Tuple7Sym1 l l
data Tuple7Sym2 l l l
data Tuple7Sym3 l l l l
data Tuple7Sym4 l l l l l
data Tuple7Sym5 l l l l l l
data Tuple7Sym6 l l l l l l l
type Tuple7Sym7 t t t t t t t
data FstSym0 l
type FstSym1 t
data SndSym0 l
type SndSym1 t
data CurrySym0 l
data CurrySym1 l l
data CurrySym2 l l l
type CurrySym3 t t t
data UncurrySym0 l
data UncurrySym1 l l
type UncurrySym2 t t
data SwapSym0 l
type SwapSym1 t