dynamical-fsm
dynamical-fsm
API
dynamical
fsm
methods
mealy
product
tensor
run
Runner2
Runner2
moore
conversions
asMealy
asPolyMap
product
tensor
andThen
swap
polymap
asMealy
asMoore
asWiring
wiring
product
tensor
asPolyMap
types
Mealy
Mealy
Moore
Moore
Wiring
Wiring
seq
EOS
text
utf8
dynamical-fsm
/
dynamical
/
dynamical.fsm
/
Moore
Moore
dynamical.fsm.Moore
See the
Moore
companion trait
object
Moore
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Moore
.
type
Members list
Clear all
Value members
Concrete methods
def
apply
[
S
,
A
,
B
,
Y
](
i
:
S
,
r
:
S
=>
B
,
u
: (
S
,
A
)
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$2
]
~>
[
_
]
=>>
Interface
[
A
,
B
,
_$3
]]
def
apply
[
F
[
_
],
S
,
A
,
B
,
Y
](
i
:
S
,
r
:
S
=>
F
[
B
],
u
: (
S
,
A
)
=>
F
[
S
]):
Moore
[[
_
]
=>>
StoreF
[
F
,
S
,
_$7
]
~>
[
_
]
=>>
Interface
[
A
,
F
[
B
],
_$8
]]
def
apply
[
S
,
A1
,
B1
,
A2
,
B2
,
Y
](
i
:
S
,
r
:
S
=>
(
B1
,
B2
),
u
: (
S
,
Either
[
A1
,
A2
])
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$11
]
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$12
]
×
[
_
]
=>>
Interface
[
A2
,
B2
,
_$13
])]
def
apply
[
S
,
A1
,
B1
,
A2
,
B2
,
A3
,
B3
,
Y
](
i
:
S
,
r
:
S
=>
((
B1
,
B2
),
B3
),
u
: (
S
, (
Either
[
A1
,
A2
],
A3
))
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$17
]
~>
(([
_
]
=>>
Interface
[
A1
,
B1
,
_$18
]
×
[
_
]
=>>
Interface
[
A2
,
B2
,
_$19
])
⊗
[
_
]
=>>
Interface
[
A3
,
B3
,
_$20
])]
def
apply
[
S
,
A1
,
B1
,
A2
,
B2
,
A3
,
B3
,
Y
](
i
:
S
,
r
:
S
=>
(
B1
, (
B2
,
B3
)),
u
: (
S
,
Either
[
A1
, (
A2
,
A3
)])
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$25
]
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$26
]
×
([
_
]
=>>
Interface
[
A2
,
B2
,
_$27
]
⊗
[
_
]
=>>
Interface
[
A3
,
B3
,
_$28
]))]
def
apply
[
S
,
A1
,
B1
,
A2
,
B2
,
Y
](
i
:
S
,
r
: (
S
=>
B1
,
B1
=>
B2
),
u
: (
S
, (
A1
,
A2
))
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$33
]
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$34
]
◁
[
_
]
=>>
Interface
[
A2
,
B2
,
_$35
])]
def
apply
[
S
,
A1
,
B1
,
A2
,
B2
,
Y
](
i
:
S
,
r1
:
S
=>
B1
,
r2
:
S
=>
B2
,
u1
: (
S
,
A1
)
=>
S
,
u2
: (
S
,
A2
)
=>
S
):
Moore
[[
_
]
=>>
Store
[
S
,
_$39
]
~>
[
_
]
=>>
BiInterface
[
A1
,
B1
,
A2
,
B2
,
_$40
]]
In this article
Attributes
Members list
Value members
Concrete methods