Scalus
1.5.0
Scalus
Scalus
/
scalus
/
scalus.testing
/
scalus.testing.assertions
/
Expected
/
Success
Success
scalus.testing.assertions.Expected.Success
final case
class
Success
(
term
:
Term
)
Successful evaluation returning a specific term (alpha-equivalent)
Attributes
Members list
Clear all
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product
In this article
Attributes
Members list
Value members
Inherited methods