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
/
NatFunc
NatFunc
net.scalax.simple.adt.implemention.NatFunc$
See the
NatFunc
companion trait
object
NatFunc
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
NatFunc
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
empty
[
D
,
T
<:
NatFunc
](
tail
:
T
):
NatFuncPositive
[
D
,
T
]
def
success
[
D
,
T
<:
NatFunc
](
t
:
D
,
tail
:
T
):
NatFuncPositive
[
D
,
T
]
def
successValue
[
D
,
T
<:
NatFunc
](
t
:
D
):
NatFuncPositive
[
D
,
T
]
Concrete fields
val
zero
:
NatFuncZero