alloy.proto.ProtoNumType
See theProtoNumType companion class
object ProtoNumType extends Enumeration[ProtoNumType], Companion[ProtoNumType]
Attributes
- Companion
- class
- Graph
-
- Supertypes
-
trait Sumtrait Mirrortrait Enumeration[ProtoNumType]trait Companion[ProtoNumType]trait Has[ProtoNumType]trait ShapeTag[ProtoNumType]trait HasIdclass Objecttrait Matchableclass AnyShow all
- Self type
-
ProtoNumType.type
Members list
Type members
Classlikes
case object FIXED extends ProtoNumType
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrorclass ProtoNumTypeclass Valuetrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
FIXED.type
case object FIXED_SIGNED extends ProtoNumType
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrorclass ProtoNumTypeclass Valuetrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
FIXED_SIGNED.type
case object SIGNED extends ProtoNumType
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrorclass ProtoNumTypeclass Valuetrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
SIGNED.type
case object UNSIGNED extends ProtoNumType
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrorclass ProtoNumTypeclass Valuetrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
UNSIGNED.type
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete fields
In this article