libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Unlimited/given_Comonad_Unlimited

given_Comonad_Unlimited

libretto.CoreLib.Unlimited.given_Comonad_Unlimited
object given_Comonad_Unlimited extends Comonad[Unlimited]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def duplicate[A]: Unlimited[A] -⚬ Unlimited[Unlimited[A]]

Attributes

Definition Classes
override def extract[A]: Unlimited[A] -⚬ A

Attributes

Definition Classes
override def lift[A, B](f: A -⚬ B): Unlimited[A] -⚬ Unlimited[B]

Attributes

Definition Classes

Inherited methods

def ∘[G[_]](that: ContraFunctor[-⚬, G]): ContraFunctor[->, [x] =>> F[G[x]]]

Composition with a contravariant functor. Results in a contravariant functor.

Composition with a contravariant functor. Results in a contravariant functor.

Attributes

Inherited from:
Functor
def ∘[G[_]](that: Functor[-⚬, G]): Functor[->, [x] =>> F[G[x]]]

Composition with another covariant functor.

Composition with another covariant functor.

Attributes

Inherited from:
Functor

Concrete fields

override val category: Category[-⚬]
Generated with