simple-ghdmzsk
simple-ghdmzsk
API
net.scalax.simple
adt
nat
AdtNat
AdtNatPositive
AdtNatZero
SimpleCoProduct
AppendMonad
Appender
TypeGen
SimpleCoProductImpl
HListFuncMapGeneric
ghdmzsk
ghdmzsk
ghdmzsk
ghdmzskPrefix
ghdmzskPrefixImpl
ghdmzskProperties1
simple-ghdmzsk
/
net.scalax.simple
/
net.scalax.simple.adt
/
net.scalax.simple.adt.nat
/
AdtNatPositive
AdtNatPositive
net.scalax.simple.adt.nat.AdtNatPositive
trait
AdtNatPositive
[
+
Head
,
+
T
<:
AdtNat
]
extends
AdtNat
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
AdtNat
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Abstract methods
def
data
:
Either
[
Head
,
T
]
In this article
Attributes
Members list
Value members
Abstract methods