libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Multiple/given_Monad_Multiple

given_Monad_Multiple

libretto.CoreLib.Multiple.given_Monad_Multiple
object given_Monad_Multiple extends Monad[Multiple]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited methods

def liftF[A, B](f: A -⚬ Multiple[B]): F[A] -> F[B]

Attributes

Inherited from:
Monad
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[-⚬]

Extensions

Inherited extensions

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

Attributes

Inherited from:
Monad
Generated with