magnolia
magnolia
API
magnolia1
AutoDerivation
CallByNeed
CallByNeed
CaseClass
Param
Param
CaseClass
CaseClassDerivation
CommonDerivation
Derivation
Macro
Monadic
Monadic
given_Monadic_List
given_Monadic_Option
given_Monadic_Try
ProductDerivation
SealedTrait
SealedTrait
Subtype
SubtypeValue
SealedTraitDerivation
TypeInfo
magnolia
/
magnolia1
/
SealedTrait
/
SubtypeValue
SubtypeValue
magnolia1.SealedTrait$.SubtypeValue
class
SubtypeValue
[
Typeclass
[
_
],
Type
,
S
](
val
subtype
:
Subtype
[
Typeclass
,
Type
,
S
],
v
:
Type
)
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
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
val
typeInfo
:
TypeInfo
Exported from
Subtype
def
typeclass
:
Typeclass
[
SType
&
Type
]
Exported from
Subtype
Attributes
Returns:
the already-constructed typeclass instance for this subtype