libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreDSL/Comonoid

Comonoid

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

Attributes

Companion:
object
Graph
Supertypes
trait Affine[A]
trait Cosemigroup[A]
class Object
trait Matchable
class Any

Members list

Concise view

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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL