SchWiringDiagram

semagrams.acsets.WiringDiagrams$.SchWiringDiagram$
case object SchWiringDiagram extends Schema

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Schema
class Object
trait Matchable
class Any
Self 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

Value members

Inherited 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

Inherited from:
Schema
def apply(): ACSet

Create an empty ACSet from this schema.

Create an empty ACSet from this schema.

Attributes

Inherited from:
Schema
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 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

Inherited from:
Schema
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
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

Inherited from:
Schema

Returns the subschema found by following the path in ty.

Returns the subschema found by following the path in ty.

Attributes

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

Returns all subschemas of the schemas

Returns all subschemas of the schemas

Attributes

Inherited from:
Schema

Concrete fields

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

Inherited fields

val props: Seq[Property]

Attributes

Inherited from:
Schema

Implicits

Inherited implicits

implicit def acsetRW: ReadWriter[ACSet]

Serialization of ACSetss based on the schema

Serialization of ACSetss based on the schema

Attributes

Inherited from:
Schema
implicit def obRW: ReadWriter[Ob]

Serialization of Obs in the schema

Serialization of Obs in the schema

Attributes

Inherited from:
Schema
implicit def partRW: ReadWriter[Part]

Serialization of Parts in the schema

Serialization of Parts in the schema

Attributes

Inherited from:
Schema
implicit def partTypeRW: ReadWriter[PartType]

Serialization of PartTypes in the schema

Serialization of PartTypes in the schema

Attributes

Inherited from:
Schema
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

Inherited from:
Schema
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

Inherited from:
Schema
implicit def propertyRW: ReadWriter[Property]

Serialization of properties (Property) in the schema

Serialization of properties (Property) in the schema

Attributes

Inherited from:
Schema
implicit def schemaRW: ReadWriter[Schema]

Serialization of Schemas occuring in the schema

Serialization of Schemas occuring in the schema

Attributes

Inherited from:
Schema