Expected

scalus.testing.assertions.Expected
See theExpected companion object
enum Expected

Expected outcome for evaluation assertions.

Uses predicate-based matching for flexible assertions.

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class Failure(predicate: Failure => Boolean)

Evaluation should fail, with predicate for matching

Evaluation should fail, with predicate for matching

Attributes

final case class Success(term: Term)

Successful evaluation returning a specific term (alpha-equivalent)

Successful evaluation returning a specific term (alpha-equivalent)

Attributes

case SuccessAny extends Expected

Any successful evaluation

Any successful evaluation

Attributes

case SuccessSame extends Expected

All evaluators should return the same result (for multi-backend testing)

All evaluators should return the same result (for multi-backend testing)

Attributes