simple-adt
simple-adt
API
net.scalax.simple.adt
DefaultAdtContext
FoldListAppender
ImplicitlyAdtContext
TypeAdtApply
TypeAdtApply
TypeAdtGetter
TypeAdtGetter
VarSetting
VarSetting
net.scalax.simple.adt.impl
AdapterContext
Adt
Adapter
Adapter
Context
Context
Status
Failed
Passed
Status
AdtAliasAbs
FetchAdtApply
FetchAdtApply
FoldApplyInstance
FoldOptApplyInstance
HListTypeAdtPositiveLower1
HListTypeAdtPositiveLower2
InnerApply
LowerLevelPoly
TypeAdtAlias
TypeAdtAlias
TypeAdtAliasModel
TypeAdtAliasModelUnapply
Option1
Option10
Option11
Option12
Option13
Option14
Option15
Option16
Option17
Option18
Option19
Option2
Option20
Option21
Option22
Option23
Option24
Option25
Option26
Option27
Option28
Option29
Option3
Option30
Option4
Option5
Option6
Option7
Option8
Option9
TypeAdtImplicitOptsPolyHigher
TypeAdtRuntimeApply
TypeAdtRuntimeApply
simple-adt
/
net.scalax.simple.adt.impl
/
LowerLevelPoly
LowerLevelPoly
net.scalax.simple.adt.impl.LowerLevelPoly
trait
LowerLevelPoly
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
trait
HListTypeAdtPositiveLower2
trait
HListTypeAdtPositiveLower1
trait
TypeAdtImplicitOptsPolyHigher
object
TypeAdtApply
.type
Clear all
Members list
Concise view
Implicits
Implicits
implicit
def
adtFailedResult
[
I
]:
Aux
[
I
,
NatFuncZero
,
Failed
]