laws/algebra.laws/BooleanOps

BooleanOps

class BooleanOps[A](lhs: Boolean)(pp: Boolean => Pretty)
class Object
trait Matchable
class Any

Value members

Concrete methods

def ?&&(rhs: Boolean): Prop
def ?||(rhs: Boolean): Prop