Data.Tuple.ITuple

Documentation

data List a

Constructors

Nil

a :| (List a)

class ITuple t where

Associated Types

type ListRep t :: List *

Methods

toTuple :: t -> Tuple (ListRep t)

fromTuple :: Tuple (ListRep t) -> t

Instances

ITuple ()

ITuple (Identity a)

ITuple (Tuple xs)

ITuple (a, b)

ITuple (a, b, c)

ITuple (a, b, c, d)

ITuple (a, b, c, d, e)

ITuple (a, b, c, d, e, f)

ITuple (a, b, c, d, e, f, g)

type ListRepDefault t = GCons (Rep t) Nil

toTupleDefault :: (Generic t, GITuple (Rep t)) => t -> Tuple (ListRepDefault t)

fromTupleDefault :: (Generic t, GITuple (Rep t)) => Tuple (ListRepDefault t) -> t

data Tuple xs where

Constructors

U :: Tuple Nil

:* :: x -> Tuple xs -> Tuple (x :| xs)

Instances

ITuple (Tuple xs)

ArraySlice (Tuple xs) => ArraySlice (Tuple (:| * x xs))

ArraySlice (Tuple (Nil *))

(ByteArraySlice x, ByteArraySlice (Tuple xs)) => ByteArraySlice (Tuple (:| * x xs))

ByteArraySlice (Tuple (Nil *))

type Field1 a = Find N0 (ToList a)

type Field2 a = Find N1 (ToList a)

type Field3 a = Find N2 (ToList a)

type Field4 a = Find N3 (ToList a)

type Field5 a = Find N4 (ToList a)

type Field6 a = Find N5 (ToList a)

type Field7 a = Find N6 (ToList a)

type Field8 a = Find N7 (ToList a)

type Field9 a = Find N8 (ToList a)