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
/
SimpleCoProduct
/
Appender
Appender
net.scalax.simple.adt.SimpleCoProduct.Appender
trait
Appender
[
F
[
_
[
_
]]]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Abstract methods
def
toHList
[
M1
[
_
,
_
,
_
],
M2
[
_
],
M3
[
_
],
M4
[
_
]](
monad
:
AppendMonad
[
M1
])(
func
:
TypeGen
[
M1
,
M2
,
M3
,
M4
]):
M1
[
F
[
M2
],
F
[
M3
],
F
[
M4
]]
In this article
Attributes
Members list
Value members
Abstract methods