alloy.proto.ReservedFieldsDefinition
See theReservedFieldsDefinition companion trait
object ReservedFieldsDefinition extends Companion[ReservedFieldsDefinition]
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait Sumtrait Mirrortrait Has[ReservedFieldsDefinition]trait ShapeTag[ReservedFieldsDefinition]trait HasIdclass Objecttrait Matchableclass AnyShow all
- Self type
Members list
Type members
Classlikes
final case class NameCase(name: String) extends ReservedFieldsDefinition
Attributes
- Companion
- object
- Supertypes
-
trait ReservedFieldsDefinitiontrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object NameCase
final case class NumberCase(number: Int) extends ReservedFieldsDefinition
Attributes
- Companion
- object
- Supertypes
-
trait ReservedFieldsDefinitiontrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object NumberCase
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
NumberCase.type
final case class RangeCase(range: Range) extends ReservedFieldsDefinition
Attributes
- Companion
- object
- Supertypes
-
trait ReservedFieldsDefinitiontrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object RangeCase
object Visitor
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 methods
In this article