Servant.DB.PostgreSQL.Variadic

Documentation

newtype Variadic a

Constructors

Variadic

Fields

• unVariadic :: PGArray a

Instances

Functor Variadic

Methods

fmap :: (a -> b) -> Variadic a -> Variadic b

(<$) :: a -> Variadic b -> Variadic a

Eq a => Eq (Variadic a)

Methods

(==) :: Variadic a -> Variadic a -> Bool

(/=) :: Variadic a -> Variadic a -> Bool

Ord a => Ord (Variadic a)

Methods

compare :: Variadic a -> Variadic a -> Ordering

(<) :: Variadic a -> Variadic a -> Bool

(<=) :: Variadic a -> Variadic a -> Bool

(>) :: Variadic a -> Variadic a -> Bool

(>=) :: Variadic a -> Variadic a -> Bool

max :: Variadic a -> Variadic a -> Variadic a

min :: Variadic a -> Variadic a -> Variadic a

Read a => Read (Variadic a)

Methods

readsPrec :: Int -> ReadS (Variadic a)

readList :: ReadS [Variadic a]

readPrec :: ReadPrec (Variadic a)

readListPrec :: ReadPrec [Variadic a]

Show a => Show (Variadic a)

Methods

showsPrec :: Int -> Variadic a -> ShowS

show :: Variadic a -> String

showList :: [Variadic a] -> ShowS

(ToField a, HasDB api m) => HasDB ((:>) * * (ArgPos (Variadic a)) api) m

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:

>>> SELECT * FROM mleast(VARIADIC ?) AS t;

Associated Types

type DB ((:>) * * (ArgPos (Variadic a)) api) (m :: * -> *) :: *

Methods

deriveDBWithCtx :: Proxy * ((* :> *) (ArgPos (Variadic a)) api) -> Proxy (* -> *) m -> QueryContext ToField -> DB ((* :> *) (ArgPos (Variadic a)) api) m

(KnownSymbol n, ToField a, HasDB api m) => HasDB ((:>) * * (ArgNamed n (Variadic a)) api) m

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:

>>> SELECT * FROM mleast(VARIADIC "arr" => ?) AS t;

Associated Types

type DB ((:>) * * (ArgNamed n (Variadic a)) api) (m :: * -> *) :: *

Methods

deriveDBWithCtx :: Proxy * ((* :> *) (ArgNamed n (Variadic a)) api) -> Proxy (* -> *) m -> QueryContext ToField -> DB ((* :> *) (ArgNamed n (Variadic a)) api) m

type DB ((:>) * * (ArgPos (Variadic a)) api) m

type DB ((:>) * * (ArgPos (Variadic a)) api) m = Variadic a -> DB api m

type DB ((:>) * * (ArgNamed n (Variadic a)) api) m

type DB ((:>) * * (ArgNamed n (Variadic a)) api) m = Variadic a -> DB api m

newtype PGArray a :: * -> *

Wrap a list for use as a PostgreSQL array.

Constructors

PGArray

Fields

• fromPGArray :: [a]

Instances

Functor PGArray

Methods

fmap :: (a -> b) -> PGArray a -> PGArray b

(<$) :: a -> PGArray b -> PGArray a

Eq a => Eq (PGArray a)

Methods

(==) :: PGArray a -> PGArray a -> Bool

(/=) :: PGArray a -> PGArray a -> Bool

Ord a => Ord (PGArray a)

Methods

compare :: PGArray a -> PGArray a -> Ordering

(<) :: PGArray a -> PGArray a -> Bool

(<=) :: PGArray a -> PGArray a -> Bool

(>) :: PGArray a -> PGArray a -> Bool

(>=) :: PGArray a -> PGArray a -> Bool

max :: PGArray a -> PGArray a -> PGArray a

min :: PGArray a -> PGArray a -> PGArray a

Read a => Read (PGArray a)

Methods

readsPrec :: Int -> ReadS (PGArray a)

readList :: ReadS [PGArray a]

readPrec :: ReadPrec (PGArray a)

readListPrec :: ReadPrec [PGArray a]

Show a => Show (PGArray a)

Methods

showsPrec :: Int -> PGArray a -> ShowS

show :: PGArray a -> String

showList :: [PGArray a] -> ShowS

(FromField a, Typeable * a) => FromField (PGArray a)

any postgresql array whose elements are compatible with type a

Methods

fromField :: FieldParser (PGArray a)

ToField a => ToField (PGArray a)

Methods

toField :: PGArray a -> Action