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.