cardano-data-1.2.3.0: Specialized data for Cardano project
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.MonoTuple

Description

Supports creating tuples (where all components have the same type) as Fixed length lists.

Documentation

type family TupleN (n ∷ Nat) a where ... Source #

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)