Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.KVList.Esqueleto

Contents

Orphan instances

Description

Helper library for KVList to use in Esqueleto.

Synopsis

data SingleValue e
singleValue :: e -> SingleValue e
class ToKVList a kvls | kvls -> a, a -> kvls where
- toKVList :: a -> Either Text kvls

Documentation

data SingleValue e Source #

Instances

Instances details

(SqlSelect a ra, ToKVList ra recA) => SqlSelect (SingleValue a) (KVList '["value" := recA]) Source #
Instance details 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 Source #

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

Methods

toKVList :: a -> Either Text kvls Source #

Instances

Instances details

ToKVList a ls => ToKVList (Maybe a) (Maybe ls) Source #
Instance details Defined in Data.KVList.Esqueleto Methods toKVList :: Maybe a -> Either Text (Maybe ls) Source #

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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) Source #
Instance details 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]) #