SpecificationLevel

scala.cli.commands.SpecificationLevel
See theSpecificationLevel companion trait

Specification levels in the context of Scala CLI runner specification. For more refer to SIP-46

Levels are also used to mark if given option, directive or command is part of stable API.

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case object EXPERIMENTAL extends SpecificationLevel

Annotated option, directive or command will not be a part of the Scala Runner Specification and will not be avialiable in the new scala command.

Annotated option, directive or command will not be a part of the Scala Runner Specification and will not be avialiable in the new scala command.

Experimental option are not guarantee to be supported in upcoming versions of Scala CLI and all new options should be experimental.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
case object IMPLEMENTATION extends SpecificationLevel

Marks option, directive or command that is an implementation details of Scala CLI and will not be a part of any Scala Runner Specification. Annotated thing will be included in a new scala command.

Marks option, directive or command that is an implementation details of Scala CLI and will not be a part of any Scala Runner Specification. Annotated thing will be included in a new scala command.

This also means that that thing should be sable and we need to support it.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
case object MUST extends SpecificationLevel

Marks option, directive or command that MUST be a part of any Scala Runner Specification (in RFC meaning). Annotated thing will be included in a new scala command.

Marks option, directive or command that MUST be a part of any Scala Runner Specification (in RFC meaning). Annotated thing will be included in a new scala command.

This also means that that thing should be sable and we need to support it.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
MUST.type
case object RESTRICTED extends SpecificationLevel

Annotated option, directive or command will not be a part of the Scala Runner Specification and will not be avialiable in the new scala command.

Annotated option, directive or command will not be a part of the Scala Runner Specification and will not be avialiable in the new scala command.

This also means that that thing should be sable and we need to support it.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
RESTRICTED.type
case object SHOULD extends SpecificationLevel

Marks option, directive or command that SHOULD be a part of any Scala Runner Specification (in RFC meaning). Annotated thing will be included in a new scala command.

Marks option, directive or command that SHOULD be a part of any Scala Runner Specification (in RFC meaning). Annotated thing will be included in a new scala command.

This also means that that thing should be sable and we need to support it.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
SHOULD.type

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete fields