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

NotNullType

dataprism.sql.NotNullType
case class NotNullType[Codec[_], A](codec: Codec[A], choice: NullabilityTypeChoice[Codec, A, 0]) extends SelectedType[Codec, A]

Attributes

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

Members list

Type members

Types

override type Dimension = 0

Attributes

Source
types.scala
override type Element = Nothing

Attributes

Source
types.scala
type NNA = A

Attributes

Source
types.scala

Inherited types

type T = A

Attributes

Inherited from:
SelectedType
Source
types.scala

Value members

Concrete methods

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

Attributes

Definition Classes
Source
types.scala

Inherited methods

inline def forgetNNA: SelectedType[Codec, 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