simple-adt
simple-adt
API
net.scalax.simple.adt
impl
impl
TypeAdtAliasModelUnapplyGhdmzsk
utils
ApplyToFunc
ApplyToFunctionUtilInstance
FunctionApplyInstance
GenericUtil
GenericUtilInstance
SimpleHList
SimpleHListFromAdtNat
SimpleHListFromAdtNat
SimpleHListFromAdtNatImplicit1
SimpleHListPositive
SimpleHListZero
ADTPassedFunction
Adt
Adapter
Adapter
Context
Context
Status
NotFinished
NotFinished
Passed
Passed
Status
HListTypeAdtPositiveLower1
HListTypeAdtPositiveLower2
LowerLevelPoly
TypeAdtAlias
TypeAdtAliasModel
TypeAdtAliasModelUnapply
CoProduct1
CoProduct10
CoProduct11
CoProduct12
CoProduct13
CoProduct14
CoProduct15
CoProduct16
CoProduct17
CoProduct18
CoProduct19
CoProduct2
CoProduct20
CoProduct21
CoProduct22
CoProduct3
CoProduct4
CoProduct5
CoProduct6
CoProduct7
CoProduct8
CoProduct9
TypeAdtImplicitOptsPolyHigher
TypeAdtRuntimeApply
nat
AdtNat
AdtNatPositive
AdtNatZero
temp
ADTData
ADTData
ApplyFactory
ApplyFactory
IsFinishAndNothing
IsFinishAndNothing
ToGHDMZSK
DefaultAdtContext
ImplicitlyAdtContext
TypeAdtApply
TypeAdtApply
TypeAdtGetter
simple-adt
/
net.scalax.simple.adt
/
net.scalax.simple.adt.impl
/
TypeAdtAliasModelUnapply
/
CoProduct1
CoProduct1
net.scalax.simple.adt.impl.TypeAdtAliasModelUnapply.CoProduct1
object
CoProduct1
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
CoProduct1
.type
Members list
Clear all
Value members
Concrete methods
def
unapply
[
I1
,
S
<:
Status
](
data
:
ADTData
[
AdtNatPositive
[
I1
,
AdtNat
],
S
]):
Option
[
I1
]
In this article
Attributes
Members list
Value members
Concrete methods