libretto-core
API
Generated with
libretto-core/libretto/libretto.puro/PuroLib/Multiple/given_Monad_Multiple

given_Monad_Multiple

libretto.puro.PuroLib.Multiple.given_Monad_Multiple
object given_Monad_Multiple extends Monad[Multiple]

Attributes

Graph
Supertypes
trait Monad[dsl.-⚬, Multiple]
trait Functor[dsl.-⚬, Multiple]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def flatten[A]: Multiple[Multiple[A]] dsl.-⚬ Multiple[A]

Attributes

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

Attributes

Definition Classes
override def pure[A]: A dsl.-⚬ Multiple[A]

Attributes

Definition Classes

Inherited methods

def liftF[A, B](f: A dsl.-⚬ Multiple[B]): Multiple[A] dsl.-⚬ Multiple[B]

Attributes

Inherited from:
Monad
def ∘[G[_]](that: ContraFunctor[dsl.-⚬, G]): ContraFunctor[dsl.-⚬, [x] =>> Multiple[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[dsl.-⚬, G]): Functor[dsl.-⚬, [x] =>> Multiple[G[x]]]

Composition with another covariant functor.

Composition with another covariant functor.

Attributes

Inherited from:
Functor

Concrete fields

override val category: Category[dsl.-⚬]

Extensions

Inherited extensions

extension [A, B](f: A dsl.-⚬ Multiple[B])
def >=[C](g: B dsl.-⚬ Multiple[C]): A dsl.-⚬ Multiple[C]

Attributes

Inherited from:
Monad
Generated with