Schema

semagrams.acsets.Schema
trait Schema

The schema for a nested acset.

The nested part comes in because anything that implements Ob has another schema attached to it.

Attributes

Todo:

What does this correspond to categorically?

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SchPetri.type
object SchEmpty.type
object SchPrimBox.type
object SchWiringDiagram.type

Members list

Concise view

Value members

Concrete methods

def allProps: Set[Property]

A superset of properties (Property) occuring in the schema. For serialization.

A superset of properties (Property) occuring in the schema. For serialization.

Attributes

def apply(): ACSet

Create an empty ACSet from this schema.

Create an empty ACSet from this schema.

Attributes

def homsInto(ty: PartType): Seq[(Seq[Ob], Hom)]

Returns all of the homs that go into the given part type Each hom is prefixed by a path of objects needed to get to that hom

Returns all of the homs that go into the given part type Each hom is prefixed by a path of objects needed to get to that hom

Attributes

def runtimeSerializer[A : ReadWriter](key: String, a: A): ReadWriter[(ACSet, A)]

Serializer that includes runtime information (e.g., window size)

Serializer that includes runtime information (e.g., window size)

Attributes

Returns the subschema found by following the path in ty.

Returns the subschema found by following the path in ty.

Attributes

def subschemas(schemas: Set[Schema]): Set[Schema]

Returns all subschemas of the schemas

Returns all subschemas of the schemas

Attributes

Abstract fields

val attrs: Seq[Attr]
val homs: Seq[Hom]
val obs: Seq[Ob]

Concrete fields

val props: Seq[Property]

Implicits

Implicits

implicit def acsetRW: ReadWriter[ACSet]

Serialization of ACSetss based on the schema

Serialization of ACSetss based on the schema

Attributes

implicit def obRW: ReadWriter[Ob]

Serialization of Obs in the schema

Serialization of Obs in the schema

Attributes

implicit def partRW: ReadWriter[Part]

Serialization of Parts in the schema

Serialization of Parts in the schema

Attributes

implicit def partTypeRW: ReadWriter[PartType]

Serialization of PartTypes in the schema

Serialization of PartTypes in the schema

Attributes

implicit def partsRW: ReadWriter[PartSet]

Serialization of PartSets occuring in the schema. Note that this omits the nextID and rebuilds it from the sequence of ids.

Serialization of PartSets occuring in the schema. Note that this omits the nextID and rebuilds it from the sequence of ids.

Attributes

implicit def propRW: ReadWriter[PropMap]

Serialization of PropMaps in the schema, writing json objects for Parts and values for other properties.

Serialization of PropMaps in the schema, writing json objects for Parts and values for other properties.

Attributes

implicit def propertyRW: ReadWriter[Property]

Serialization of properties (Property) in the schema

Serialization of properties (Property) in the schema

Attributes

implicit def schemaRW: ReadWriter[Schema]

Serialization of Schemas occuring in the schema

Serialization of Schemas occuring in the schema

Attributes