soidc-jwt
API
Generated with
soidc-jwt/soidc.jwt/soidc.jwt.codec/JsonValue/Obj

Obj

soidc.jwt.codec.JsonValue.Obj
final case class Obj(value: Map[String, JsonValue]) extends JsonValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait JsonValue
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def get(name: ParameterName): Option[JsonValue]
def getAs[A](name: ParameterName)(using dec: FromJson[A]): Either[DecodeError, Option[A]]
def hasParameter(name: ParameterName): Boolean
def remove(name: ParameterName): Obj
def replace[V : ToJson](name: ParameterName, v: V): Obj
def replaceIfDefined[V : ToJson](name: ParameterName, v: Option[V]): Obj
def requireAs[A](name: ParameterName)(using FromJson[A]): Either[DecodeError, A]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def widen: JsonValue

Attributes

Inherited from:
JsonValue
Generated with