Selda.PG.Utils

class ColsToPGHandler s i tup o | s i -> tup o where

For record { n1 ∷ Col s String, n2 ∷ Col s String, id ∷ Col s Int } build function \Tuple int (Tuple string1 string2) → { id: int, n1: string1, n2: string2 }

Members

• colsToPGHandler :: Proxy s -> Record i -> (tup -> Record o)

Instances

• (RowToList i il, ValidateSInCols s il, HFoldlWithIndex TupleToRecordFunc (Unit -> Record ()) (Record i) (tup -> Record o)) => ColsToPGHandler s i tup o

class ContainsOnlyColTypes (rl :: RowList) 

Instances

• ContainsOnlyColTypes Nil
• (Fail (Beside (Beside (Text "column `") (Text sym)) (Text "` has type `Aggr`, expected `Col`"))) => ContainsOnlyColTypes (Cons sym (Aggr s a) tail)
• (ContainsOnlyColTypes tail) => ContainsOnlyColTypes (Cons sym (Col s a) tail)

class ValidateSInCols s (il :: RowList) 

Instances

• ValidateSInCols s Nil
• (ValidateSInCols s tail) => ValidateSInCols s (Cons sym (Col s t) tail)
• (Fail (Beside (Text sym) (Text " is not Col or the scope \'s\' is wrong"))) => ValidateSInCols s (Cons sym col tail)

class ChangeType i o | i -> o

Instances

• ChangeType (Col s a) a
• ChangeType a a

data TupleToRecordFunc

Constructors

• TupleToRecordFunc

Instances

• (IsSymbol sym, Lacks sym r, Cons sym a r r', ChangeType i a) => FoldingWithIndex TupleToRecordFunc (SProxy sym) (tup -> Record r) i (Tuple a tup -> Record r')

class MkTupleToRecord tup r | r -> tup where

Members

• mkTupleToRecord :: Record r -> (tup -> Record r)

Instances

• (HFoldlWithIndex TupleToRecordFunc (Unit -> Record ()) (Record r) (tup -> Record r)) => MkTupleToRecord tup r

data RecordToTuple

Constructors

• RecordToTuple

Instances

• Folding RecordToTuple tail a (Tuple a tail)

class TupleRev t1 acc t2 | t1 acc -> t2 where

Members

• tupleRev :: t1 -> acc -> t2

Instances

• TupleRev Unit acc acc
• (TupleRev b (Tuple a acc) res) => TupleRev (Tuple a b) acc res

data RecordLength

Constructors

• RecordLength

Instances

• Folding RecordLength Int a Int

class RowListLength rl  where

Members

• rowListLength :: RLProxy rl -> Int

Instances

• RowListLength Nil
• (RowListLength t) => RowListLength (Cons s a t)

class TableToColsWithoutAlias r o | r -> o where

Table ( a1 ∷ A1 , a2 ∷ A2 ... )
→
{ a1 ∷ Col s A1, a2 ∷ Col s A2 ... }

Members

• tableToColsWithoutAlias :: Table r -> Record o

Instances

• (RowToList r rl, TableColumns rl i, ToCols s i o) => TableToColsWithoutAlias r o

Operator alias for Prim.TypeError.Beside (left-associative / precedence 4)