NonExhaustiveness

libretto.lambda.PatternMatching.PatternMatchError.NonExhaustiveness
final case class NonExhaustiveness(ext: Extractor[->, **, _, _])

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product