Database.Relational.Record

This module defines interfaces of projected record type.

Record data structure and interface

data Record c t

Phantom typed record. Projected into Haskell record type t.

Instances

ProjectableMaybe (Record c)

Control phantom Maybe type in record type Record.

Methods

just :: Record c a -> Record c (Maybe a)

flattenMaybe :: Record c (Maybe (Maybe a)) -> Record c (Maybe a)

ProjectableShowSql (Record c)

Methods

unsafeShowSql' :: Record c a -> StringSQL

SqlContext c => SqlProjectable (Record c)

Unsafely make Record from SQL terms.

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record c t

Show (Record c t)

Methods

showsPrec :: Int -> Record c t -> ShowS

show :: Record c t -> String

showList :: [Record c t] -> ShowS

width :: Record c r -> Int

Width of Record.

columns

Arguments

:: Record c r

Source Record

-> [StringSQL]

Result SQL string list

Get column SQL string list of record.

untype :: Record c r -> Tuple

Get untyped tuple.

unsafeFromSqlTerms :: [StringSQL] -> Record c t

Unsafely generate Record from SQL expression strings.

unsafeFromQualifiedSubQuery :: Qualified SubQuery -> Record c t

Unsafely generate Record from qualified (joined) sub-query.

unsafeFromScalarSubQuery :: SubQuery -> Record c t

Unsafely generate Record from scalar sub-query.

unsafeFromTable :: Table r -> Record c r

Unsafely generate unqualified Record from Table.

unsafeStringSql :: Record c r -> StringSQL

Unsafely get SQL term from Record.

Projections

pi

Arguments

:: PersistableWidth a

=> Record c a

Source Record

-> Pi a b

Record path

-> Record c b

Narrower Record

Trace projection path to get narrower Record.

piMaybe

Arguments

:: PersistableWidth a

=> Record c (Maybe a)

Source Record. Maybe type

-> Pi a b

Projection path

-> Record c (Maybe b)

Narrower Record. Maybe type result

Trace projection path to get narrower Record. From Maybe type to Maybe type.

piMaybe'

Arguments

:: PersistableWidth a

=> Record c (Maybe a)

Source Record. Maybe type

-> Pi a (Maybe b)

Projection path. Maybe type leaf

-> Record c (Maybe b)

Narrower Record. Maybe type result

Trace projection path to get narrower Record. From Maybe type to Maybe type. Leaf type of projection path is Maybe.

wpi

Arguments

:: PersistableRecordWidth a

-> Record c a

Source Record

-> Pi a b

Projection path

-> Record c b

Narrower Record

Trace projection path to get narrower Record.

flattenMaybe :: Record c (Maybe (Maybe a)) -> Record c (Maybe a)

Composite nested Maybe on record phantom type.

just :: Record c r -> Record c (Maybe r)

Cast into Maybe on record phantom type.

unsafeToAggregated :: Record Flat r -> Record Aggregated r

Unsafely lift to aggregated context.

unsafeToFlat :: Record Aggregated r -> Record Flat r

Unsafely down to flat context.

unsafeChangeContext :: Record c r -> Record c' r

Unsafely cast context type tag.

unsafeStringSqlNotNullMaybe :: HasColumnConstraint NotNull r => Record c (Maybe r) -> StringSQL

Unsafely get SQL string expression of not null key record.

List of Record

data RecordList p t

Projected record list type for row list.

list :: [p t] -> RecordList p t

Make projected record list from Record list.

unsafeListFromSubQuery :: SubQuery -> RecordList p t

Make projected record list from SubQuery.

unsafeStringSqlList :: (p t -> StringSQL) -> RecordList p t -> StringSQL

Map record show operatoions and concatinate to single SQL expression.

Orphan instances

ProductIsoFunctor (Record c)

Map Record which result type is record.

Methods

(|$|) :: ProductConstructor (a -> b) => (a -> b) -> Record c a -> Record c b

ProductIsoApplicative (Record c)

Compose Record using applicative style.

Methods

pureP :: ProductConstructor a => a -> Record c a

(|*|) :: Record c (a -> b) -> Record c a -> Record c b

ProductIsoEmpty (Record c) ()

Methods

pureE :: Record c ()

peRight :: Record c (a, ()) -> Record c a

peLeft :: Record c ((), a) -> Record c a