Data.KVList.Esqueleto

Helper library for KVList to use in Esqueleto.

Documentation

data SingleValue e

Instances

(SqlSelect a ra, ToKVList ra recA) => SqlSelect (SingleValue a) (KVList '["value" := recA])

Defined in Data.KVList.Esqueleto

Methods

sqlSelectCols :: IdentInfo -> SingleValue a -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (SingleValue a) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '["value" := recA])

sqlInsertInto :: IdentInfo -> SingleValue a -> (Builder, [PersistValue])

singleValue :: e -> SingleValue e

class ToKVList a kvls | kvls -> a, a -> kvls where

Methods

toKVList :: a -> Either Text kvls

Instances

ToKVList a ls => ToKVList (Maybe a) (Maybe ls)

Defined in Data.KVList.Esqueleto

Methods

toKVList :: Maybe a -> Either Text (Maybe ls)

Orphan instances

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, SqlSelect l rl, SqlSelect m rm, SqlSelect n rn, SqlSelect o ro, SqlSelect p rp, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, KnownSymbol ll, KnownSymbol lm, KnownSymbol ln, KnownSymbol lo, KnownSymbol lp, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, ToKVList rl recL, ToKVList rm recM, ToKVList rn recN, ToKVList ro recO, ToKVList rp recP, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o, lp := p], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k, HasKey ll kvs l, HasKey lm kvs m, HasKey ln kvs n, HasKey lo kvs o, HasKey lp kvs p) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o, lp := p]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN, lo := recO, lp := recP])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o, lp := p] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o, lp := p]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN, lo := recO, lp := recP])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o, lp := p] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, SqlSelect l rl, SqlSelect m rm, SqlSelect n rn, SqlSelect o ro, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, KnownSymbol ll, KnownSymbol lm, KnownSymbol ln, KnownSymbol lo, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, ToKVList rl recL, ToKVList rm recM, ToKVList rn recN, ToKVList ro recO, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k, HasKey ll kvs l, HasKey lm kvs m, HasKey ln kvs n, HasKey lo kvs o) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN, lo := recO])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN, lo := recO])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n, lo := o] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, SqlSelect l rl, SqlSelect m rm, SqlSelect n rn, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, KnownSymbol ll, KnownSymbol lm, KnownSymbol ln, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, ToKVList rl recL, ToKVList rm recM, ToKVList rn recN, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k, HasKey ll kvs l, HasKey lm kvs m, HasKey ln kvs n) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM, ln := recN])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m, ln := n] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, SqlSelect l rl, SqlSelect m rm, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, KnownSymbol ll, KnownSymbol lm, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, ToKVList rl recL, ToKVList rm recM, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k, HasKey ll kvs l, HasKey lm kvs m) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL, lm := recM])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l, lm := m] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, SqlSelect l rl, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, KnownSymbol ll, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, ToKVList rl recL, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k, HasKey ll kvs l) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK, ll := recL])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k, ll := l] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, SqlSelect k rk, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, KnownSymbol lk, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, ToKVList rk recK, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j, HasKey lk kvs k) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ, lk := recK])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j, lk := k] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, SqlSelect j rj, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, KnownSymbol lj, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, ToKVList rj recJ, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i, HasKey lj kvs j) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI, lj := recJ])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i, lj := j] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, SqlSelect i ri, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, KnownSymbol li, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, ToKVList ri recI, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h, HasKey li kvs i) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH, li := recI])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h, li := i] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, SqlSelect h rh, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, KnownSymbol lh, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, ToKVList rh recH, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g, HasKey lh kvs h) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG, lh := recH])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g, lh := h] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, SqlSelect g rg, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, KnownSymbol lg, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, ToKVList rg recG, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f, HasKey lg kvs g) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF, lg := recG])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f, lg := g] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, SqlSelect f rf, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, KnownSymbol lf, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, ToKVList rf recF, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e, lf := f], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e, HasKey lf kvs f) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE, lf := recF])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e, lf := f] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, SqlSelect e re, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, KnownSymbol le, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, ToKVList re recE, kvs ~ '[la := a, lb := b, lc := c, ld := d, le := e], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d, HasKey le kvs e) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d, le := e]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d, le := e]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD, le := recE])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d, le := e] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, SqlSelect d rd, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, KnownSymbol ld, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, ToKVList rd recD, kvs ~ '[la := a, lb := b, lc := c, ld := d], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c, HasKey ld kvs d) => SqlSelect (KVList '[la := a, lb := b, lc := c, ld := d]) (KVList '[la := recA, lb := recB, lc := recC, ld := recD])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c, ld := d]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC, ld := recD])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c, ld := d] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, SqlSelect c rc, KnownSymbol la, KnownSymbol lb, KnownSymbol lc, ToKVList ra recA, ToKVList rb recB, ToKVList rc recC, kvs ~ '[la := a, lb := b, lc := c], HasKey la kvs a, HasKey lb kvs b, HasKey lc kvs c) => SqlSelect (KVList '[la := a, lb := b, lc := c]) (KVList '[la := recA, lb := recB, lc := recC])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b, lc := c] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b, lc := c]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB, lc := recC])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b, lc := c] -> (Builder, [PersistValue])

(SqlSelect a ra, SqlSelect b rb, KnownSymbol la, KnownSymbol lb, ToKVList ra recA, ToKVList rb recB, HasKey la '[la := a, lb := b] a, HasKey lb '[la := a, lb := b] b) => SqlSelect (KVList '[la := a, lb := b]) (KVList '[la := recA, lb := recB])

Methods

sqlSelectCols :: IdentInfo -> KVList '[la := a, lb := b] -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (KVList '[la := a, lb := b]) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '[la := recA, lb := recB])

sqlInsertInto :: IdentInfo -> KVList '[la := a, lb := b] -> (Builder, [PersistValue])

(SqlSelect a ra, ToKVList ra recA) => SqlSelect (SingleValue a) (KVList '["value" := recA])

Methods

sqlSelectCols :: IdentInfo -> SingleValue a -> (Builder, [PersistValue])

sqlSelectColCount :: Proxy (SingleValue a) -> Int

sqlSelectProcessRow :: [PersistValue] -> Either Text (KVList '["value" := recA])

sqlInsertInto :: IdentInfo -> SingleValue a -> (Builder, [PersistValue])