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

Contains

org.sigilaris.core.application.support.compiletime.Contains
See theContains companion trait
object Contains

Companion for Contains, providing head and tail derivation instances.

Attributes

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

Members list

Givens

Givens

given head[E, Tail <: Tuple]: Contains[E, E *: Tail]

The element is at the head of the tuple.

The element is at the head of the tuple.

Attributes

Source
Evidence.scala
given tail[E, H, Tail <: Tuple](using Contains[E, Tail]): Contains[E, H *: Tail]

The element is in the tail of the tuple.

The element is in the tail of the tuple.

Attributes

Source
Evidence.scala
Generated with