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

ObjPattern

wjson.pattern.JsPattern.ObjPattern
final case class ObjPattern(value: List[(Path, 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