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

shareableConnector

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

Attributes

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

Members list

Value members

Concrete methods

override def close: Connector -⚬ Done

Attributes

Definition Classes
Closeable
override def split: Connector -⚬ Connector |*| Connector

Attributes

Definition Classes
Cosemigroup

Inherited methods

def law_coAssociativity: Equal[A -⚬ A |*| A |*| A]

Attributes

Inherited from:
Cosemigroup
def law_leftCounit: Equal[A -⚬ RTerminus |*| A]

Attributes

Inherited from:
CloseableCosemigroup
def law_rightCounit: Equal[A -⚬ A |*| RTerminus]

Attributes

Inherited from:
CloseableCosemigroup
Generated with