Convenience base trait for string Uniformity
s.
Provides mechanisms that enable errors to be accumulated in “accumulating Or
s,” Or
s whose
Bad
type is an Every
.”“
Contains a “bad” value.”“
A trait that represent a rich-featured boolean value, which includes the following members:
Convenience class for extractors that match and return Throwable
s based on a type and Boolean
condition.
Abstract class used to enforce type constraints for equality checks.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require that either the types of the two values compared are in a subtype/supertype
relationship, or that an implicit conversion is available that can convert from one type to the other.
Defines a custom way to determine equality for a type when compared with another value of type Any
.
Defines a custom way to determine equality for a type when compared with another value of the same type.
Type alias for String
.
An ordered, immutable, non-empty collection of elements.
Provides ScalaTest's “explicitly DSL,” which facilitates the
explicit specification of an Equality[T]
or a Uniformity[T]
where
Equality[T]
is taken implicitly.”“
Indicates a validation failed, describing the failure with a contained error value.
Contains a “good” value.”“
Provides an implicit conversion that will be applied only if a higher-priority implicit conversion declared a subtrait is not applicable.
Provides an implicit conversion that will be applied only if a higher-priority implicit conversion declared a subtrait is not applicable.
An Every
that contains two or more elements.
Provides an implicit method that loosens the equality constraint defined by TypeCheckedTripleEquals
or ConversionCheckedTripleEquals
for Scala Map
s to one that more closely matches Scala's approach to Map
equality.
Provides an implicit conversion that allows norm
to be invoked on any value of type
T
for which an implicit Normalization[T]
exists.
Defines a custom way to normalize instances of a type.
An Equality[A]
implementation that determines the equality of two objects by normalizing
one or both objects, then comparing the results using an “after normalization” equality referenced from
the afterNormalizationEquality
member.”“
An Equivalence[A]
implementation that determines the equality of two objects by normalizing
one or both objects, then comparing the results using an “after normalization” Equivalence
referenced from
the afterNormalizationEquivalence
member.”“
An Every
that contains exactly one element.
Represents a value that is one of two possible types, with one type being “good” and the other “bad.“”“
A function that given any object will produce a “pretty” string representation of that object, where “pretty” is in the eye of the implementer.”“”“
Provides an implicit conversion that enables pretty
to be invoked on any
object, to transform that object into a String
representation.
Trait that contains require
, and requireState
, and requireNonNull
methods for checking pre-conditions
that give descriptive error messages extracted via a macro.
Provides an implicit method that loosens the equality constraint defined by TypeCheckedTripleEquals
or ConversionCheckedTripleEquals
for Scala Seq
s to one that more closely matches Scala's approach to Seq
equality.
Provides an implicit method that loosens the equality constraint defined by TypeCheckedTripleEquals
or ConversionCheckedTripleEquals
for Scala Set
s to one that more closely matches Scala's approach to Set
equality.
Case class that stores the name and value of a variable or expression.
An IndexedSeq[Snapshot]
providing toString
and lines
methods that
can be useful for debug and log messages about program state.
Trait that provides a snap
method that takes one or more arguments and results in a
SnapshotSeq
, whose toString
lists the names
and values of each argument.
Provides methods that produce Uniformity[String]
instances for various
ways to normalize strings for equality comparisons.
Trait providing an implicit conversion that adds a times
method to Int
s that
will repeat a given side-effecting operation multiple times.
Trait containing an implicit conversion that adds a +-
method to Numeric
types, which enables
spreads to be expressed in terms of a pivot and tolerance.
Provides Equality
and Equivalence
instances for Numeric
types that
compare for equality with a given tolerance.
Provides three implicit methods that loosen the equality constraint defined by TypeCheckedTripleEquals
or ConversionCheckedTripleEquals
for Scala Traversable
s to one that more closely matches Scala's approach to Traversable
equality.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require no relationship between the types of the two values compared.
Trait that defines abstract methods used to enforce compile-time type constraints for equality comparisons, and defines ===
and !==
operators
used by matchers.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require the types of the two values compared to be in a subtype/supertype
relationship.
Defines a custom way to normalize instances of a type that can also handle normalization of that type when passed as Any
.
Represents the result of a validation, either the object Pass
if the validation
succeeded, else an instance of Fail
containing an error value describing the validation failure.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require that either the types of the two values compared are in a subtype/supertype
relationship, or that an implicit conversion is available that can convert from one type to the other.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require no relationship between the types of the two values compared.
Provides ===
and !==
operators that return Boolean
, delegate the equality determination
to an Equality
type class, and require the types of the two values compared to be in a subtype/supertype
relationship.
Companion object to trait Accumulation
that allows Accumulation
's members to be imported
rather than mixed in, and also contains nested traits used by implicit conversions declared in
trait Accumulations
.
Bool
companion object that provides factory methods to create different sub types of Bool
Companion object for Catcher
that provides a factory method for creating Throwable
extractors.
Companion object to trait ConversionCheckedLegacyTripleEquals
that facilitates the importing of ConversionCheckedLegacyTripleEquals
members as
an alternative to mixing it in.
Companion object to trait ConversionCheckedTripleEquals
that facilitates the importing of ConversionCheckedTripleEquals
members as
an alternative to mixing it in.
Companion object for trait Equality
that provides factory methods for producing Equality
instances.
Companion object for trait Equivalence
that provides a factory method for producing
default Equivalence
instances.
Companion object for abstract class Every
.
Companion object for Explicitly
, which enables the Scalactic explicitly DSL to
be imported rather than mixed in, like this:
Companion object for Good
that offers, in addition to the standard factory method
for Good
that takes single “good” type, an parameterless apply
used to narrow the Good
type when creating a Bad
.”“
Companion object to trait LegacyTripleEquals
that facilitates the importing of LegacyTripleEquals
members as
an alternative to mixing it in.
Companion object that facilitates the importing of MapEqualityConstraints
members as
an alternative to mixing it in.
Companion object for NormMethods
enabling its members to be imported as an alternative to mixing them in.
The companion object for Or
providing factory methods for creating Or
s from Either
s and Try
s.
Indicates a validation succeeded.
Companion object for Prettifier
that provides a default Prettifier
implementation.
Companion object for trait PrettyMethods
enabling its members to be imported as an
alternative to mixing them in.
Companion object that facilitates the importing of Requirements
members as
an alternative to mixing it in.
Companion object that facilitates the importing of SeqEqualityConstraints
members as
an alternative to mixing it in.
Companion object that facilitates the importing of SetEqualityConstraints
members as
an alternative to mixing it in.
Companion object that facilitates the importing of Snapshots
members as
an alternative to mixing it in.
Companion object to trait StringNormalizations
that provides an
alternative to mixing it in.
Companion object that facilitates the importing of TimesOnInt
members as an alternative to mixing it in.
Companion object to trait Tolerance
that facilitates the importing of Tolerance
members as
an alternative to mixing it in.
Companion object for TolerantNumerics
that enables its members to be imported as an alternative to
mixing them in.
Companion object that facilitates the importing of TraversableEqualityConstraints
members as
an alternative to mixing it in.
Companion object to trait TripleEquals
that facilitates the importing of TripleEquals
members as
an alternative to mixing it in.
Companion object to trait TypeCheckedLegacyTripleEquals
that facilitates the importing of TypeCheckedLegacyTripleEquals
members as
an alternative to mixing it in.
Companion object to trait TypeCheckedTripleEquals
that facilitates the importing of TypeCheckedTripleEquals
members as
an alternative to mixing it in.
Returns the result of evaluating the given block f
, wrapped in a Good
, or
if an exception is thrown, the Throwable
, wrapped in a Bad
.
Returns the result of evaluating the given block f
, wrapped in a Good
, or
if an exception is thrown, the Throwable
, wrapped in a Bad
.
Here are some examples:
scala> import org.scalactic._ import org.scalactic._scala> attempt { 2 / 1 } res0: org.scalactic.Or[Int,Throwable] = Good(2)
scala> attempt { 2 / 0 } res1: org.scalactic.Or[Int,Throwable] = Bad(java.lang.ArithmeticException: / by zero)
the block to attempt to evaluate
the result of evaluating the block, wrapped in a Good
, or the
thrown exception, wrapped in a Bad