Monad

libretto.lambda.util.Monad
See theMonad companion trait
object Monad

Attributes

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

Members list

Type members

Classlikes

object monadId extends Monad[[A] =>> A]

Attributes

Supertypes
trait Monad[[A] =>> A]
class Object
trait Matchable
class Any
Self type
monadId.type

Value members

Concrete methods

def apply[F[_]](using Monad[F]): Monad[F]
def deriveApplicative[F[_]](using F: Monad[F]): Applicative[F]

Givens

Givens

given monadEither[E]: monadEither[E]
given monadFuture(using ec: ExecutionContext): monadFuture
given monadId: monadId