libretto/libretto/CoreLib/Comonoid

Comonoid

trait Comonoid[A] extends Cosemigroup[A] with Affine[A]
trait Affine[A]
trait Cosemigroup[A]
class Object
trait Matchable
class Any

Value members

Methods

def counit: A -⚬ One
override def discard: A -⚬ One
Definition Classes

Inherited methods

def law_coAssociativity: Equal[A -⚬ A |*| A |*| A]
Inherited from
Cosemigroup
def split: A -⚬ A |*| A
Inherited from
Cosemigroup