Module

Data.Tuple.Native

Package
purescript-tuples-native
Repository
athanclark/purescript-tuples-native

#prj Source

prj :: forall size a n' n t_ t' t. RowToList t t_ => TupleSize size t_ => Lt n size => ShowNat n n' => RowCons n' a t' t => Nat n => n -> TupleN t -> a

#TupleN Source

data TupleN :: Row Type -> Type

Represented as a heterogeneous array under the hood

Instances

  • Show (TupleN t)

    Unsafe show instance - expects all entries to have a show instance

#T2 Source

type T2 a b = TupleN ("0" :: a, "1" :: b)

#T3 Source

type T3 a b c = TupleN ("0" :: a, "1" :: b, "2" :: c)

#T4 Source

type T4 a b c d = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d)

#T5 Source

type T5 a b c d e = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d, "4" :: e)

#T6 Source

type T6 a b c d e f = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d, "4" :: e, "5" :: f)

#T7 Source

type T7 a b c d e f g = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d, "4" :: e, "5" :: f, "6" :: g)

#T8 Source

type T8 a b c d e f g h = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d, "4" :: e, "5" :: f, "6" :: g, "7" :: h)

#T9 Source

type T9 a b c d e f g h i = TupleN ("0" :: a, "1" :: b, "2" :: c, "3" :: d, "4" :: e, "5" :: f, "6" :: g, "7" :: h, "8" :: i)

#t2 Source

t2 :: forall b a. a -> b -> T2 a b

#t3 Source

t3 :: forall c b a. a -> b -> c -> T3 a b c

#t4 Source

t4 :: forall d c b a. a -> b -> c -> d -> T4 a b c d

#t5 Source

t5 :: forall e d c b a. a -> b -> c -> d -> e -> T5 a b c d e

#t6 Source

t6 :: forall f e d c b a. a -> b -> c -> d -> e -> f -> T6 a b c d e f

#t7 Source

t7 :: forall g f e d c b a. a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g

#t8 Source

t8 :: forall h g f e d c b a. a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h

#t9 Source

t9 :: forall i h g f e d c b a. a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i

#TupleSize Source

class TupleSize n (t :: RowList) | t -> n

Instances

#ShowNat Source

class ShowNat n (s :: Symbol) | n -> s, s -> n

Instances

Modules
Data.Tuple.Native