did
API
Generated with
did/fmgp/fmgp.did/fmgp.did.comm/fmgp.did.comm.protocol/fmgp.did.comm.protocol.mediatorcoordination3/RecipientUpdate/Update

Update

fmgp.did.comm.protocol.mediatorcoordination3.RecipientUpdate$.Update$
object Update

Attributes

Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Update.type

Members list

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Givens

Givens

given decoder: JsonDecoder[Update]
given encoder: JsonEncoder[Update]
Generated with