PartType

semagrams.acsets.PartType
See thePartType companion object
case class PartType(path: Seq[Ob]) extends EntityType

The type of a part in a nested acset is a sequence of objects, going down through the nested schemas.

So PartType(Seq()) is the type of the root acset part, and PartType(Seq(Box,InPort)) refers to the type of input ports on boxes.

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def -(that: PartType): PartType

Return p if this == that.extend(p), else error

Return p if this == that.extend(p), else error

Attributes

def <(that: PartType): Boolean

Returns if that an extension of this?

Returns if that an extension of this?

Attributes

def >(that: PartType): Boolean

Returns if this an extension of that?

Returns if this an extension of that?

Attributes

def diffOption(that: PartType): Option[PartType]

Return Some(p) if this == that.extend(p), else None

Return Some(p) if this == that.extend(p), else None

Attributes

def extend(x: Ob): PartType

Add an object to the end of the PartType

Add an object to the end of the PartType

Attributes

def head: Ob

The first object in the PartType

The first object in the PartType

Attributes

The initial segment of the PartType

The initial segment of the PartType

Attributes

def last: Ob

The last object in the PartType

The last object in the PartType

Attributes

The PartType relative to the first object

The PartType relative to the first object

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product