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

Comonad

libretto.Comonad
trait Comonad[->[_, _], F[_]] extends Functor[->, F]

Witnesses that F is a comonad in the category ->.

Attributes

Graph
Supertypes
trait Functor[->, F]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def duplicate[A]: F[A] -> F[F[A]]
def extract[A]: F[A] -> A

Inherited methods

def lift[A, B](f: A -> B): F[A] -> F[B]

Attributes

Inherited from:
Functor
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

Inherited fields

val category: Category[->]

Attributes

Inherited from:
Functor
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL