wjson-pattern
API
Generated with
wjson-pattern/wjson.pattern/JsPattern/PathElement/ArrayFilter

ArrayFilter

wjson.pattern.JsPattern.PathElement.ArrayFilter
final case class ArrayFilter(filter: JsPattern)

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with