shareableConnector

libretto.examples.libraryOfAlexandria.ConnectorModuleImpl.shareableConnector
object shareableConnector extends coreLib.CloseableCosemigroup[Connector]

Attributes

Graph
Supertypes
trait coreLib.CloseableCosemigroup[Connector]
trait coreLib.Closeable[Connector]
trait coreLib.dsl.Cosemigroup[Connector]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

override def close: Connector dsl.-⚬ Done

Attributes

Definition Classes
Closeable
override def split: Connector dsl.-⚬ (Connector dsl.|*| Connector)

Attributes

Definition Classes
Cosemigroup

Inherited methods

def law_coAssociativity: Equal[Connector CoreDSL.this.-⚬ (Connector CoreDSL.this.|*| Connector CoreDSL.this.|*| Connector)]

Attributes

Inherited from:
Cosemigroup
def law_leftCounit: Equal[Connector CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.RTerminus CoreLib.this.dsl.|*| Connector)]

Attributes

Inherited from:
CloseableCosemigroup
def law_rightCounit: Equal[Connector CoreLib.this.dsl.-⚬ (Connector CoreLib.this.dsl.|*| CoreLib.this.dsl.RTerminus)]

Attributes

Inherited from:
CloseableCosemigroup