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/DisjointSchemas

DisjointSchemas

org.sigilaris.core.application.module.provider.TablesProvider.DisjointSchemas
See theDisjointSchemas companion trait
object DisjointSchemas

Companion for DisjointSchemas, providing derivation instances.

Attributes

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

Members list

Givens

Givens

given consDisjoint[Name <: String, K, V, T1 <: Tuple, S2 <: Tuple](using notInS2: NotInSchema[Entry[Name, K, V], S2], tailDisjoint: DisjointSchemas[T1, S2]): DisjointSchemas[Entry[Name, K, V] *: T1, S2]

Attributes

Source
TablesProvider.scala
given emptyEmpty: DisjointSchemas[EmptyTuple, EmptyTuple]

Attributes

Source
TablesProvider.scala
given emptyLeft[S <: Tuple]: DisjointSchemas[EmptyTuple, S]

Attributes

Source
TablesProvider.scala
given emptyRight[S <: Tuple]: DisjointSchemas[S, EmptyTuple]

Attributes

Source
TablesProvider.scala
Generated with