TName

semagrams.acsets.Petris$.TName$
case object TName extends Attr with PValue[String]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait PValue[String]
trait Attr
trait Property
class Object
trait Matchable
class Any
Self type
TName.type

Members list

Concise view

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
type Value = T

The type of values of the attribute.

The type of values of the attribute.

Attributes

Inherited from:
PValue

Value members

Inherited methods

def canSet(p: Part, v: Any): Boolean

Check whether this has p in the domain, possibly nested within other parts.

Check whether this has p in the domain, possibly nested within other parts.

Attributes

Inherited from:
Attr
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 productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def readValue(sv: Value): Value

Read in a Value from a json value.

Read in a Value from a json value.

Attributes

Inherited from:
Property
def writeValue(v: Any): Value

Construct a json value from a Value.

Construct a json value from a Value.

Attributes

Inherited from:
Property

Concrete fields

val doms: Seq[PartType]

Like Hom, this can have multiple domains; we interpret this mathematically as a separate attribute for each domain, but this makes it easier to write down.

Like Hom, this can have multiple domains; we interpret this mathematically as a separate attribute for each domain, but this makes it easier to write down.

Attributes

Inherited fields

val rw: ReadWriter[Value]

A serializer for those values.

A serializer for those values.

Attributes

Inherited from:
PValue