edomata-docs/edomata.backend/CommandState/Redundant

Redundant

case object Redundant
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton

Value members

Inherited methods

def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
def productIterator: Iterator[Any]
Inherited from:
Product