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

Lookup

org.sigilaris.core.application.support.compiletime.Lookup
See theLookup companion trait
object Lookup

Companion for Lookup, providing head and tail derivation instances.

Attributes

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

Members list

Givens

Givens

given head[Name0 <: String, K0, V0, Tail <: Tuple]: Lookup[Entry[Name0, K0, V0] *: Tail, Name0, K0, V0]

Base case: the named table is at the head of the schema.

Base case: the named table is at the head of the schema.

Attributes

Source
Evidence.scala
given tail[Name0 <: String, K0, V0, H, Tail <: Tuple](using tailLookup: Lookup[Tail, Name0, K0, V0]): Lookup[H *: Tail, Name0, K0, V0]

Inductive case: the named table is in the tail of the schema.

Inductive case: the named table is in the tail of the schema.

Attributes

Source
Evidence.scala
Generated with