Bool

libretto.puro.PuroLib.Bool
object Bool

Attributes

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

Members list

Value members

Concrete methods

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

Concrete fields

val constFalse: dsl.Done dsl.-⚬ Bool
val constTrue: dsl.Done dsl.-⚬ Bool