HomWithDom

semagrams.flatacsets.HomWithDom
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

Members list

Concise view

Type members

Inherited types

type Value = Part

The type of values of the attribute.

The type of values of the attribute.

Attributes

Inherited from:
Hom

Value members

Inherited methods

def readValue(sv: Value): Value

Read in a Value from a json value.

Read in a Value from a json value.

Attributes

Inherited from:
Property
def writeValue(v: Any): Value

Construct a json value from a Value.

Construct a json value from a Value.

Attributes

Inherited from:
Property

Abstract fields

val dom: Ob

Inherited fields

val codom: Ob

Attributes

Inherited from:
Hom
val rw: ReadWriter[Value]

A serializer for those values.

A serializer for those values.

Attributes

Inherited from:
Hom