esmeta
API
Generated with
esmeta/esmeta/CmdTyCheck

CmdTyCheck

esmeta.CmdTyCheck
case object CmdTyCheck extends Command[Unit]

tycheck command

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Command[Unit]
class Object
trait Matchable
class Any
Show all
Self type
CmdTyCheck.type

Members list

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton

Value members

Inherited methods

def >>[R](phase: Phase[Unit, R]): PhaseList[R]

append a phase to create a new phase list

append a phase to create a new phase list

Attributes

Inherited from:
Command
def apply(args: String): Unit

run command with command-line arguments

run command with command-line arguments

Attributes

Inherited from:
Command
def apply(args: List[String]): Unit

run command with command-line arguments

run command with command-line arguments

Attributes

Inherited from:
Command
def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Attributes

Inherited from:
Singleton
def needTarget: Boolean

need target

need target

Attributes

Inherited from:
Command
def phases: Vector[Phase[_, _]]

a list of phases without specific IO types

a list of phases without specific IO types

Attributes

Inherited from:
Command
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def showResult(res: Unit): Unit

show the final result

show the final result

Attributes

Inherited from:
Command
def targetName: String

target name

target name

Attributes

Inherited from:
Command
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Command -> Any
Inherited from:
Command

Concrete fields

val examples: List[String]

help message

help message

Attributes

val help: String

help message

help message

Attributes

Inherited fields

val name: String

Attributes

Inherited from:
Command
val pList: PhaseList[Unit]

Attributes

Inherited from:
Command
Generated with