Rel8.Array

ListTable

data ListTable context a

A ListTable value contains zero or more instances of a. You construct ListTables with many or listAgg.

Instances

(Table context a, context ~ context') => Table context' (ListTable context a)

Defined in Rel8.Table.List

Associated Types

type Columns (ListTable context a) :: HTable

type Context (ListTable context a) :: Context

type FromExprs (ListTable context a)

type Transpose context' (ListTable context a)

Methods

toColumns :: ListTable context a -> Columns (ListTable context a) context'

fromColumns :: Columns (ListTable context a) context' -> ListTable context a

fromResult :: Columns (ListTable context a) Result -> FromExprs (ListTable context a)

toResult :: FromExprs (ListTable context a) -> Columns (ListTable context a) Result

context ~ Expr => AltTable (ListTable context)

Defined in Rel8.Table.List

Methods

(<|>:) :: Table Expr a => ListTable context a -> ListTable context a -> ListTable context a

context ~ Expr => AlternativeTable (ListTable context)

Defined in Rel8.Table.List

Methods

emptyTable :: Table Expr a => ListTable context a

Projectable (ListTable context)

Defined in Rel8.Table.List

Methods

project :: Projecting a b => Projection a b -> ListTable context a -> ListTable context b

(context ~ Expr, Table Expr a) => Monoid (ListTable context a)

Defined in Rel8.Table.List

Methods

mempty :: ListTable context a

mappend :: ListTable context a -> ListTable context a -> ListTable context a

mconcat :: [ListTable context a] -> ListTable context a

(context ~ Expr, Table Expr a) => Semigroup (ListTable context a)

Defined in Rel8.Table.List

Methods

(<>) :: ListTable context a -> ListTable context a -> ListTable context a

sconcat :: NonEmpty (ListTable context a) -> ListTable context a

stimes :: Integral b => b -> ListTable context a -> ListTable context a

(EqTable a, context ~ Expr) => EqTable (ListTable context a)

Defined in Rel8.Table.List

Methods

eqTable :: Columns (ListTable context a) (Dict (Sql DBEq))

(OrdTable a, context ~ Expr) => OrdTable (ListTable context a)

Defined in Rel8.Table.List

Methods

ordTable :: Columns (ListTable context a) (Dict (Sql DBOrd))

(ToExprs exprs a, context ~ Expr) => ToExprs (ListTable context exprs) [a]

Defined in Rel8.Table.List

type Transpose to (ListTable context a)

Defined in Rel8.Table.List

type Transpose to (ListTable context a) = ListTable to (Transpose to a)

type Columns (ListTable context a)

Defined in Rel8.Table.List

type Columns (ListTable context a)

type Context (ListTable context a)

Defined in Rel8.Table.List

type Context (ListTable context a) = Context a

type FromExprs (ListTable context a)

Defined in Rel8.Table.List

type FromExprs (ListTable context a) = [FromExprs a]

head :: Table Expr a => ListTable Expr a -> NullTable Expr a

Get the first element of a ListTable (or nullTable if empty).

headExpr :: Sql DBType a => Expr [a] -> Expr (Nullify a)

index :: Table Expr a => Expr Int32 -> ListTable Expr a -> NullTable Expr a

index i as extracts a single element from as, returning nullTable if i is out of range. Note that although PostgreSQL array indexes are 1-based (by default), this function is always 0-based.

indexExpr :: Sql DBType a => Expr Int32 -> Expr [a] -> Expr (Nullify a)

last :: Table Expr a => ListTable Expr a -> NullTable Expr a

Get the last element of a ListTable (or nullTable if empty).

lastExpr :: Sql DBType a => Expr [a] -> Expr (Nullify a)

length :: Table Expr a => ListTable Expr a -> Expr Int32

Get the length of a ListTable

lengthExpr :: Expr [a] -> Expr Int32

NonEmptyTable

data NonEmptyTable context a

A NonEmptyTable value contains one or more instances of a. You construct NonEmptyTables with some or nonEmptyAgg.

Instances

(Table context a, context ~ context') => Table context' (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

Associated Types

type Columns (NonEmptyTable context a) :: HTable

type Context (NonEmptyTable context a) :: Context

type FromExprs (NonEmptyTable context a)

type Transpose context' (NonEmptyTable context a)

Methods

toColumns :: NonEmptyTable context a -> Columns (NonEmptyTable context a) context'

fromColumns :: Columns (NonEmptyTable context a) context' -> NonEmptyTable context a

fromResult :: Columns (NonEmptyTable context a) Result -> FromExprs (NonEmptyTable context a)

toResult :: FromExprs (NonEmptyTable context a) -> Columns (NonEmptyTable context a) Result

context ~ Expr => AltTable (NonEmptyTable context)

Defined in Rel8.Table.NonEmpty

Methods

(<|>:) :: Table Expr a => NonEmptyTable context a -> NonEmptyTable context a -> NonEmptyTable context a

Projectable (NonEmptyTable context)

Defined in Rel8.Table.NonEmpty

Methods

project :: Projecting a b => Projection a b -> NonEmptyTable context a -> NonEmptyTable context b

(Table Expr a, context ~ Expr) => Semigroup (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

Methods

(<>) :: NonEmptyTable context a -> NonEmptyTable context a -> NonEmptyTable context a

sconcat :: NonEmpty (NonEmptyTable context a) -> NonEmptyTable context a

stimes :: Integral b => b -> NonEmptyTable context a -> NonEmptyTable context a

(EqTable a, context ~ Expr) => EqTable (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

Methods

eqTable :: Columns (NonEmptyTable context a) (Dict (Sql DBEq))

(OrdTable a, context ~ Expr) => OrdTable (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

Methods

ordTable :: Columns (NonEmptyTable context a) (Dict (Sql DBOrd))

(ToExprs exprs a, context ~ Expr) => ToExprs (NonEmptyTable context exprs) (NonEmpty a)

Defined in Rel8.Table.NonEmpty

type Transpose to (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

type Transpose to (NonEmptyTable context a) = NonEmptyTable to (Transpose to a)

type Columns (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

type Columns (NonEmptyTable context a)

type Context (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

type Context (NonEmptyTable context a) = Context a

type FromExprs (NonEmptyTable context a)

Defined in Rel8.Table.NonEmpty

type FromExprs (NonEmptyTable context a) = NonEmpty (FromExprs a)

head1 :: Table Expr a => NonEmptyTable Expr a -> a

Get the first element of a NonEmptyTable.

head1Expr :: Sql DBType a => Expr (NonEmpty a) -> Expr a

index1 :: Table Expr a => Expr Int32 -> NonEmptyTable Expr a -> NullTable Expr a

index1 i as extracts a single element from as, returning nullTable if i is out of range. Note that although PostgreSQL array indexes are 1-based (by default), this function is always 0-based.

index1Expr :: Sql DBType a => Expr Int32 -> Expr (NonEmpty a) -> Expr (Nullify a)

last1 :: Table Expr a => NonEmptyTable Expr a -> a

Get the last element of a NonEmptyTable.

last1Expr :: Sql DBType a => Expr (NonEmpty a) -> Expr a

length1 :: Table Expr a => NonEmptyTable Expr a -> Expr Int32

Get the length of a NonEmptyTable

length1Expr :: Expr (NonEmpty a) -> Expr Int32