libretto-examples
API
Generated with
libretto-examples/libretto.examples/libretto.examples.libraryOfAlexandria/ConnectorModuleImpl/shareableConnector

shareableConnector

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

Attributes

Graph
Supertypes
trait puroLib.CloseableCosemigroup[Connector]
trait puroLib.Closeable[Connector]
trait puroLib.dsl.Cosemigroup[Connector]
trait Cosemigroup[puroLib.dsl.-⚬, puroLib.dsl.|*|, 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

override def cat: SemigroupalCategory[Puro.this.-⚬, Puro.this.|*|]

Attributes

Definition Classes
Cosemigroup -> Cosemigroup
Inherited from:
Cosemigroup
def law_coAssociativity: Equal[Connector puroLib.dsl.-⚬ (Connector puroLib.dsl.|*| Connector puroLib.dsl.|*| Connector)]

Attributes

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

Attributes

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

Attributes

Inherited from:
CloseableCosemigroup
Generated with