Type computed by the sql
interpolator, parameterized over the composite of the types of
interpolated arguments.
Typeclass for a flat vector of Atom
s, analogous to Composite
but with no nesting or
generalization to product types.
Typeclass for a flat vector of Atom
s, analogous to Composite
but with no nesting or
generalization to product types. Each element expands to some nonzero number of ?
placeholders in the SQL literal, and the param vector itself has a Composite
instance.
String interpolator for SQL literals.
Derivations for Param
, which disallow embedding.
Derivations for Param
, which disallow embedding. Each interpolated query argument corresponds
with either an Atom
, or with a singleton instance for a NonEmptyList
of some atomic type,
derived with the many
constructor.
Module defining the
sql
string interpolator.