wjson-pattern
API
Generated with
wjson-pattern/wjson.pattern/JsPattern/ArrPattern

ArrPattern

wjson.pattern.JsPattern.ArrPattern
final case class ArrPattern(value: List[Variable])

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with