libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/PatternMatching/PatternMatchError

PatternMatchError

libretto.lambda.PatternMatching.PatternMatchError
enum PatternMatchError

Attributes

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 IncompatibleExtractors(base: Extractor[->, **, _, _], incompatible: NonEmptyList[Extractor[->, **, _, _]])
final case class NonExhaustiveness(ext: Extractor[->, **, _, _])
Generated with