ReadPlatform

doobie.util.ReadPlatform
trait ReadPlatform

Attributes

Source
ReadPlatform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Read.type

Members list

Givens

Givens

given cons1[H, T <: Tuple](using H: => Read[Option[H]], T: => Read[Option[T]]): Read[Option[H *: T]]

Attributes

Source
ReadPlatform.scala
given cons2[H, T <: Tuple](using H: => Read[Option[H]], T: => Read[Option[T]]): Read[Option[Option[H] *: T]]

Attributes

Source
ReadPlatform.scala
given derived[P <: Product, A](using m: ProductOf[P], i: A =:= <none>, w: Read[A]): Read[P]

Attributes

Source
ReadPlatform.scala
given given_Read_*:[H, T <: Tuple](using H: Read[H], T: Read[T]): Read[H *: T]

Attributes

Source
ReadPlatform.scala
given given_Read_EmptyTuple: Read[EmptyTuple]

Attributes

Source
ReadPlatform.scala
given given_Read_Option[P <: Product, A](using m: ProductOf[P], i: A =:= <none>, w: Read[Option[A]]): Read[Option[P]]

Attributes

Source
ReadPlatform.scala
given roe: Read[Option[EmptyTuple]]

Attributes

Source
ReadPlatform.scala
given rou: Read[Option[Unit]]

Attributes

Source
ReadPlatform.scala