object TypeCheckedTripleEquals extends TypeCheckedTripleEquals
Companion object to trait TypeCheckedTripleEquals
that facilitates the importing of TypeCheckedTripleEquals
members as
an alternative to mixing it in. One use case is to import TypeCheckedTripleEquals
members so you can use
them in the Scala interpreter:
$ scala -classpath scalatest.jar Welcome to Scala version 2.10.0 Type in expressions to have them evaluated. Type :help for more information. scala> import org.scalactic._ import org.scalactic._ scala> import TypeCheckedTripleEquals._ import TypeCheckedTripleEquals._ scala> 1 + 1 === 2 res0: Boolean = true
- Alphabetic
- By Inheritance
- TypeCheckedTripleEquals
- TypeCheckedTripleEquals
- LowPriorityTypeCheckedConstraint
- TripleEqualsSupport
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- class CheckingEqualizer[L] extends AnyRef
Class used via an implicit conversion to enable two objects to be compared with
===
and!==
with aBoolean
result and an enforced type constraint between two object types.Class used via an implicit conversion to enable two objects to be compared with
===
and!==
with aBoolean
result and an enforced type constraint between two object types. For example:assert(a === b) assert(c !== d)
You can also check numeric values against another with a tolerance. Here are some examples:
assert(a === (2.0 +- 0.1)) assert(c !== (2.0 +- 0.1))
- Definition Classes
- TripleEqualsSupport
- class Equalizer[L] extends AnyRef
Class used via an implicit conversion to enable any two objects to be compared with
===
and!==
with aBoolean
result and no enforced type constraint between two object types.Class used via an implicit conversion to enable any two objects to be compared with
===
and!==
with aBoolean
result and no enforced type constraint between two object types. For example:assert(a === b) assert(c !== d)
You can also check numeric values against another with a tolerance. Here are some examples:
assert(a === (2.0 +- 0.1)) assert(c !== (2.0 +- 0.1))
- Definition Classes
- TripleEqualsSupport
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
Returns a
TripleEqualsInvocationOnSpread[T]
, given anSpread[T]
, to facilitate the “<left> should !== (<pivot> +- <tolerance>)
” syntax ofMatchers
.Returns a
TripleEqualsInvocationOnSpread[T]
, given anSpread[T]
, to facilitate the “<left> should !== (<pivot> +- <tolerance>)
” syntax ofMatchers
.- right
the
Spread[T]
against which to compare the left-hand value- returns
a
TripleEqualsInvocationOnSpread
wrapping the passedSpread[T]
value, withexpectingEqual
set tofalse
.
- Definition Classes
- TripleEqualsSupport
- def !==(right: Null): TripleEqualsInvocation[Null]
Returns a
TripleEqualsInvocation[Null]
, given anull
reference, to facilitate the “<left> should !== null
” syntax ofMatchers
.Returns a
TripleEqualsInvocation[Null]
, given anull
reference, to facilitate the “<left> should !== null
” syntax ofMatchers
.- right
a null reference
- returns
a
TripleEqualsInvocation
wrapping the passednull
value, withexpectingEqual
set tofalse
.
- Definition Classes
- TripleEqualsSupport
- def !==[T](right: T): TripleEqualsInvocation[T]
Returns a
TripleEqualsInvocation[T]
, given an object of typeT
, to facilitate the “<left> should !== <right>
” syntax ofMatchers
.Returns a
TripleEqualsInvocation[T]
, given an object of typeT
, to facilitate the “<left> should !== <right>
” syntax ofMatchers
.- right
the right-hand side value for an equality assertion
- returns
a
TripleEqualsInvocation
wrapping the passed right value, withexpectingEqual
set tofalse
.
- Definition Classes
- TripleEqualsSupport
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]
Returns a
TripleEqualsInvocationOnSpread[T]
, given anSpread[T]
, to facilitate the “<left> should === (<pivot> +- <tolerance>)
” syntax ofMatchers
.Returns a
TripleEqualsInvocationOnSpread[T]
, given anSpread[T]
, to facilitate the “<left> should === (<pivot> +- <tolerance>)
” syntax ofMatchers
.- right
the
Spread[T]
against which to compare the left-hand value- returns
a
TripleEqualsInvocationOnSpread
wrapping the passedSpread[T]
value, withexpectingEqual
set totrue
.
- Definition Classes
- TripleEqualsSupport
- def ===(right: Null): TripleEqualsInvocation[Null]
Returns a
TripleEqualsInvocation[Null]
, given anull
reference, to facilitate the “<left> should === null
” syntax ofMatchers
.Returns a
TripleEqualsInvocation[Null]
, given anull
reference, to facilitate the “<left> should === null
” syntax ofMatchers
.- right
a null reference
- returns
a
TripleEqualsInvocation
wrapping the passednull
value, withexpectingEqual
set totrue
.
- Definition Classes
- TripleEqualsSupport
- def ===[T](right: T): TripleEqualsInvocation[T]
Returns a
TripleEqualsInvocation[T]
, given an object of typeT
, to facilitate the “<left> should === <right>
” syntax ofMatchers
.Returns a
TripleEqualsInvocation[T]
, given an object of typeT
, to facilitate the “<left> should === <right>
” syntax ofMatchers
.- right
the right-hand side value for an equality assertion
- returns
a
TripleEqualsInvocation
wrapping the passed right value, withexpectingEqual
set totrue
.
- Definition Classes
- TripleEqualsSupport
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) => A): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
is implicitly convertible toA
, given an implicitEquivalence[A]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
is implicitly convertible toA
, given an implicitEquivalence[A]
.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[A]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
ConversionCheckedTripleEquals
) and overriden as non-implicit by the other subtraits in this package.- equivalenceOfA
an
Equivalence[A]
type class to which theConstraint.areEqual
method will delegate to determine equality.- cnv
an implicit conversion from
B
to A- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[A]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- implicit def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
Provides a
A CanEqual B
for any two typesA
andB
, enforcing the type constraint thatA
must be a subtype ofB
, given an explicitEquivalence[B]
.Provides a
A CanEqual B
for any two typesA
andB
, enforcing the type constraint thatA
must be a subtype ofB
, given an explicitEquivalence[B]
.This method is used to enable the
Explicitly
DSL forTypeCheckedTripleEquals
by requiring an explicitEquivalance[B]
, but taking an implicit function that provides evidence thatA
is a subtype of B.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[B]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
LowPriorityTypeCheckedConstraint
(extended byTypeCheckedTripleEquals
), and overriden as non-implicit by the other subtraits in this package.- equivalenceOfB
an
Equivalence[B]
type class to which theConstraint.areEqual
method will delegate to determine equality.- ev
evidence that
A
is a subype of B- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[B]
.
- Definition Classes
- LowPriorityTypeCheckedConstraint → TripleEqualsSupport
- def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) => B): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatA
is implicitly convertible toB
, given an explicitEquivalence[B]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatA
is implicitly convertible toB
, given an explicitEquivalence[B]
.This method is used to enable the
Explicitly
DSL forConversionCheckedTripleEquals
by requiring an explicitEquivalance[B]
, but taking an implicit function that converts fromA
to B.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[B]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
LowPriorityConversionCheckedConstraint
(extended byConversionCheckedTripleEquals
), and overriden as non-implicit by the other subtraits in this package.- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[B]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- implicit def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
must be a subtype ofA
, given an explicitEquivalence[A]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
must be a subtype ofA
, given an explicitEquivalence[A]
.This method is used to enable the
Explicitly
DSL forTypeCheckedTripleEquals
by requiring an explicitEquivalance[B]
, but taking an implicit function that provides evidence thatA
is a subtype of B. For example, underTypeCheckedTripleEquals
, this method (as an implicit method), would be used to compile this statement:def closeEnoughTo1(num: Double): Boolean = (num === 1.0)(decided by forgivingEquality)
The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[A]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
TypeCheckedTripleEquals
) and overriden as non-implicit by the other subtraits in this package.- ev
evidence that
B
is a subype of A- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[A]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) => A): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
is implicitly convertible toA
, given an explicitEquivalence[A]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
is implicitly convertible toA
, given an explicitEquivalence[A]
.This method is used to enable the
Explicitly
DSL forConversionCheckedTripleEquals
by requiring an explicitEquivalance[A]
, but taking an implicit function that converts fromB
to A. For example, underConversionCheckedTripleEquals
, this method (as an implicit method), would be used to compile this statement:def closeEnoughTo1(num: Double): Boolean = (num === 1.0)(decided by forgivingEquality)
The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[A]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
ConversionCheckedTripleEquals
) and overriden as non-implicit by the other subtraits in this package.- equivalenceOfA
an
Equivalence[A]
type class to which theConstraint.areEqual
method will delegate to determine equality.- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[A]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- implicit def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
Converts to an
CheckingEqualizer
that provides===
and!==
operators that result inBoolean
and enforce a type constraint.Converts to an
CheckingEqualizer
that provides===
and!==
operators that result inBoolean
and enforce a type constraint.This method is overridden and made implicit by subtraits
TypeCheckedTripleEquals
andConversionCheckedTripleEquals
, and overriden as non-implicit by the other subtraits in this package.- left
the object whose type to convert to
CheckingEqualizer
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- Exceptions thrown
NullPointerException
ifleft
isnull
.
- def convertToEqualizer[T](left: T): Equalizer[T]
Converts to an
Equalizer
that provides===
and!==
operators that result inBoolean
and enforce no type constraint.Converts to an
Equalizer
that provides===
and!==
operators that result inBoolean
and enforce no type constraint.This method is overridden and made implicit by subtrait
TripleEquals
and overriden as non-implicit by the other subtraits in this package.- left
the object whose type to convert to
Equalizer
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- Exceptions thrown
NullPointerException
ifleft
isnull
.
- def defaultEquality[A]: Equality[A]
Returns an
Equality[A]
for any typeA
that determines equality by first calling.deep
on anyArray
(on either the left or right side), then comparing the resulting objects with==
.Returns an
Equality[A]
for any typeA
that determines equality by first calling.deep
on anyArray
(on either the left or right side), then comparing the resulting objects with==
.- returns
a default
Equality
for typeA
- Definition Classes
- TripleEqualsSupport
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) => B): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatA
is implicitly convertible toB
, given an implicitEquivalence[B]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatA
is implicitly convertible toB
, given an implicitEquivalence[B]
.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[B]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
LowPriorityConversionCheckedConstraint
(extended byConversionCheckedTripleEquals
), and overriden as non-implicit by the other subtraits in this package.- cnv
an implicit conversion from
A
to B- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[B]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- implicit def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]
Provides an
A CanEqual B
for any two typesA
andB
, enforcing the type constraint thatA
must be a subtype ofB
, given an implicitEquivalence[B]
.Provides an
A CanEqual B
for any two typesA
andB
, enforcing the type constraint thatA
must be a subtype ofB
, given an implicitEquivalence[B]
.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[A]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
LowPriorityTypeCheckedConstraint
(extended byTypeCheckedTripleEquals
), and overriden as non-implicit by the other subtraits in this package.- equivalenceOfB
an
Equivalence[B]
type class to which theConstraint.areEqual
method will delegate to determine equality.- ev
evidence that
A
is a subype of B- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[B]
.
- Definition Classes
- LowPriorityTypeCheckedConstraint → TripleEqualsSupport
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- implicit def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
must be a subtype ofA
, given an implicitEquivalence[A]
.Provides an
A CanEqual B
instance for any two typesA
andB
, enforcing the type constraint thatB
must be a subtype ofA
, given an implicitEquivalence[A]
.The returned
Constraint
'sareEqual
method uses the implicitly passedEquivalence[A]
'sareEquivalent
method to determine equality.This method is overridden and made implicit by subtraits
TypeCheckedTripleEquals
) and overriden as non-implicit by the other subtraits in this package.- ev
evidence that
B
is a subype of A- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEquivalent
method of the passedEquivalence[A]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
Provides an
A CanEqual B
instance for any two typesA
andB
, with no type constraint enforced, given an implicitEquality[A]
.Provides an
A CanEqual B
instance for any two typesA
andB
, with no type constraint enforced, given an implicitEquality[A]
.The returned
Constraint
'sareEqual
method uses the implicitly passedEquality[A]
'sareEqual
method to determine equality.This method is overridden and made implicit by subtraits
TripleEquals
and overriden as non-implicit by the other subtraits in this package.- equalityOfA
an
Equality[A]
type class to which theConstraint.areEqual
method will delegate to determine equality.- returns
an
A CanEqual B
instance whoseareEqual
method delegates to theareEqual
method of the passedEquality[A]
.
- Definition Classes
- TypeCheckedTripleEquals → TripleEqualsSupport
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()