DataPrism
0.1.0
DocsAPI
Generated with
DataPrism/dataprism/dataprism.sql/NullabilityTypeChoiceArr

NullabilityTypeChoiceArr

dataprism.sql.NullabilityTypeChoiceArr
class NullabilityTypeChoiceArr[Codec[_], Arr[_], A, DimensionE <: Int](notNullCodec: Codec[Arr[A]], nullableCodec: Codec[Option[Arr[A]]], element: SelectedType[Codec, A] { type Dimension = DimensionE; }) extends NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE]

Attributes

Source
types.scala
Graph
Supertypes
trait NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE]
trait SelectedType[Codec, Arr[A]]
class Object
trait Matchable
class Any
Self type
NullabilityTypeChoiceArr[Codec, Arr, A, DimensionE]

Members list

Type members

Types

override type Element = A

Attributes

Source
types.scala

Inherited types

type Dimension = 1 + DimensionE

Attributes

Inherited from:
NullabilityTypeChoice
Source
types.scala
type NNA = Arr[A]

Attributes

Inherited from:
NullabilityTypeChoice
Source
types.scala
type T = Arr[A]

Attributes

Inherited from:
SelectedType
Source
types.scala

Value members

Concrete methods

override def elementType(using ev: ((1 + DimensionE) > 0) =:= true): SelectedType[Codec, A] { type Dimension = -1 + (1 + DimensionE); }

Attributes

Definition Classes
Source
types.scala

Inherited methods

def codec: Codec[Arr[A]]

Attributes

Inherited from:
NullabilityTypeChoice
Source
types.scala
inline def forgetNNA: SelectedType[Codec, Arr[A]]

Attributes

Inherited from:
SelectedType
Source
types.scala

Concrete fields

val notNull: NotNullArrayType[Codec, Arr, A, DimensionE]

Attributes

Source
types.scala
val nullable: NullableArrayType[Codec, Arr, A, DimensionE]

Attributes

Source
types.scala

Inherited fields

val choice: NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE]

Attributes

Inherited from:
NullabilityTypeChoice
Source
types.scala
Generated with