root
API
Generated with
root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.assembly/TablesAccessOps

TablesAccessOps

org.sigilaris.core.assembly.TablesAccessOps
object TablesAccessOps

Utilities for deriving and using schema evidence without manual summon chains.

Provides convenient methods for:

These helpers reduce boilerplate when working with type-level schema constraints.

Attributes

See also
Source
TablesAccessOps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

transparent inline def deriveLookup[Schema <: Tuple, Name <: String, K, V]: Lookup[Schema, Name, K, V]

Derive org.sigilaris.core.application.support.compiletime.Lookup evidence without repeating summoning boilerplate.

Derive org.sigilaris.core.application.support.compiletime.Lookup evidence without repeating summoning boilerplate.

Type parameters

K

the expected key type

Name

the entry name to look up

Schema

the schema tuple to search

V

the expected value type

Attributes

Returns

a org.sigilaris.core.application.support.compiletime.Lookup witness for the specified entry

Source
TablesAccessOps.scala
transparent inline def deriveRequires[Needs <: Tuple, Schema <: Tuple]: Requires[Needs, Schema]

Derive org.sigilaris.core.application.support.compiletime.Requires evidence without repeating summoning boilerplate.

Derive org.sigilaris.core.application.support.compiletime.Requires evidence without repeating summoning boilerplate.

Type parameters

Needs

the tuple of entries that a module requires

Schema

the schema tuple that must satisfy those requirements

Attributes

Returns

a org.sigilaris.core.application.support.compiletime.Requires witness proving Schema covers Needs

Source
TablesAccessOps.scala

Extensions

Extensions

extension [F[_], Schema <: Tuple](provider: TablesProvider[F, Schema])
transparent inline def providedTable[Name <: String, K, V](using lookup: Lookup[Schema, Name, K, V]): StateTable[F] { type Name = Name; type K = K; type V = V; }

Retrieve a specific table from this provider using implicit org.sigilaris.core.application.support.compiletime.Lookup evidence.

Retrieve a specific table from this provider using implicit org.sigilaris.core.application.support.compiletime.Lookup evidence.

Type parameters

K

the key type

Name

the entry name to look up

V

the value type

Attributes

Returns

the table instance corresponding to the named entry

Source
TablesAccessOps.scala
Generated with