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

Requires

org.sigilaris.core.application.support.compiletime.Requires
See theRequires companion trait
object Requires

Companion for Requires, providing base and inductive derivation instances.

Attributes

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

Members list

Givens

Givens

given consRequires[H, T <: Tuple, Schema <: Tuple](using headIn: Contains[H, Schema], tailRequires: Requires[T, Schema]): Requires[H *: T, Schema]

Inductive case: if head H is in Schema and tail T is satisfied, then H *: T is satisfied.

Inductive case: if head H is in Schema and tail T is satisfied, then H *: T is satisfied.

Attributes

Source
Evidence.scala
given emptyRequires[Schema <: Tuple]: Requires[EmptyTuple, Schema]

EmptyTuple requires nothing from any schema.

EmptyTuple requires nothing from any schema.

Attributes

Source
Evidence.scala
Generated with