sjson new core/sjsonnew/Nat/Succ

Succ

final case
class Succ[P <: Nat]() extends Nat
trait Serializable
trait Product
trait Equals
trait Nat
class Object
trait Matchable
class Any

Type members

Types

type N = Succ[P]

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product