pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.operators/IsFiniteOps

IsFiniteOps

onera.pmlanalyzer.views.dependability.operators.IsFiniteOps
trait IsFiniteOps

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

implicit class hasName[T](x: T)(implicit ev: IsFinite[T])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def allOf[T](implicit ev: IsFinite[T]): Seq[T]
def allWithNone[T](implicit ev: IsFinite[T]): Seq[T]
def nameOf[T](implicit ev: IsFinite[T]): Symbol
def noneOf[T](implicit ev: IsFinite[T]): T

Implicits

Implicits

final implicit def hasName[T](x: T)(implicit ev: IsFinite[T]): hasName[T]
Generated with