root
API
Generated with
root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.support/org.sigilaris.core.application.support.compiletime/NameNotInSchema

NameNotInSchema

org.sigilaris.core.application.support.compiletime.NameNotInSchema
See theNameNotInSchema companion trait
object NameNotInSchema

Companion for NameNotInSchema, providing derivation instances.

Attributes

Companion
trait
Source
Evidence.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Givens

Givens

given cons[Name <: String, OtherName <: String, K, V, Tail <: Tuple](using namesDifferent: DifferentNames[Name, OtherName], notInTail: NameNotInSchema[Name, Tail]): NameNotInSchema[Name, Entry[OtherName, K, V] *: Tail]

If the head name is different and tail doesn't contain the name, then the name is not in the schema.

If the head name is different and tail doesn't contain the name, then the name is not in the schema.

We use DifferentNames to ensure the name doesn't match the head, and recursively check the tail.

Attributes

Source
Evidence.scala
given empty[Name <: String]: NameNotInSchema[Name, EmptyTuple]

EmptyTuple does not contain any name.

EmptyTuple does not contain any name.

Attributes

Source
Evidence.scala
Generated with