Database.PostgreSQL.Store.Tuple

Documentation

data Tuple ts where

Generic product type

Constructors

Nil :: Tuple '[]

Cons :: t -> !(Tuple ts) -> Tuple (t ': ts)

Instances

ShowElement ts => Show (Tuple ts)

Methods

showsPrec :: Int -> Tuple ts -> ShowS

show :: Tuple ts -> String

showList :: [Tuple ts] -> ShowS

class HasElement n ts r | n ts -> r where

Helper class to extract an element from a Tuple.

Minimal complete definition

getElement

Methods

getElement :: Tuple ts -> Tagged n r

Extract the n-th element from the product.

Instances

((<=) 1 n, HasElement ((-) n 1) ts r) => HasElement n ((:) Type t ts) r

Extract element that is not the head

Methods

getElement :: Tuple ((Type ': t) ts) -> Tagged Nat n r

HasElement 0 ((:) Type t ts) t

Extract head element

Methods

getElement :: Tuple ((Type ': t) ts) -> Tagged Nat 0 t

getElement0 :: Tuple (r ': ts) -> r

Extract element at index 0.

getElement1 :: Tuple (t0 ': (r ': ts)) -> r

Extract element at index 1.

getElement2 :: Tuple (t0 ': (t1 ': (r ': ts))) -> r

Extract element at index 2.

getElement3 :: Tuple (t0 ': (t1 ': (t2 ': (r ': ts)))) -> r

Extract element at index 3.

getElement4 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (r ': ts))))) -> r

Extract element at index 4.

getElement5 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (t4 ': (r ': ts)))))) -> r

Extract element at index 5.

getElement6 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (t4 ': (t5 ': (r ': ts))))))) -> r

Extract element at index 6.

getElement7 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (t4 ': (t5 ': (t6 ': (r ': ts)))))))) -> r

Extract element at index 7.

getElement8 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (t4 ': (t5 ': (t6 ': (t7 ': (r ': ts))))))))) -> r

Extract element at index 8.

getElement9 :: Tuple (t0 ': (t1 ': (t2 ': (t3 ': (t4 ': (t5 ': (t6 ': (t7 ': (t8 ': (r ': ts)))))))))) -> r

Extract element at index 9.

type family Function (ps :: [Type]) r where ...

Build a function type using the given parameter types and return type.

Equations

Function '[] r = r

Function (p ': ps) r = p -> Function ps r

class WithTuple ts where

Generate a function which collects the parameters and packs then into a 'Tuple.

Minimal complete definition

withTuple

Methods

withTuple :: (Tuple ts -> r) -> Function ts r

Instances

WithTuple ([] Type)

Methods

withTuple :: (Tuple [Type] -> r) -> Function [Type] r

WithTuple ts => WithTuple ((:) Type t ts)

Methods

withTuple :: (Tuple ((Type ': t) ts) -> r) -> Function ((Type ': t) ts) r

withTuple :: WithTuple ts => (Tuple ts -> r) -> Function ts r