semagrams
API
Generated with
semagrams/semagrams.acsets/Petris/T

T

semagrams.acsets.Petris$.T$
case object T extends Ob

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Ob
class Object
trait Matchable
class Any
Self type
T.type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton

Value members

Inherited methods

def asDom(): Seq[PartType]

This object promoted to type for the domain/codomain of a morphism

This object promoted to type for the domain/codomain of a morphism

Attributes

Inherited from:
Ob
def extend(x: Ob): PartType

Attributes

Inherited from:
Ob
def fromProduct(p: Product): MirroredMonoType

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
def partType: PartType

Attributes

Inherited from:
Ob
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Inherited fields

lazy val schema: Schema

The subschema for the subacsets on parts of this type.

The subschema for the subacsets on parts of this type.

The value is lazy in case an object is included in its own schema.

Attributes

Inherited from:
Ob
Generated with