Object

trait Object[B <: SafeBool[B]]

Mix into the companion object for the type.

class Object
trait Matchable
class Any
object Enabled.type
object Validity.type

Type members

Classlikes

object Values

Types

final type Values[+A] = Values[B, A]

Value members

Abstract methods

def negative: B & SafeBool[B]
def positive: B & SafeBool[B]

Concrete methods

final def exists(f: B => Boolean): Boolean
final def fold[A](a: A)(f: (A, B) => A): A
final def forall(f: B => Boolean): Boolean
final def mapReduce[X, Y](m: B => X)(r: (X, X) => Y): Y
final def memo[A](f: B => A): B => A
final def memoLazy[A](f: B => A): B => A

Implicits

Implicits

final implicit def equality: UnivEq[B]