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 Objecttrait Matchableclass Any
- Known subtypes
Members list
Value members
Concrete methods
A superset of properties (Property
) occuring in the schema. For
serialization.
A superset of properties (Property
) occuring in the schema. For
serialization.
Attributes
Create an empty ACSet from this schema.
Create an empty ACSet from this schema.
Attributes
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
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
Returns all subschemas of the schemas
Returns all subschemas of the schemas
Attributes
Implicits
Implicits
Serialization of ACSets
s based on the schema
Serialization of ACSets
s based on the schema
Attributes
Serialization of Ob
s in the schema
Serialization of Ob
s in the schema
Attributes
Serialization of Part
s in the schema
Serialization of Part
s in the schema
Attributes
Serialization of PartType
s in the schema
Serialization of PartType
s in the schema
Attributes
Serialization of PartSet
s occuring in the schema. Note that this omits
the nextID
and rebuilds it from the sequence of ids.
Serialization of PartSet
s occuring in the schema. Note that this omits
the nextID
and rebuilds it from the sequence of ids.
Attributes
Serialization of PropMap
s in the schema, writing json objects for
Part
s and values for other properties.
Serialization of PropMap
s in the schema, writing json objects for
Part
s and values for other properties.
Attributes
Serialization of properties (Property
) in the schema
Serialization of properties (Property
) in the schema