Module
Data.Tuple.Native
- Package
- purescript-tuples-native
- Repository
- athanclark/purescript-tuples-native
Heterogeneous arrays for foreign function interfaces.
#TupleN Source
data TupleN :: RowList -> Type
Represented as a heterogeneous array under the hood
Instances
Generic (TupleN (Cons "0" a (Cons "1" b Nil))) (Constructor "t2" (Product (Argument a) (Argument b)))
Generic (TupleN (Cons "0" a (Cons "1" b (Cons "2" c Nil)))) (Constructor "t3" (Product (Argument a) (Product (Argument b) (Argument c))))
Generic (TupleN (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d Nil))))) (Constructor "t4" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Argument d)))))
Generic (TupleN (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e Nil)))))) (Constructor "t5" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Product (Argument d) (Argument e))))))
Generic (TupleN (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f Nil))))))) (Constructor "t6" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Product (Argument d) (Product (Argument e) (Argument f)))))))
Generic (TupleN (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f (Cons "6" g Nil)))))))) (Constructor "t7" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Product (Argument d) (Product (Argument e) (Product (Argument f) (Argument g))))))))
Generic (TupleN (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))))))))) (Constructor "t8" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Product (Argument d) (Product (Argument e) (Product (Argument f) (Product (Argument g) (Argument h)))))))))
Generic (TupleN (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)))))))))) (Constructor "t9" (Product (Argument a) (Product (Argument b) (Product (Argument c) (Product (Argument d) (Product (Argument e) (Product (Argument f) (Product (Argument g) (Product (Argument h) (Argument i))))))))))
#TupleSize Source
class TupleSize n (t :: RowList) | t -> n
Instances
TupleSize D2 (Cons "0" a (Cons "1" b Nil))
TupleSize D3 (Cons "0" a (Cons "1" b (Cons "2" c Nil)))
TupleSize D4 (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d Nil))))
TupleSize D5 (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e Nil)))))
TupleSize D6 (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f Nil))))))
TupleSize D7 (Cons "0" a (Cons "1" b (Cons "2" c (Cons "3" d (Cons "4" e (Cons "5" f (Cons "6" g Nil)))))))
TupleSize D8 (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 D9 (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)))))))))
- Modules
- Data.
Tuple. Native