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

PMaybe

libretto.CoreLib.PMaybe$
object PMaybe

Attributes

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

Members list

Concise view

Value members

Concrete methods

def empty[A]: Done -⚬ PMaybe[A]
def getOrElse[A](f: Done -⚬ A): PMaybe[A] -⚬ A
def just[A]: A -⚬ PMaybe[A]
def lift[A, B](f: A -⚬ B): PMaybe[A] -⚬ PMaybe[B]
def neglect[A](f: A -⚬ Done): PMaybe[A] -⚬ Done
def neglect[A](implicit A: PComonoid[A]): PMaybe[A] -⚬ Done
def switch[A, R](caseNone: Done -⚬ R, caseSome: A -⚬ R): PMaybe[A] -⚬ R
def switchWithL[A, B, R](caseNone: A |*| Done -⚬ R, caseSome: A |*| B -⚬ R): A |*| PMaybe[B] -⚬ R
def switchWithR[A, B, R](caseNone: Done |*| B -⚬ R, caseSome: A |*| B -⚬ R): PMaybe[A] |*| B -⚬ R
def toEither[A]: PMaybe[A] -⚬ Done |+| A
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL