Module
Data.Tuple.Native
- Package
- purescript-tuples-native
- Repository
- athanclark/purescript-tuples-native
#TupleSize Source
class TupleSize (t :: Row Type) n | t -> n
Instances
(RowToList t (Cons "0" a (Cons "1" b Nil))) => TupleSize t D2
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c Nil)))) => TupleSize t D3
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d Nil))))) => TupleSize t D4
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e Nil)))))) => TupleSize t D5
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f Nil))))))) => TupleSize t D6
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f (Cons "6" g Nil)))))))) => TupleSize t D7
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f (Cons "6" g (Cons "7" h Nil))))))))) => TupleSize t D8
(RowToList t (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f (Cons "6" g (Cons "7" h (Cons "8" i Nil)))))))))) => TupleSize t D9
- Modules
- Data.
Tuple. Native
Unsafe show instance - expects all entries to have a show instance