did
API
Generated with
did/fmgp/fmgp.did/fmgp.did.comm/fmgp.did.comm.protocol/fmgp.did.comm.protocol.mediatorcoordination2/Keylist/Pagination

Pagination

fmgp.did.comm.protocol.mediatorcoordination2.Keylist$.Pagination$
object Pagination

Attributes

Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Pagination.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[Pagination]
given encoder: JsonEncoder[Pagination]
Generated with