Requires

org.sigilaris.core.application.support.compiletime.Requires
See theRequires companion object
trait Requires[Needs <: Tuple, Schema <: Tuple]

Evidence that all entries in Needs are present in Schema.

This typeclass proves at compile-time that a subset relationship holds: every table required by a transaction (Needs) must exist in the module's schema (Schema).

Type parameters

Needs

the required tables (typically from Tx#Reads or Tx#Writes)

Schema

the available tables in the module

Attributes

Companion
object
Source
Evidence.scala
Graph
Supertypes
class Object
trait Matchable
class Any
In this article