semagrams.acsets.Petris$.IS$
case object IS extends Hom Attributes
- Graph
- Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
- Self type
Members list
Concise view
Type members
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Mirror
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The type of values of the attribute.
The type of values of the attribute.
Attributes
- Inherited from:
- Hom
Value members
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
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
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Read in a Value from a json value.
Read in a Value from a json value.
Attributes
- Inherited from:
- Property
Construct a json value from a Value.
Construct a json value from a Value.
Attributes
- Inherited from:
- Property
The possible codomains of this morphism
The possible codomains of this morphism
Attributes
The possible domains of this morphism
The possible domains of this morphism
Attributes
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