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

GroundType

wjson.pattern.JsPattern.GroundType
enum GroundType

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

case case ANY extends GroundType
case case ARRAY extends GroundType
case case BOOLEAN extends GroundType
case case INTEGER extends GroundType
case case NUMBER extends GroundType
case case OBJECT extends GroundType
case case STRING extends GroundType
Generated with