dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.methods/dynamical.fsm.methods.polymap/asMealy

asMealy

dynamical.fsm.methods.polymap.asMealy
object asMealy

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
asMealy.type

Members list

Extensions

Extensions

extension [S, A, B, Y](p: PolyMap[[_] =>> Store[S, _$1], [_] =>> Interface[A, A => B, _$2], Y])
def asMealy(i: S): Mealy[[_] =>> Store[S, _$3] ~> [_] =>> Interface[A, A => B, _$4]]
extension [S, A, B, Y](p: [_] =>> Store[S, _$15] ~> [_] =>> Interface[A, B, _$16] ~> [_] =>> Interface[A, A => B, _$17][Y])
def asMealy(i: S): Mealy[[_] =>> Store[S, _$18] ~> [_] =>> Interface[A, B, _$19] ~> [_] =>> Interface[A, A => B, _$20]]
extension [S, A, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$36], [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$37], Y])
def asMealy(i: S)(using R: Runner2[[_] =>> Store[S, _$38] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$39], S, A1, B1, A2, B2]): Mealy[[_] =>> Store[S, _$40] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$41]]
Generated with