Creates a new JsonHMapKey
by wrapping a normal HMapKey
.
Creates a new JsonHMapKey
by wrapping a normal HMapKey
.
the type of the value associated with this key
the key to wrap
the JSON key associated with this map key
a new JsonHMapKey
that wraps the given HMapKey
.
Companion object for
JsonHMapKey
.