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
/
AppendMonad
AppendMonad
net.scalax.simple.adt.SimpleCoProduct.AppendMonad
trait
AppendMonad
[
M
[
_
,
_
,
_
]]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Abstract methods
def
either
[
A
,
B
,
C
,
S
,
T
,
U
](
ma
:
Either
[
M
[
A
,
B
,
C
],
M
[
S
,
T
,
U
]]):
M
[
Either
[
A
,
S
],
Either
[
B
,
T
],
Either
[
C
,
U
]]
def
to
[
A
,
B
,
C
,
S
,
T
,
U
](
m1
:
M
[
A
,
B
,
C
])(
in1
:
A
=>
S
,
in2
:
B
=>
T
,
in3
:
C
=>
U
)(
in4
:
S
=>
A
,
in5
:
T
=>
B
,
in6
:
U
=>
C
):
M
[
S
,
T
,
U
]
def
zero
:
M
[
Unit
,
Unit
,
Unit
]
In this article
Attributes
Members list
Value members
Abstract methods