ToSuperGenerator

org.hungerford.generic.schema.coproduct.subtype.ToSuperGenerator$
See theToSuperGenerator companion trait

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, ST, TSType] = ToSuperGenerator[T, ST] { type TS = TSType; }

Givens

Givens

given given_ToSuperGenerator_T_ST[T, ST](using ev: ST <:< T): given_ToSuperGenerator_T_ST[T, ST]
given notSubtype[T, ST](using ev: NotGiven[ST <:< T]): notSubtype[T, ST]