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

Bool

libretto.CoreLib.Bool$
object Bool

Attributes

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

Members list

Concise view

Value members

Concrete methods

def ifThenElse[A, B, C](ifTrue: Done |*| A -⚬ B, ifFalse: Done |*| A -⚬ C): Bool |*| A -⚬ B |+| C
def switch[R](caseTrue: Done -⚬ R, caseFalse: Done -⚬ R): Bool -⚬ R
def switchWithL[A, R](caseTrue: A |*| Done -⚬ R, caseFalse: A |*| Done -⚬ R): A |*| Bool -⚬ R
def switchWithR[A, R](caseTrue: Done |*| A -⚬ R, caseFalse: Done |*| A -⚬ R): Bool |*| A -⚬ R

Concrete fields

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL