Yoga.Postgres.ClientOm

run :: forall tables result params paramsRL stage r err. RowToList params paramsRL => ParamsToArray paramsRL params => ReadForeign (Record result) => Record params -> Q tables result params stage -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

runOne :: forall tables result params paramsRL stage r err. RowToList params paramsRL => ParamsToArray paramsRL params => ReadForeign (Record result) => Record params -> Q tables result params stage -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record result))

runExec :: forall tables params paramsRL stage r err. RowToList params paramsRL => ParamsToArray paramsRL params => Record params -> Q tables () params stage -> Om { postgresConnection :: Connection | r } err Int

data Gt a

Constructors

• Gt a

Instances

• ExtractWhereType (Gt a) a
• (FieldToPGValue a) => WhereFieldSQL (Gt a)

data Gte a

Constructors

• Gte a

Instances

• ExtractWhereType (Gte a) a
• (FieldToPGValue a) => WhereFieldSQL (Gte a)

data Lt a

Constructors

• Lt a

Instances

• ExtractWhereType (Lt a) a
• (FieldToPGValue a) => WhereFieldSQL (Lt a)

data Lte a

Constructors

• Lte a

Instances

• ExtractWhereType (Lte a) a
• (FieldToPGValue a) => WhereFieldSQL (Lte a)

data Ne a

Constructors

• Ne a

Instances

• ExtractWhereType (Ne a) a
• (FieldToPGValue a) => WhereFieldSQL (Ne a)

data Like a

Constructors

• Like a

Instances

• ExtractWhereType (Like a) a
• (FieldToPGValue a) => WhereFieldSQL (Like a)

data ILike a

Constructors

• ILike a

Instances

• ExtractWhereType (ILike a) a
• (FieldToPGValue a) => WhereFieldSQL (ILike a)

data InArray a

Constructors

• InArray (Array a)

Instances

• ExtractWhereType (InArray a) a
• (FieldToPGValue a) => WhereFieldSQL (InArray a)

data IsNull

Constructors

• IsNull

Instances

• ExtractWhereType IsNull (Maybe a)
• WhereFieldSQL IsNull

data IsNotNull

Constructors

• IsNotNull

Instances

• ExtractWhereType IsNotNull (Maybe a)
• WhereFieldSQL IsNotNull

data Eq a

Constructors

• Eq a

Instances

• ExtractWhereType (Eq a) a
• (FieldToPGValue a) => WhereFieldSQL (Eq a)

data Or a b

Constructors

• Or a b

Instances

• (ExtractWhereType a c) => ExtractWhereType (Or a b) c
• (WhereFieldSQL a, WhereFieldSQL b) => WhereFieldSQL (Or a b)

data Not a

Constructors

• Not a

Instances

• (ExtractWhereType a b) => ExtractWhereType (Not a) b
• (WhereFieldSQL a) => WhereFieldSQL (Not a)

gt :: forall a. a -> Gt a

gte :: forall a. a -> Gte a

lt :: forall a. a -> Lt a

lte :: forall a. a -> Lte a

ne :: forall a. a -> Ne a

like_ :: forall a. a -> Like a

ilike :: forall a. a -> ILike a

inArray :: forall a. Array a -> InArray a

isNull :: IsNull

isNotNull :: IsNotNull

eq_ :: forall a. a -> Eq a

or_ :: forall a b. a -> b -> Or a b

not_ :: forall a. a -> Not a

class ExtractWhereType wrapped baseType | wrapped -> baseType

Instances

• ExtractWhereType (Gt a) a
• ExtractWhereType (Gte a) a
• ExtractWhereType (Lt a) a
• ExtractWhereType (Lte a) a
• ExtractWhereType (Ne a) a
• ExtractWhereType (Like a) a
• ExtractWhereType (ILike a) a
• ExtractWhereType (InArray a) a
• ExtractWhereType (Eq a) a
• (ExtractWhereType a b) => ExtractWhereType (Not a) b
• ExtractWhereType IsNull (Maybe a)
• ExtractWhereType IsNotNull (Maybe a)
• (ExtractWhereType a c) => ExtractWhereType (Or a b) c
• ExtractWhereType a a

class WhereFieldSQL a  where

Members

• whereFieldSQLFragment :: a -> String -> Int -> { nextIdx :: Int, sql :: String, values :: Array PGValue }

Instances

• (FieldToPGValue a) => WhereFieldSQL (Gt a)
• (FieldToPGValue a) => WhereFieldSQL (Gte a)
• (FieldToPGValue a) => WhereFieldSQL (Lt a)
• (FieldToPGValue a) => WhereFieldSQL (Lte a)
• (FieldToPGValue a) => WhereFieldSQL (Ne a)
• (FieldToPGValue a) => WhereFieldSQL (Like a)
• (FieldToPGValue a) => WhereFieldSQL (ILike a)
• (FieldToPGValue a) => WhereFieldSQL (InArray a)
• WhereFieldSQL IsNull
• WhereFieldSQL IsNotNull
• (FieldToPGValue a) => WhereFieldSQL (Eq a)
• (WhereFieldSQL a, WhereFieldSQL b) => WhereFieldSQL (Or a b)
• (WhereFieldSQL a) => WhereFieldSQL (Not a)
• (FieldToPGValue a) => WhereFieldSQL a

class ValidateWhereColumnsRL :: RowList Type -> Row Type -> Constraintclass ValidateWhereColumnsRL rl cols 

Instances

• ValidateWhereColumnsRL Nil cols
• (Cons name entry rest cols, ExtractType entry colType, ExtractWhereType whereType baseType, ValidateWhereColumnsRL tail cols) => ValidateWhereColumnsRL (Cons name whereType tail) cols

class WhereClauseRL :: RowList Type -> Row Type -> Constraintclass WhereClauseRL rl row  where

Members

• whereClauseFragments :: Proxy rl -> Record row -> Int -> { nextIdx :: Int, sql :: Array String, values :: Array PGValue }

Instances

• WhereClauseRL Nil row
• (IsSymbol name, Cons name typ rest row, WhereFieldSQL typ, WhereClauseRL tail row) => WhereClauseRL (Cons name typ tail) row

class TableRow :: Type -> Row Type -> Constraintclass TableRow table row | table -> row

Instances

• (RowToList cols rl, StripColumnsRL rl outRL, ListToRow outRL row) => TableRow (Table name cols) row

class InsertableRow :: Type -> Row Type -> Constraintclass InsertableRow table row | table -> row

Instances

• (RowToList cols rl, InsertableColumnsRL rl insertRL, ListToRow insertRL row) => InsertableRow (Table name cols) row

class HasPrimaryKeyConstraint :: Type -> Boolean -> Constraintclass HasPrimaryKeyConstraint a result | a -> result

Instances

• HasPrimaryKeyConstraint (PrimaryKey a) True
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (AutoIncrement a) result
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (Unique a) result
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (Default s a) result
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (DefaultExpr s a) result
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (ForeignKey t r c a) result
• (HasPrimaryKeyConstraint a result) => HasPrimaryKeyConstraint (Nullable a) result
• HasPrimaryKeyConstraint a False

class FindPrimaryKeyRL :: RowList Type -> Symbol -> Type -> Constraintclass FindPrimaryKeyRL rl colName colType | rl -> colName colType

Instances

• (Fail (Text "Table has no primary key column")) => FindPrimaryKeyRL Nil "" Unit
• (HasPrimaryKeyConstraint entry isPK, FindPrimaryKeyDecide isPK name entry tail colName colType) => FindPrimaryKeyRL (Cons name entry tail) colName colType

class FindPrimaryKeyDecide :: Boolean -> Symbol -> Type -> RowList Type -> Symbol -> Type -> Constraintclass FindPrimaryKeyDecide isPK name entry tail colName colType | isPK name entry tail -> colName colType

Instances

• (ExtractType entry colType) => FindPrimaryKeyDecide True name entry tail name colType
• (FindPrimaryKeyRL tail colName colType) => FindPrimaryKeyDecide False name entry tail colName colType

class FindPrimaryKey :: Type -> Symbol -> Type -> Constraintclass FindPrimaryKey table colName colType | table -> colName colType

Instances

• (RowToList cols rl, FindPrimaryKeyRL rl colName colType) => FindPrimaryKey (Table name cols) colName colType

class HasForeignKeyTo :: Type -> Symbol -> Boolean -> Constraintclass HasForeignKeyTo colType tableName result | colType tableName -> result

Instances

• HasForeignKeyTo (ForeignKey table References col a) table True
• (HasForeignKeyTo a tn result) => HasForeignKeyTo (PrimaryKey a) tn result
• (HasForeignKeyTo a tn result) => HasForeignKeyTo (AutoIncrement a) tn result
• (HasForeignKeyTo a tn result) => HasForeignKeyTo (Unique a) tn result
• (HasForeignKeyTo a tn result) => HasForeignKeyTo (Default s a) tn result
• (HasForeignKeyTo a tn result) => HasForeignKeyTo (Nullable a) tn result
• HasForeignKeyTo a tn False

class ExtractForeignKeyCol :: Type -> Symbol -> Symbol -> Constraintclass ExtractForeignKeyCol colType tableName refCol | colType tableName -> refCol

Instances

• ExtractForeignKeyCol (ForeignKey table References col a) table col
• (ExtractForeignKeyCol a tn col) => ExtractForeignKeyCol (PrimaryKey a) tn col
• (ExtractForeignKeyCol a tn col) => ExtractForeignKeyCol (AutoIncrement a) tn col
• (ExtractForeignKeyCol a tn col) => ExtractForeignKeyCol (Unique a) tn col
• (ExtractForeignKeyCol a tn col) => ExtractForeignKeyCol (Default s a) tn col
• (ExtractForeignKeyCol a tn col) => ExtractForeignKeyCol (Nullable a) tn col

class FindForeignKeyToRL :: RowList Type -> Symbol -> Symbol -> Symbol -> Constraintclass FindForeignKeyToRL childRL parentName localCol parentCol | childRL parentName -> localCol parentCol

Instances

• (Fail (Text "No foreign key found referencing the target table")) => FindForeignKeyToRL Nil parentName "" ""
• (HasForeignKeyTo entry parentName hasFK, FindForeignKeyToDecide hasFK name entry tail parentName localCol parentCol) => FindForeignKeyToRL (Cons name entry tail) parentName localCol parentCol

class FindForeignKeyToDecide :: Boolean -> Symbol -> Type -> RowList Type -> Symbol -> Symbol -> Symbol -> Constraintclass FindForeignKeyToDecide hasFK name entry tail parentName localCol parentCol | hasFK name entry tail parentName -> localCol parentCol

Instances

• (ExtractForeignKeyCol entry parentName parentCol) => FindForeignKeyToDecide True name entry tail parentName name parentCol
• (FindForeignKeyToRL tail parentName localCol parentCol) => FindForeignKeyToDecide False name entry tail parentName localCol parentCol

class FindForeignKeyTo :: Type -> Symbol -> Symbol -> Symbol -> Constraintclass FindForeignKeyTo childTable parentTableName localCol parentCol | childTable parentTableName -> localCol parentCol

Instances

• (RowToList cols rl, FindForeignKeyToRL rl parentName localCol parentCol) => FindForeignKeyTo (Table name cols) parentName localCol parentCol

class ParseColumnList :: Symbol -> Row Type -> RowList Type -> Constraintclass ParseColumnList sym cols resultRL | sym cols -> resultRL

Instances

• ParseColumnList "" cols Nil
• (ExtractWord sym word rest, IsSymbol word, Cons word entry restCols cols, ExtractType entry colType, ParseColumnListContinue rest cols tailRL) => ParseColumnList sym cols (Cons word colType tailRL)

class ParseColumnListContinue :: Symbol -> Row Type -> RowList Type -> Constraintclass ParseColumnListContinue rest cols resultRL | rest cols -> resultRL

Instances

• ParseColumnListContinue "" cols Nil
• (Cons "," tail rest, SkipSpaces tail rest', ParseColumnList rest' cols resultRL) => ParseColumnListContinue rest cols resultRL

selectFrom :: forall @colsStr name cols resultRL result r err. IsSymbol name => IsSymbol colsStr => ParseColumnList colsStr cols resultRL => ColumnNamesRL resultRL => ListToRow resultRL result => ReadForeign (Record result) => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

selectOneFrom :: forall @colsStr name cols resultRL result r err. IsSymbol name => IsSymbol colsStr => ParseColumnList colsStr cols resultRL => ColumnNamesRL resultRL => ListToRow resultRL result => ReadForeign (Record result) => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record result))

selectFromWhere :: forall @colsStr name cols resultRL result whereRow whereRL r err. IsSymbol name => IsSymbol colsStr => ParseColumnList colsStr cols resultRL => ColumnNamesRL resultRL => ListToRow resultRL result => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record result) => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

selectOneFromWhere :: forall @colsStr name cols resultRL result whereRow whereRL r err. IsSymbol name => IsSymbol colsStr => ParseColumnList colsStr cols resultRL => ColumnNamesRL resultRL => ListToRow resultRL result => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record result) => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record result))

findById :: forall name cols row pkCol pkType r err. IsSymbol name => IsSymbol pkCol => TableRow (Table name cols) row => FindPrimaryKey (Table name cols) pkCol pkType => FieldToPGValue pkType => ReadForeign (Record row) => pkType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

create :: forall name cols colsRL insertableRL insertable requiredRL required optionalProvided missing userRow userRowRL row r err. IsSymbol name => RowToList cols colsRL => InsertableColumnsRL colsRL insertableRL => ListToRow insertableRL insertable => RequiredColumnsRL insertableRL requiredRL => ListToRow requiredRL required => Union required optionalProvided userRow => Union userRow missing insertable => RowToList userRow userRowRL => ColumnNamesRL userRowRL => RecordValuesRL userRowRL userRow => TableRow (Table name cols) row => ReadForeign (Record row) => Record userRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

updateById :: forall name cols row pkCol pkType setRow setRL r err. IsSymbol name => IsSymbol pkCol => TableRow (Table name cols) row => FindPrimaryKey (Table name cols) pkCol pkType => RowToList setRow setRL => ValidateSetColumnsRL setRL cols => SetClauseRL setRL => ColumnCountRL setRL => RecordValuesRL setRL setRow => FieldToPGValue pkType => ReadForeign (Record row) => pkType -> Record setRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

deleteById :: forall name cols pkCol pkType r err. IsSymbol name => IsSymbol pkCol => FindPrimaryKey (Table name cols) pkCol pkType => FieldToPGValue pkType => pkType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Int

findBy :: forall @col name cols colEntry rest row colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => FieldToPGValue colType => TableRow (Table name cols) row => ReadForeign (Record row) => colType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

findOneBy :: forall @col name cols colEntry rest row colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => FieldToPGValue colType => TableRow (Table name cols) row => ReadForeign (Record row) => colType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

findAllWhere :: forall name cols row whereRow whereRL r err. IsSymbol name => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

findOneWhere :: forall name cols row whereRow whereRL r err. IsSymbol name => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

count :: forall name cols r err. IsSymbol name => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Int

countWhere :: forall name cols whereRow whereRL r err. IsSymbol name => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Int

exists :: forall name cols pkCol pkType r err. IsSymbol name => IsSymbol pkCol => FindPrimaryKey (Table name cols) pkCol pkType => FieldToPGValue pkType => pkType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Boolean

existsWhere :: forall name cols whereRow whereRL r err. IsSymbol name => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Boolean

createMany :: forall name cols colsRL insertableRL insertable requiredRL required optionalProvided missing userRow userRowRL row r err. IsSymbol name => RowToList cols colsRL => InsertableColumnsRL colsRL insertableRL => ListToRow insertableRL insertable => RequiredColumnsRL insertableRL requiredRL => ListToRow requiredRL required => Union required optionalProvided userRow => Union userRow missing insertable => RowToList userRow userRowRL => ColumnNamesRL userRowRL => ColumnCountRL userRowRL => RecordValuesRL userRowRL userRow => TableRow (Table name cols) row => ReadForeign (Record row) => Array (Record userRow) -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

upsert :: forall name cols colsRL insertableRL insertable requiredRL required optionalProvided missing userRow userRowRL row pkCol pkType r err. IsSymbol name => IsSymbol pkCol => RowToList cols colsRL => InsertableColumnsRL colsRL insertableRL => ListToRow insertableRL insertable => RequiredColumnsRL insertableRL requiredRL => ListToRow requiredRL required => Union required optionalProvided userRow => Union userRow missing insertable => RowToList userRow userRowRL => ColumnNamesRL userRowRL => RecordValuesRL userRowRL userRow => FindPrimaryKey (Table name cols) pkCol pkType => TableRow (Table name cols) row => ReadForeign (Record row) => Record userRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

deleteAll :: forall name cols r err. IsSymbol name => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Int

deleteWhere :: forall name cols whereRow whereRL r err. IsSymbol name => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Int

updateWhere :: forall name cols row setRow setRL whereRow whereRL r err. IsSymbol name => TableRow (Table name cols) row => RowToList setRow setRL => ValidateSetColumnsRL setRL cols => SetClauseRL setRL => ColumnCountRL setRL => RecordValuesRL setRL setRow => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> Record setRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

createIfNotExists :: forall name cols colsRL insertableRL insertable requiredRL required optionalProvided missing userRow userRowRL row pkCol pkType r err. IsSymbol name => IsSymbol pkCol => RowToList cols colsRL => InsertableColumnsRL colsRL insertableRL => ListToRow insertableRL insertable => RequiredColumnsRL insertableRL requiredRL => ListToRow requiredRL required => Union required optionalProvided userRow => Union userRow missing insertable => RowToList userRow userRowRL => ColumnNamesRL userRowRL => RecordValuesRL userRowRL userRow => FindPrimaryKey (Table name cols) pkCol pkType => TableRow (Table name cols) row => ReadForeign (Record row) => Record userRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record row))

upsertMany :: forall name cols colsRL insertableRL insertable requiredRL required optionalProvided missing userRow userRowRL row pkCol pkType r err. IsSymbol name => IsSymbol pkCol => RowToList cols colsRL => InsertableColumnsRL colsRL insertableRL => ListToRow insertableRL insertable => RequiredColumnsRL insertableRL requiredRL => ListToRow requiredRL required => Union required optionalProvided userRow => Union userRow missing insertable => RowToList userRow userRowRL => ColumnNamesRL userRowRL => ColumnCountRL userRowRL => RecordValuesRL userRowRL userRow => FindPrimaryKey (Table name cols) pkCol pkType => TableRow (Table name cols) row => ReadForeign (Record row) => Array (Record userRow) -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

findByIdIn :: forall name cols row pkCol pkType r err. IsSymbol name => IsSymbol pkCol => TableRow (Table name cols) row => FindPrimaryKey (Table name cols) pkCol pkType => FieldToPGValue pkType => ReadForeign (Record row) => Array pkType -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

join :: forall child source. Proxy child -> source -> source /\ (Proxy child)

class JoinRoot :: Type -> Symbol -> Row Type -> Constraintclass JoinRoot source name cols | source -> name cols

Instances

• JoinRoot (Proxy (Table name cols)) name cols
• (JoinRoot left name cols) => JoinRoot (Tuple left right) name cols

class JoinSubqueries :: Type -> Symbol -> Constraintclass JoinSubqueries source rootName  where

Members

• joinSubqueries :: Proxy source -> Proxy rootName -> Array String

Instances

• JoinSubqueries (Proxy (Table name cols)) rootName
• (JoinSubqueries left rootName, IsSymbol childName, IsSymbol localCol, IsSymbol parentCol, FindForeignKeyTo (Table childName childCols) rootName localCol parentCol) => JoinSubqueries (Tuple left (Proxy (Table childName childCols))) rootName

class JoinResult :: Type -> Row Type -> Constraintclass JoinResult source result | source -> result

Instances

• (TableRow (Table name cols) row) => JoinResult (Proxy (Table name cols)) row
• (JoinResult left innerResult, IsSymbol childName, TableRow (Table childName childCols) childRow, Cons childName (Array (Record childRow)) innerResult result, Lacks childName innerResult) => JoinResult (Tuple left (Proxy (Table childName childCols))) result

findAll :: forall source rootName rootCols result r err. JoinRoot source rootName rootCols => JoinSubqueries source rootName => JoinResult source result => IsSymbol rootName => ReadForeign (Record result) => source -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

findWith :: forall childName childCols parentName parentCols childRow parentRow localCol parentCol rest result r err. IsSymbol childName => IsSymbol parentName => IsSymbol localCol => IsSymbol parentCol => TableRow (Table childName childCols) childRow => TableRow (Table parentName parentCols) parentRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => Cons parentName (Record parentRow) () rest => Cons childName (Record childRow) rest result => ReadForeign (Record result) => Proxy (Table childName childCols) -> Proxy (Table parentName parentCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

findByIdWith :: forall childName childCols parentName parentCols childRow parentRow localCol parentCol pkCol pkType rest result r err. IsSymbol childName => IsSymbol parentName => IsSymbol localCol => IsSymbol parentCol => IsSymbol pkCol => TableRow (Table childName childCols) childRow => TableRow (Table parentName parentCols) parentRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => FindPrimaryKey (Table childName childCols) pkCol pkType => FieldToPGValue pkType => Cons parentName (Record parentRow) () rest => Cons childName (Record childRow) rest result => ReadForeign (Record result) => pkType -> Proxy (Table childName childCols) -> Proxy (Table parentName parentCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record result))

findWithWhere :: forall childName childCols parentName parentCols childRow parentRow localCol parentCol rest result whereRow whereRL r err. IsSymbol childName => IsSymbol parentName => IsSymbol localCol => IsSymbol parentCol => TableRow (Table childName childCols) childRow => TableRow (Table parentName parentCols) parentRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => Cons parentName (Record parentRow) () rest => Cons childName (Record childRow) rest result => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL childCols => WhereClauseRL whereRL whereRow => ReadForeign (Record result) => Record whereRow -> Proxy (Table childName childCols) -> Proxy (Table parentName parentCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

findIncluding :: forall @label parentName parentCols childName childCols parentRow childRow localCol parentCol result r err. IsSymbol label => IsSymbol parentName => IsSymbol childName => IsSymbol localCol => IsSymbol parentCol => TableRow (Table parentName parentCols) parentRow => TableRow (Table childName childCols) childRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => Cons label (Array (Record childRow)) parentRow result => Lacks label parentRow => ReadForeign (Record result) => Proxy (Table parentName parentCols) -> Proxy (Table childName childCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

findByIdIncluding :: forall @label parentName parentCols childName childCols parentRow childRow localCol parentCol pkCol pkType result r err. IsSymbol label => IsSymbol parentName => IsSymbol childName => IsSymbol localCol => IsSymbol parentCol => IsSymbol pkCol => TableRow (Table parentName parentCols) parentRow => TableRow (Table childName childCols) childRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => FindPrimaryKey (Table parentName parentCols) pkCol pkType => FieldToPGValue pkType => Cons label (Array (Record childRow)) parentRow result => Lacks label parentRow => ReadForeign (Record result) => pkType -> Proxy (Table parentName parentCols) -> Proxy (Table childName childCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe (Record result))

findIncludingWhere :: forall @label parentName parentCols childName childCols parentRow childRow localCol parentCol result whereRow whereRL r err. IsSymbol label => IsSymbol parentName => IsSymbol childName => IsSymbol localCol => IsSymbol parentCol => TableRow (Table parentName parentCols) parentRow => TableRow (Table childName childCols) childRow => FindForeignKeyTo (Table childName childCols) parentName localCol parentCol => Cons label (Array (Record childRow)) parentRow result => Lacks label parentRow => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL parentCols => WhereClauseRL whereRL whereRow => ReadForeign (Record result) => Record whereRow -> Proxy (Table parentName parentCols) -> Proxy (Table childName childCols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record result))

type Page :: Row Type -> Typetype Page row = { hasMore :: Boolean, items :: Array (Record row) }

findFirst :: forall @col name cols colEntry rest row colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => TableRow (Table name cols) row => ReadForeign (Record row) => Int -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Page row)

findAfter :: forall @col name cols colEntry rest row colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => FieldToPGValue colType => TableRow (Table name cols) row => ReadForeign (Record row) => colType -> Int -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Page row)

findBefore :: forall @col name cols colEntry rest row colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => FieldToPGValue colType => TableRow (Table name cols) row => ReadForeign (Record row) => colType -> Int -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Page row)

findFirstWhere :: forall @col name cols colEntry rest row colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> Int -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Page row)

findAfterWhere :: forall @col name cols colEntry rest row colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => FieldToPGValue colType => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> colType -> Int -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Page row)

data OrderDir

Constructors

• Asc
• Desc

orderDirSQL :: OrderDir -> String

findOrdered :: forall @col name cols colEntry rest row r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => TableRow (Table name cols) row => ReadForeign (Record row) => OrderDir -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

findWhereOrdered :: forall @col name cols colEntry rest row whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> OrderDir -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

findWhereLimited :: forall @col name cols colEntry rest row whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> OrderDir -> { limit :: Int, offset :: Int } -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

sumOf :: forall @col name cols colEntry rest colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Number

sumOfWhere :: forall @col name cols colEntry rest colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err Number

avgOf :: forall @col name cols colEntry rest colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err (Maybe Number)

avgOfWhere :: forall @col name cols colEntry rest colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } err (Maybe Number)

minOf :: forall @col name cols colEntry rest colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe colType)

minOfWhere :: forall @col name cols colEntry rest colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe colType)

maxOf :: forall @col name cols colEntry rest colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe colType)

maxOfWhere :: forall @col name cols colEntry rest colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Maybe colType)

findDistinct :: forall @col name cols colEntry rest colType r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array colType)

findDistinctWhere :: forall @col name cols colEntry rest colType whereRow whereRL r err. IsSymbol name => IsSymbol col => Cons col colEntry rest cols => ExtractType colEntry colType => ReadForeign colType => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array colType)

deleteWhereReturning :: forall name cols row whereRow whereRL r err. IsSymbol name => TableRow (Table name cols) row => RowToList whereRow whereRL => ValidateWhereColumnsRL whereRL cols => WhereClauseRL whereRL whereRow => ReadForeign (Record row) => Record whereRow -> Proxy (Table name cols) -> Om { postgresConnection :: Connection | r } (parseError :: MultipleErrors | err) (Array (Record row))

withTransaction :: forall r err a. Om { postgresConnection :: Connection | r } err a -> Om { postgresConnection :: Connection | r } err a

txToConnection :: Transaction -> Connection

parseRow :: forall a ctx err. ReadForeign a => Foreign -> Om ctx (parseError :: MultipleErrors | err) a