Convenience for introducing a symmetric Get
/Put
pair into implicit scope, and for deriving
new symmetric pairs.
Convenience for introducing a symmetric Get
/Put
pair into implicit scope, and for deriving
new symmetric pairs. It's important to understand that Meta
should never be demanded by user
methods; instead demand both Get
and Put
. The reason for this is that while Meta
implies
Get
and Put
, the presence of both Get
and Put
does *not* imply Meta
.
Module of constructors and instances for Meta
.
Module defining a type for analyzing the type alignment of prepared statements.
Module of additional combinators for ApplicativeError
, specific to SQLException
.
Module of additional functions for Foldable
.
Module defining the Fragment
data type.
Module of Fragment
constructors.
Module defining the type of exceptions representing unmet expectations.
Module defining the type of exceptions representing unmet expectations. These typically indicate a problem with the schema, with type mapping, with driver compliance, and so on. The intent is that they be as fine-grained as reasonable for diagnostic purposes, but it is not expected that the application should be able to handle them in any meaningful way.
Module for a constructor of modules of IO operations for effectful monads.
A module of types and instances for logged statements.
Module defining the Param
typeclass.
Module for source positions.
Some functions for pretty-printing.
Module defining queries parameterized by input and output types.
Additional functions for manipulating Stream
values.
Common utilities for query testing
Module defining updates parameterized by input type.
Module for implicit syntax useful in REPL session.
Collection of modules for typeclasses and other helpful bits.