semagrams.flatacsets

The old implementation of ACSets. Currently unused and undocumented, but might be used for serialization/Catlab compatibility in the future.

Attributes

Members list

Concise view

Type members

Classlikes

case class ACSet[S](schema: S, counter: Int, globalMap: PropMap, parts: Map[Ob, Seq[Part]], props: Map[Part, PropMap])(implicit evidence$1: IsSchema[S])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ACSet

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ACSet.type
trait ACSetOps[S]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait GraphOps[S]
object ACSetOps

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Attr extends Property

Attributes

Graph
Supertypes
trait Property
class Object
trait Matchable
class Any
Known subtypes
class DynAttr
class Weight[T]
object Concentration.type
object Rate.type
object SName.type
object TName.type
object Src.type
object Tgt.type
object boxTy.type
trait AttrWithDom extends Attr

Attributes

Graph
Supertypes
trait Attr
trait Property
class Object
trait Matchable
class Any
Known subtypes
class DynAttr
class Weight[T]
object Concentration.type
object Rate.type
object SName.type
object TName.type
object Src.type
object Tgt.type
object boxTy.type
case class BarePart(id: Int)

This is to make upickle use a array of arrays instead of a dict for Map[BarePart, X]

This is to make upickle use a array of arrays instead of a dict for Map[BarePart, X]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class BasicSchema(obs: Map[String, Ob], homsByString: Map[String, Hom], attrsByString: Map[String, Attr], homs: Map[Ob, Seq[Hom]], attrs: Map[Ob, Seq[Attr]], globals: Map[String, Global])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object DynACSet

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class DynAttr(name: String, dom: DynOb, codom: DynAttrType) extends AttrWithDom

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Attr
trait Property
class Object
trait Matchable
class Any
case class DynAttrType(name: String)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class DynHom(name: String, dom: DynOb, codom: DynOb) extends HomWithDom

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Hom
trait Property
class Object
trait Matchable
class Any
case class DynOb(name: String) extends Ob

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
case class DynSchema(obs: Seq[DynOb], allhoms: Seq[DynHom], attrtypes: Seq[DynAttrType], allattrs: Seq[DynAttr])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object DynSchema

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
trait Global extends Property

Attributes

Graph
Supertypes
trait Property
class Object
trait Matchable
class Any
Known subtypes
class diagTy[P]
object Graphs

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Graphs.type
trait Hom extends Property

Attributes

Graph
Supertypes
trait Property
class Object
trait Matchable
class Any
Known subtypes
object InParent.type
object OutParent.type
object Src.type
object Tgt.type
class DynHom
object Src.type
object Tgt.type
object IS.type
object IT.type
object OS.type
object OT.type
trait HomWithDom extends Hom

Attributes

Graph
Supertypes
trait Hom
trait Property
class Object
trait Matchable
class Any
Known subtypes
object InParent.type
object OutParent.type
object Src.type
object Tgt.type
class DynHom
object Src.type
object Tgt.type
object IS.type
object IT.type
object OS.type
object OT.type
trait IsSchema[S]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait IsStaticSchema[S] extends IsSchema[S]

Attributes

Graph
Supertypes
trait IsSchema[S]
class Object
trait Matchable
class Any
class MutableACSet[S](val schema: S, var counter: Int, var globals: PropMap, val parts: Map[Ob, Seq[Part]], val props: Map[Part, PropMap])(implicit evidence$1: IsSchema[S])

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Ob extends EntityType

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Box.type
object InPort.type
object OutPort.type
object Wire.type
class DynOb
object E.type
object V.type
object I.type
object O.type
object S.type
object T.type
object Box.type
object Wire.type
case class Part(id: Int, ob: Ob) extends Entity

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Entity
class Object
trait Matchable
class Any
object Petris

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Petris.type
trait Pointed[S]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
case class SerializableACSet(schema: Value, counter: Int, parts: Map[String, Seq[BarePart]], props: Map[BarePart, Map[String, Value]])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SchGraph.type
object SchLabelledPetri.type
object SchPetri.type
object SchWiringDiagram.type
case class VersionSpec(acsetSchema: String, catlab: String)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

Implicits

Implicits

implicit val beRW: ReadWriter[BarePart]
implicit def pointedForValueOf[T](implicit vo: ValueOf[T]): Pointed[T]
implicit val serializableACSetRW: ReadWriter[SerializableACSet]
implicit def ssiss[S <: StaticSchema](implicit p: ValueOf[S]): IsStaticSchema[S]

Static Schema Is Static Schema

Static Schema Is Static Schema

Attributes

Exports

Defined exports

final type Entity = Entity
Exported from semagrams
final type Property = Property
Exported from semagrams