Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-data-1.3.1.0

Data.MonoTuple

Packagecardano-data-1.3.1.0
Exports1
LicenceApache-2.0

familytype family TupleN (n :: Nat) a where

Equations

TupleN 0 a = ()
TupleN 1 a = a
TupleN 2 a = (a, a)
TupleN 3 a = (a, a, a)
TupleN 4 a = (a, a, a, a)
TupleN 5 a = (a, a, a, a, a)
TupleN 6 a = (a, a, a, a, a, a)
TupleN 7 a = (a, a, a, a, a, a, a)
TupleN 8 a = (a, a, a, a, a, a, a, a)
TupleN 9 a = (a, a, a, a, a, a, a, a, a)
TupleN 10 a = (a, a, a, a, a, a, a, a, a, a)