Elem

ldbc.dsl.codec.Decoder.Elem
See theElem companion trait
object Elem

Attributes

Companion
trait
Source
Decoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Elem.type

Members list

Type members

Classlikes

object given_Functor_Elem extends Functor[Elem]

Attributes

Source
Decoder.scala
Supertypes
trait Functor[Elem]
trait Invariant[Elem]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type

Value members

Concrete methods

def apply[T](decodeLabel: ResultSet => String => T, decodeIndex: ResultSet => Int => T): Elem[T]

Attributes

Source
Decoder.scala
def mapping[A, B](f: A => B)(using decoder: Elem[A]): Elem[B]

A method to convert the specified Scala type to an arbitrary type so that it can be handled by Decoder.

A method to convert the specified Scala type to an arbitrary type so that it can be handled by Decoder.

Type parameters

A

The Scala type to be converted from.

B

The Scala type to be converted to.

Value parameters

decoder

Decoder to retrieve the DataType matching the type A information from the ResultSet.

f

Function to convert from type A to B.

Attributes

Source
Decoder.scala

Givens

Givens

Attributes

Source
Decoder.scala
given given_Elem_BigInt(using decoder: Elem[String]): Elem[BigInt]

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala
given given_Elem_LocalDate: Elem[LocalDate]

Attributes

Source
Decoder.scala
given given_Elem_LocalDateTime: Elem[LocalDateTime]

Attributes

Source
Decoder.scala
given given_Elem_LocalTime: Elem[LocalTime]

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala
given given_Elem_Option[A](using decoder: Elem[A]): given_Elem_Option[A]

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala

Attributes

Source
Decoder.scala
given given_Elem_Year(using decoder: Elem[Int]): Elem[Year]

Attributes

Source
Decoder.scala
given given_Elem_YearMonth(using decoder: Elem[String]): Elem[YearMonth]

Attributes

Source
Decoder.scala