OT

semagrams.acsets.Petris$.OT$
case object OT extends Hom

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
Self type
OT.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 = Part

The type of values of the attribute.

The type of values of the attribute.

Attributes

Inherited from:
Hom

Value members

Inherited methods

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

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

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

Attributes

Inherited from:
Hom
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 codoms: Seq[PartType]

The possible codomains of this morphism

The possible codomains of this morphism

Attributes

val doms: Seq[PartType]

The possible domains of this morphism

The possible domains of this morphism

Attributes

Inherited fields

val rw: ReadWriter[Value]

Any instance of Property needs a serializer/deserializer.

Any instance of Property needs a serializer/deserializer.

This is a temporary hack that works in a specific case.

Attributes

Todo:

figure out nested acset serialization

Inherited from:
Hom