libretto-core
API
Generated with
libretto-core/libretto/CoreDSL/Comonoid

Comonoid

libretto.CoreDSL.Comonoid
See theComonoid companion object
trait Comonoid[A] extends Cosemigroup[A], Affine[A]

Attributes

Companion
object
Graph
Supertypes
trait Affine[A]
trait Cosemigroup[A]
class Object
trait Matchable
class Any
Known subtypes
object comonoidNeed.type
object comonoidOne.type
object comonoidPing.type
object comonoidPong.type

Members list

Value members

Abstract methods

def counit: A -⚬ One

Concrete methods

override def discard: A -⚬ One

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
Cosemigroup
def split: A -⚬ A |*| A

Attributes

Inherited from:
Cosemigroup
Generated with