semagrams
API
Generated with
semagrams/semagrams.acsets/Attr

Attr

semagrams.acsets.Attr
trait Attr extends Property

A trait marking attributes in a Schema

Unlike in Julia ACSets, we do not have AttrTypes. Rather, attributes have their associated scala type given by Property.Value.

Attributes

Graph
Supertypes
trait Property
class Object
trait Matchable
class Any
Known subtypes
object SName.type
object TName.type
object Program.type

Members list

Concise view

Type members

Inherited types

type Value

The type of values of the attribute.

The type of values of the attribute.

Attributes

Inherited from:
Property

Value members

Concrete 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 methods

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

Abstract 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:
Property
Generated with