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

NullabilityTypeChoiceNoArr

dataprism.sql.NullabilityTypeChoiceNoArr
class NullabilityTypeChoiceNoArr[Codec[_], A](notNullCodec: Codec[A], nullableCodec: Codec[Option[A]]) extends NullabilityTypeChoice[Codec, A, 0]

Attributes

Source
types.scala
Graph
Supertypes
trait NullabilityTypeChoice[Codec, A, 0]
trait SelectedType[Codec, A]
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

override type Element = Nothing

Attributes

Source
types.scala

Inherited types

type Dimension = 0

Attributes

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

Attributes

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

Attributes

Inherited from:
SelectedType
Source
types.scala

Value members

Concrete methods

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

Attributes

Definition Classes
Source
types.scala
def imap[B, NewElement](f: A => B)(g: B => A)(using NotGiven[B <:< Option[_]], Invariant[Codec]): NullabilityTypeChoiceNoArr[Codec, B]

Attributes

Source
types.scala

Inherited methods

def codec: Codec[A]

Attributes

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

Attributes

Inherited from:
SelectedType
Source
types.scala

Concrete fields

val notNull: NotNullType[Codec, A]

Attributes

Source
types.scala
val nullable: NullableType[Codec, A]

Attributes

Source
types.scala

Inherited fields

val choice: NullabilityTypeChoice[Codec, A, 0]

Attributes

Inherited from:
NullabilityTypeChoice
Source
types.scala
Generated with