Path

morphir.ir.Path
object Path

Generated based on IR.Path

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Path.type

Members list

Type members

Types

type Path = List[Name]

Value members

Concrete methods

def _toString(nameToString: Name => String)(sep: String)(path: Path): String
def fromList(names: List[Name]): Path
def fromString(string: String): Path
def isPrefixOf(path: Path)(prefix: Path): Bool
def toList(names: Path): List[Name]