Mermaid

polynomial.mermaid.Mermaid
See theMermaid companion trait
object Mermaid

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Mermaid.type

Members list

Givens

Givens

given mealy[S, A, B](using S: ClassTag[S], A: ClassTag[A], B: ClassTag[B]): Mermaid[[_] =>> PolyMap[[_] =>> Store[S, _$8], [_] =>> Monomial[A, A => B, _$9], _$10]]
given moore[S, A, B](using S: ClassTag[S], A: ClassTag[A], B: ClassTag[B]): Mermaid[[_] =>> PolyMap[[_] =>> Store[S, _$2], [_] =>> Monomial[A, B, _$3], _$4]]