SelectedType

dataprism.sql.SelectedType
sealed trait SelectedType[Codec[_], A]

Attributes

Source
types.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NotNullArrayType[Codec, Arr, A, DimensionE]
class NotNullType[Codec, A]
trait NullabilityTypeChoice[Codec, A, Dimension0]
class NullabilityTypeChoiceArr[Codec, Arr, A, DimensionE]
class NullabilityTypeChoiceNoArr[Codec, A]
class NullableArrayType[Codec, Arr, A, DimensionE]
class NullableType[Codec, A]
Show all
Self type
SelectedType[Codec, A]

Members list

Type members

Types

type Dimension <: Int

Attributes

Source
types.scala
type Element

Attributes

Source
types.scala
type NNA

Attributes

Source
types.scala
type T = A

Attributes

Source
types.scala

Value members

Abstract methods

Attributes

Source
types.scala
def codec: Codec[A]

Attributes

Source
types.scala
def elementType(using ev: (Dimension > 0) =:= true): SelectedType[Codec, Element] { type Dimension = -1 + Dimension; }

Attributes

Source
types.scala

Concrete methods

inline def forgetNNA: SelectedType[Codec, A]

Attributes

Source
types.scala