Comonoid

libretto.CoreDSL.Comonoid
See theComonoid companion trait
object Comonoid

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Comonoid.type

Members list

Type members

Classlikes

object comonoidNeed extends Comonoid[Need]

Attributes

Supertypes
trait Comonoid[Need]
trait Affine[Need]
trait Cosemigroup[Need]
class Object
trait Matchable
class Any
Show all
Self type
object comonoidOne extends Comonoid[One]

Attributes

Supertypes
trait Comonoid[One]
trait Affine[One]
trait Cosemigroup[One]
class Object
trait Matchable
class Any
Show all
Self type
object comonoidPing extends Comonoid[Ping]

Attributes

Supertypes
trait Comonoid[Ping]
trait Affine[Ping]
trait Cosemigroup[Ping]
class Object
trait Matchable
class Any
Show all
Self type
object comonoidPong extends Comonoid[Pong]

Attributes

Supertypes
trait Comonoid[Pong]
trait Affine[Pong]
trait Cosemigroup[Pong]
class Object
trait Matchable
class Any
Show all
Self type

Value members

Concrete methods

def apply[A](using ev: Comonoid[A]): Comonoid[A]

Givens

Givens

given comonoidOne: comonoidOne.type