util
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.
Module for implicit syntax useful in REPL session.
Collection of modules for typeclasses and other helpful bits.