spata
API
Generated with
spata/info.fingo.spata/info.fingo.spata.schema/NotPresent

NotPresent

info.fingo.spata.schema.NotPresent
See theNotPresent companion trait
object NotPresent

Givens for NotPresent.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
NotPresent.type

Members list

Type members

Classlikes

trait =!=[A, B]

Type inequalitiy.

Type inequalitiy.

Attributes

Supertypes
class Object
trait Matchable
class Any

Givens

Givens

given emptyNotPresent[K <: Key]: emptyNotPresent[K]

NotPresent witness for empty column list.

NotPresent witness for empty column list.

Type parameters

K

type of candidate column name

Attributes

Returns

NotPresent for empty schema

given neq[A, B]: neq[A, B]

Given for inequal types.

Given for inequal types.

Attributes

given neqContradiction1[A]: A =!= A

Given for equal types - due to duplication impossible to instantiate.

Given for equal types - due to duplication impossible to instantiate.

Attributes

given neqContradiction2[A]: A =!= A

Given for equal types - due to duplication impossible to instantiate.

Given for equal types - due to duplication impossible to instantiate.

Attributes

given recursiveNotPresent[K <: Key, KH <: Key, VH, T <: Tuple](using neq: K =!= KH, tailNP: NotPresent[K, T]): recursiveNotPresent[K, KH, VH, T]

Recursive NotPresent witness for tuple.

Recursive NotPresent witness for tuple.

Type parameters

K

type of candidate column name

KH

type of tuple head column name

T

tail of tuple of columns

VH

type of tuple head column value

Value parameters

neq

witnesses that column name type of tuple head differs from the candidate name type

tailNP

NotPresent witness for list tail

Attributes

Returns

NotPresent for tuple

Generated with