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

NotNullArrayType

dataprism.sql.NotNullArrayType
case class NotNullArrayType[Codec[_], Arr[_], A, DimensionE <: Int](codec: Codec[Arr[A]], choice: NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE], element: SelectedType[Codec, A] { type Dimension = DimensionE; }) extends SelectedType[Codec, Arr[A]]

Attributes

Source
types.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SelectedType[Codec, Arr[A]]
class Object
trait Matchable
class Any
Show all
Self type
NotNullArrayType[Codec, Arr, A, DimensionE]

Members list

Type members

Types

type Dimension = 1 + DimensionE

Attributes

Source
types.scala
type Element = A

Attributes

Source
types.scala
type NNA = Arr[A]

Attributes

Source
types.scala

Inherited types

type T = Arr[A]

Attributes

Inherited from:
SelectedType
Source
types.scala

Value members

Concrete methods

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

Attributes

Source
types.scala

Inherited methods

inline def forgetNNA: SelectedType[Codec, Arr[A]]

Attributes

Inherited from:
SelectedType
Source
types.scala
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with