SubtypeValue

class SubtypeValue[Typeclass[_], Type, S](val subtype: Subtype[Typeclass, Type, S], v: Type)
class Object
trait Matchable
class Any

Value members

Concrete methods

def value: S & Type

Concrete fields

val subtype: Subtype[Typeclass, Type, S]

Exports

Defined exports

val annotations: IArray[Any]
Exported from Subtype
def cast: PartialFunction[Type, SType & Type]
Exported from Subtype
val inheritedAnnotations: IArray[Any]
Exported from Subtype
val typeAnnotations: IArray[Any]
Exported from Subtype
Exported from Subtype
def typeclass: Typeclass[SType & Type]
Exported from Subtype