semagrams
API
Generated with
semagrams/semagrams.acsets/ACSet

ACSet

semagrams.acsets.ACSet$
See theACSet companion class
object ACSet

This object contains the constructor method for ACSets and also a collection of wrappers around ACSet methods in the State monad that allow for a quasi-imperative API for modifying ACSets purely.

Attributes

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

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def addPart(p: Part, x: Ob, props: PropMap): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addPart(p: Part, x: Ob, init: ACSet): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addPart(p: Part, x: Ob): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addPart(x: Ob, props: PropMap): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addPart(x: Ob, init: ACSet): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addPart(x: Ob): State[ACSet, Part]

State wrapper around ACSet.addPart

State wrapper around ACSet.addPart

Attributes

def addParts(p: Part, x: Ob, props: Seq[PropMap]): State[ACSet, Seq[Part]]

State wrapper around ACSet.addParts

State wrapper around ACSet.addParts

Attributes

def apply(s: Schema): ACSet

Construct a new ACSet with schema s

Construct a new ACSet with schema s

Attributes

def apply(s: Schema, props: PropMap): ACSet

Construct a new ACSet with schema s and top-level parts props

Construct a new ACSet with schema s and top-level parts props

Attributes

def moveFront(p: Part): State[ACSet, Unit]

State wrapper around ACSet.moveFront

State wrapper around ACSet.moveFront

Attributes

def remPart(p: Part): State[ACSet, Unit]

State wrapper around ACSet.remPart

State wrapper around ACSet.remPart

Attributes

def remParts(ps: Seq[Part]): State[ACSet, Unit]

State wrapper around ACSet.remParts

State wrapper around ACSet.remParts

Attributes

def remSubpart(p: Part, f: Property): State[ACSet, Unit]

State wrapper around ACSet.remSubpart

State wrapper around ACSet.remSubpart

Attributes

def setSubpart(p: Part, f: Property, v: Value): State[ACSet, Unit]

State wrapper around ACSet.setSubpart

State wrapper around ACSet.setSubpart

Attributes

def subpartLens(f: Property, x: Part): Lens[ACSet, Value]

Returns a lens into the value of the property f for part x

Returns a lens into the value of the property f for part x

Attributes

Generated with