dataprism-common
DocsAPI
Generated with
dataprism-common/dataprism/dataprism.sql/SelectedType

SelectedType

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

Attributes

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
type Element
type NNA
type T = A

Value members

Abstract methods

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

Concrete methods

inline def forgetNNA: SelectedType[Codec, A]
Generated with