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 ANY extends GroundType
case ARRAY extends GroundType
case BOOLEAN extends GroundType
case INTEGER extends GroundType
case NUMBER extends GroundType
case OBJECT extends GroundType
case STRING extends GroundType
Generated with