simple-adt
simple-adt
API
net.scalax.simple.adt
impl
impl
ApplyImplicitInstance
TypeAdtAliasModelUnapplyGhdmzsk
ADTPassedFunction
Adt
Adapter
Adapter
Context
Context
Status
NotFinished
NotFinished
Passed
Passed
Status
HListTypeAdtPositiveLower1
HListTypeAdtPositiveLower2
LowerLevelPoly
TypeAdtAlias
TypeAdtAliasModel
TypeAdtAliasModelUnapply
Option1
Option10
Option11
Option12
Option13
Option14
Option15
Option16
Option17
Option18
Option19
Option2
Option20
Option21
Option22
Option3
Option4
Option5
Option6
Option7
Option8
Option9
TypeAdtImplicitOptsPolyHigher
TypeAdtRuntimeApply
temp
ADTData
ADTData
AdtNat
AdtNatPositive
AdtNatZero
ApplyFactory
ApplyFactory
IsFinishAndNothing
IsFinishAndNothing
ToGHDMZSK
DefaultAdtContext
ImplicitlyAdtContext
TypeAdtApply
TypeAdtApply
TypeAdtGetter
simple-adt
/
net.scalax.simple.adt
/
net.scalax.simple.adt.temp
/
IsFinishAndNothing
IsFinishAndNothing
net.scalax.simple.adt.temp.IsFinishAndNothing
See the
IsFinishAndNothing
companion object
final
class
IsFinishAndNothing
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Concrete methods
def
default
[
T
](
t
:
=>
T
):
T
def
matchErrorAndNothing
:
Nothing
Concrete fields
lazy
val
isEnded
:
IsFinishAndNothing
In this article
Attributes
Members list
Value members
Concrete methods
Concrete fields