doobie.util.param
Derivations for Param, which disallow embedding. Each interpolated query argument corresponds with a type with a Meta instance, or an Option thereof.
Param
Meta
Option
Inductively we can cons a new Param onto the head of a Param of an HList.
HList
There is an empty Param for HNil.
HNil
Each Meta[A] gives rise to a Param[A].
Meta[A]
Param[A]
Each Meta[A] gives rise to a Param[Option[A]].
Param[Option[A]]
Derivations for
Param
, which disallow embedding. Each interpolated query argument corresponds with a type with aMeta
instance, or anOption
thereof.