Success

scalus.testing.assertions.Expected.Success
final case class Success(term: Term)

Successful evaluation returning a specific term (alpha-equivalent)

Attributes

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product