core
API
Generated with
core/org.hungerford.generic.schema.singleton/SingletonDeriver

SingletonDeriver

org.hungerford.generic.schema.singleton.SingletonDeriver$
See theSingletonDeriver companion trait
object SingletonDeriver

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T <: Singleton, O] = SingletonDeriver[T] { type Out = O; }

Givens

Givens

given mirrorDeriver[T <: Singleton](using mir: Of[T], ev: mir.type <:< Singleton, ev2: Sub[MirroredLabel, TypeName], voN: ValueOf[MirroredLabel], voT: ValueOf[MirroredMonoType]): Aux[T, SingletonShape[T, ASub]]
Generated with