simple-adt-implemention
simple-adt-implemention
API
net.scalax.simple.adt.implemention
AdtNumber
NumberA
NumberB
DataInstance
FoldContext
FoldContext
IsFinishAndNothing
IsFinishAndNothing
NatFunc
NatFunc
NatFuncPositive
NatFuncZero
NatFuncZero
Test
simple-adt-implemention
/
net.scalax.simple.adt.implemention
/
DataInstance
DataInstance
net.scalax.simple.adt.implemention.DataInstance
trait
DataInstance
[
Data
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
class
NatFuncPositive
[
Data
,
T
]
class
NatFuncZero
Clear all
Members list
Concise view
Value members
Abstract methods
def
dataInstance
:
Option
[
Data
]
def
isDefined
:
Boolean