libretto-core
API
Generated with
libretto-core/libretto/CoreLib/CloseableCosemigroup/closeableCosemigroupDone

closeableCosemigroupDone

libretto.CoreLib.CloseableCosemigroup.closeableCosemigroupDone
object closeableCosemigroupDone extends CloseableCosemigroup[Done]

Attributes

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

Members list

Value members

Concrete methods

override def close: Done -⚬ Done

Attributes

Definition Classes
override def split: Done -⚬ Done |*| Done

Attributes

Definition Classes

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