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

(PersistableWidth a, HasProjection l a b) => IsLabel l (PI c a b)

Derive PI label.

Defined in Database.Relational.OverloadedProjection

Methods

fromLabel :: PI c a b

ProductIsoFunctor (Record c)

Map Record which result type is record.

Defined in Database.Relational.Record

Methods

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

ProductIsoApplicative (Record c)

Compose Record using applicative style.

Defined in Database.Relational.Record

Methods

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

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

ProjectableMaybe (Record c)

Control phantom Maybe type in record type Record.

Defined in Database.Relational.Projectable

Methods

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

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

ProductIsoEmpty (Record c) ()

Defined in Database.Relational.Record

Methods

pureE :: Record c ()

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

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

TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p))

Show Set clause and WHERE clause.

Defined in Database.Relational.Effect

Methods

showsPrec :: Int -> (Record Flat r -> Assign r (PlaceHolders p)) -> ShowS

show :: (Record Flat r -> Assign r (PlaceHolders p)) -> String

showList :: [Record Flat r -> Assign r (PlaceHolders p)] -> ShowS

TableDerivable r => Show (Record Flat r -> Restrict (PlaceHolders p))

Show WHERE clause.

Defined in Database.Relational.Effect

Methods

showsPrec :: Int -> (Record Flat r -> Restrict (PlaceHolders p)) -> ShowS

show :: (Record Flat r -> Restrict (PlaceHolders p)) -> String

showList :: [Record Flat r -> Restrict (PlaceHolders p)] -> ShowS

Show (Record c t)

Defined in Database.Relational.SqlSyntax.Types

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