root
API
Generated with
root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.module/org.sigilaris.core.application.module.provider/TablesProvider/NotInSchema

NotInSchema

org.sigilaris.core.application.module.provider.TablesProvider.NotInSchema
See theNotInSchema companion trait
object NotInSchema

Companion for NotInSchema, providing derivation instances.

Attributes

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

Members list

Givens

Givens

given notInCons[N1 <: String, K1, V1, N2 <: String, K2, V2, Tail <: Tuple](using namesDiffer: DifferentNames[N1, N2], notInTail: NotInSchema[Entry[N1, K1, V1], Tail]): NotInSchema[Entry[N1, K1, V1], Entry[N2, K2, V2] *: Tail]

Attributes

Source
TablesProvider.scala
given notInEmpty[E <: Entry[_, _, _]]: NotInSchema[E, EmptyTuple]

Attributes

Source
TablesProvider.scala
Generated with