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

Maybe

libretto.CoreLib.Maybe$
object Maybe

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Maybe.type

Members list

Concise view

Value members

Concrete methods

def discard[A](f: A -⚬ One): Maybe[A] -⚬ One
def discard[A](implicit A: Comonoid[A]): Maybe[A] -⚬ One
def empty[A]: One -⚬ Maybe[A]
def getOrElse[A](f: One -⚬ A): Maybe[A] -⚬ A
def just[A]: A -⚬ Maybe[A]
def neglect[A](f: A -⚬ Done): Maybe[A] -⚬ Done
def switchWithL[A, B, R](caseNone: A -⚬ R, caseJust: A |*| B -⚬ R): A |*| Maybe[B] -⚬ R
def switchWithR[A, B, R](caseNone: B -⚬ R, caseJust: A |*| B -⚬ R): Maybe[A] |*| B -⚬ R
def toEither[A]: Maybe[A] -⚬ One |+| A

Givens

Givens

Extensions

Extensions

extension [A](ma: $[Maybe[A]])
def getOrElse(using pos: SourcePos)(ifEmpty: One -⚬ A): $[A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL