Attributes
Members list
Type members
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
extract failure details from a Result if it is a Failure
extract failure details from a Result if it is a Failure
Attributes
this returns a result which is a summary of all the results according to the ResultFailureMonoid
this returns a result which is a summary of all the results according to the ResultFailureMonoid
Attributes
this returns a result which is a summary of all the results according to the ResultFailureMonoid
this returns a result which is a summary of all the results according to the ResultFailureMonoid
Attributes
this allows the creation of expectations with a for loop it returns the first result which is an issue or the last success
this allows the creation of expectations with a for loop it returns the first result which is an issue or the last success
Attributes
Attributes
- Returns
-
the accumulation of all results, without success messages
Attributes
- Returns
-
a Success or a Failure
Attributes
- Returns
-
a Success or a Failure
Attributes
- Returns
-
a Success or a Failure
Attributes
- Returns
-
a Success or a Failure
Concrete fields
This monoids keeps success messages if the result of the |+| is not a success
This monoids keeps success messages if the result of the |+| is not a success
Attributes
This monoid only evaluates the second argument
This monoid only evaluates the second argument
Attributes
Givens
Givens
This monoids "absorbs" success messages if the result of the |+| is not a success
This monoids "absorbs" success messages if the result of the |+| is not a success
Attributes
implicit typeclass instance to create examples from Results
implicit typeclass instance to create examples from Results