core
API
Generated with
core/org.hungerford.generic.schema.types/TypeNames

TypeNames

org.hungerford.generic.schema.types.TypeNames$
See theTypeNames companion trait
object TypeNames

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

object empty extends TypeNames[EmptyTuple]

Attributes

Graph
Supertypes
trait TypeNames[EmptyTuple]
class Object
trait Matchable
class Any
Self type
empty.type

Givens

Givens

given empty: empty.type
given tup[Head, Tail <: Tuple](using mir: Of[Head], hLab: ValueOf[MirroredLabel], next: TypeNames[Tail]): tup[Head, Tail]
Generated with