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
/
FoldContext
FoldContext
net.scalax.simple.adt.implemention.FoldContext
See the
FoldContext
companion object
trait
FoldContext
[
+
Result
]
Attributes
Companion:
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Value members
Abstract methods
def
option
:
Option
[
Result
]
def
overrideOnce
[
D
,
U
>:
Result
](
d
:
DataInstance
[
D
])(
func
:
D
=>
U
):
FoldContext
[
U
]