catlab

semagrams.acsets.catlab$
object catlab

A catlab-compatible implementation of Schema.

Used for apps like category of elements display, where we have to accept an arbitrary acset from Catlab.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
catlab.type

Members list

Concise view

Type members

Classlikes

case class Attr(name: String, dom: String, codom: String)

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Hom(name: String, dom: String, codom: String)

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Schema(version: Version, obs: Seq[Ob], homs: Seq[Hom], attrtypes: Seq[AttrType], attrs: Seq[Attr])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Version(acsetSchema: String, catlab: String)

Attributes

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

Types

type ACSet = Map[String, Seq[Map[String, Value]]]

Givens

Givens

given given_ReadWriter_Attr: ReadWriter[Attr]
given given_ReadWriter_Hom: ReadWriter[Hom]
given given_ReadWriter_Ob: ReadWriter[Ob]
given given_ReadWriter_Schema: ReadWriter[Schema]