magnolia
magnolia
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
class
SubtypeValue
[
Typeclass
[
_
],
Type
,
S
](
val
subtype:
Subtype
[
Typeclass
,
Type
,
S
],
v:
Type
)
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Exports
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