Normalization
Defines a custom way to normalize instances of a type.
For example, to normalize Double
s by truncating off any decimal part,
you might write:
import org.scalactic._ val truncated = new Normalization[Double] { def normalized(d: Double) = d.floor }
Given this definition you could use it with the Explicitly
DSL like this:
import org.scalatest._ import Matchers._ import TypeCheckedTripleEquals._ (2.1 should === (2.0)) (after being truncated)
Note that to use a Normalization
with the Explicitly
DSL, you'll need to use
TypeCheckedTripleEquals
.
If you're just using plain-old
TripleEquals
, you'll need a Uniformity
, a Normalization
subclass.
If you make the truncated
val
implicit and import or mix in the members of NormMethods
,
you can access the behavior by invoking .norm
on Double
s.
implicit val doubleNormalization = truncated import NormMethods._ val d = 2.1 d.norm // returns 2.0
- Type parameters:
- A
the type whose normalization is being defined
- Source:
- Normalization.scala
Value members
Abstract methods
Returns a normalized form of the passed object.
Returns a normalized form of the passed object.
If the passed object is already in normal form, this method may return the same instance passed.
- Type parameters:
- A
the type of the object to normalize
- Value parameters:
- a
the object to normalize
- Returns:
the normalized form of the passed object
- Source:
- Normalization.scala
Concrete methods
Returns a new Normalization
that composes this and the passed Normalization
.
Returns a new Normalization
that composes this and the passed Normalization
.
The normalized
method of the Normalization
returned by this method returns a normalized form of the passed
object obtained by forwarding the passed value first to this Normalization
's normalized
method,
then passing that result to the other Normalization
's normalized
method.
Essentially, the body of the composed normalized
method is:
normalizationPassedToAnd.normalized(normalizationOnWhichAndWasInvoked.normalized(a))
- Value parameters:
- other
a
Normalization
to 'and' with this one
- Returns:
a
Normalization
representing the composition of this and the passedNormalization
- Source:
- Normalization.scala
Converts this Normalization
to a NormalizingEquivalence[A]
whose normalized
method delegates to this Normalization[A]
and whose afterNormalizationEquivalence
field returns the
implicitly passed Equivalence[A]
.
Converts this Normalization
to a NormalizingEquivalence[A]
whose normalized
method delegates to this Normalization[A]
and whose afterNormalizationEquivalence
field returns the
implicitly passed Equivalence[A]
.
- Value parameters:
- equivalence
the
Equivalence
that the returnedNormalizingEquivalence
will delegate to determine equality after normalizing both left and right (if appropriate) sides.
- Source:
- Normalization.scala