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
/
dynamical.fsm.methods
/
dynamical.fsm.methods.moore
/
dynamical.fsm.methods.moore.product
/
tensor
tensor
dynamical.fsm.methods.moore.product.tensor
object
tensor
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
tensor
.
type
Members list
Clear all
Extensions
Extensions
extension
[
S1
,
S2
,
A1
,
B1
,
A2
,
B2
,
Y
](
m1
:
Moore
[[
_
]
=>>
Store
[
S1
,
_$1
]
~>
[
_
]
=>>
Interface
[
A1
,
B1
,
_$2
]])
def
⊗
(
m2
:
Moore
[[
_
]
=>>
Store
[
S2
,
_$3
]
~>
[
_
]
=>>
Interface
[
A2
,
B2
,
_$4
]]):
Moore
[([
_
]
=>>
Store
[
S1
,
_$5
]
⊗
[
_
]
=>>
Store
[
S2
,
_$6
])
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$7
]
⊗
[
_
]
=>>
Interface
[
A2
,
B2
,
_$8
])]
extension
[
S1
,
S2
,
S3
,
A1
,
B1
,
A2
,
B2
,
A3
,
B3
,
Y
](
m1
:
Moore
[([
_
]
=>>
Store
[
S1
,
_$25
]
⊗
[
_
]
=>>
Store
[
S2
,
_$26
])
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$27
]
⊗
[
_
]
=>>
Interface
[
A2
,
B2
,
_$28
])])
def
⊗
(
m2
:
Moore
[[
_
]
=>>
Store
[
S3
,
_$29
]
~>
[
_
]
=>>
Interface
[
A3
,
B3
,
_$30
]]):
Moore
[([
_
]
=>>
Store
[
S1
,
_$31
]
⊗
[
_
]
=>>
Store
[
S2
,
_$32
]
⊗
[
_
]
=>>
Store
[
S3
,
_$33
])
~>
([
_
]
=>>
Interface
[
A1
,
B1
,
_$34
]
⊗
[
_
]
=>>
Interface
[
A2
,
B2
,
_$35
]
⊗
[
_
]
=>>
Interface
[
A3
,
B3
,
_$36
])]
extension
[
S1
,
S2
,
A1
,
B1
,
A2
,
B2
,
A3
,
B3
,
A4
,
B4
,
Y
](
m1
:
Moore
[[
_
]
=>>
Store
[
S1
,
_$61
]
~>
[
_
]
=>>
BiInterface
[
A1
,
B1
,
A2
,
B2
,
_$62
]])
def
⊗
(
m2
:
Moore
[[
_
]
=>>
Store
[
S2
,
_$63
]
~>
[
_
]
=>>
BiInterface
[
A3
,
B3
,
A4
,
B4
,
_$64
]]):
Moore
[([
_
]
=>>
Store
[
S1
,
_$65
]
⊗
[
_
]
=>>
Store
[
S2
,
_$66
])
~>
([
_
]
=>>
BiInterface
[
A1
,
B1
,
A2
,
B2
,
_$67
]
⊗
[
_
]
=>>
BiInterface
[
A3
,
B3
,
A4
,
B4
,
_$68
])]
In this article
Attributes
Members list
Extensions
Extensions