Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Variadic a = Variadic {
- unVariadic :: PGArray a
- newtype PGArray a :: * -> * = PGArray {
- fromPGArray :: [a]
Documentation
Variadic | |
|
Functor Variadic Source # | |
Eq a => Eq (Variadic a) Source # | |
Ord a => Ord (Variadic a) Source # | |
Read a => Read (Variadic a) Source # | |
Show a => Show (Variadic a) Source # | |
(ToField a, HasDB api m) => HasDB ((:>) * * (ArgPos (Variadic a)) api) m Source # | Deriving call to DB procedure with positional variadic arguments type API = ArgPos (Variadic Int) :> Procedure "mleast" (Only Int) data MyMonad m a -- Your application monad with connection pool and logger instance HasPostgres m instance MonadLogger m dbMleast :: Variadic Int -> MyMonad (Only Int) dbMleast = deriveDB (Proxy :: Proxy API) (Proxy :: Proxy MyMonad) Upper example will derive the following SQL call:
|
(KnownSymbol n, ToField a, HasDB api m) => HasDB ((:>) * * (ArgNamed n (Variadic a)) api) m Source # | Deriving call to DB procedure with named variadic arguments type API = ArgNamed "arr" (Variadic Int) :> Procedure "mleast" (Only Int) data MyMonad m a -- Your application monad with connection pool and logger instance HasPostgres m instance MonadLogger m dbMleast :: Variadic Int -> MyMonad (Only Int) dbMleast = deriveDB (Proxy :: Proxy API) (Proxy :: Proxy MyMonad) Upper example will derive the following SQL call:
|
type DB ((:>) * * (ArgPos (Variadic a)) api) m Source # | |
type DB ((:>) * * (ArgNamed n (Variadic a)) api) m Source # | |
Wrap a list for use as a PostgreSQL array.
PGArray | |
|