/* tslint:disable */ /* eslint-disable */ /** * * No description provided (generated by Openapi Generator https://github.com/openapitools/openapi-generator) * * The version of the OpenAPI document: * * * NOTE: This class is auto generated by OpenAPI Generator (https://openapi-generator.tech). * https://openapi-generator.tech * Do not edit the class manually. */ import { mapValues } from '../runtime'; /** * * @export * @interface LeaderboardEntry */ export interface LeaderboardEntry { /** * * @type {string} * @memberof LeaderboardEntry */ l1_address: string; /** * * @type {number} * @memberof LeaderboardEntry */ points: number; /** * * @type {number} * @memberof LeaderboardEntry */ entry: number; /** * * @type {number} * @memberof LeaderboardEntry */ entryId: number; /** * * @type {string} * @memberof LeaderboardEntry */ metadata: string; } /** * Check if a given object implements the LeaderboardEntry interface. */ export function instanceOfLeaderboardEntry(value: object): value is LeaderboardEntry { if (!('l1_address' in value) || value['l1_address'] === undefined) return false; if (!('points' in value) || value['points'] === undefined) return false; if (!('entry' in value) || value['entry'] === undefined) return false; if (!('entryId' in value) || value['entryId'] === undefined) return false; if (!('metadata' in value) || value['metadata'] === undefined) return false; return true; } export function LeaderboardEntryFromJSON(json: any): LeaderboardEntry { return LeaderboardEntryFromJSONTyped(json, false); } export function LeaderboardEntryFromJSONTyped(json: any, ignoreDiscriminator: boolean): LeaderboardEntry { if (json == null) { return json; } return { 'l1_address': json['l1_address'], 'points': json['points'], 'entry': json['entry'], 'entryId': json['entryId'], 'metadata': json['metadata'], }; } export function LeaderboardEntryToJSON(value?: LeaderboardEntry | null): any { if (value == null) { return value; } return { 'l1_address': value['l1_address'], 'points': value['points'], 'entry': value['entry'], 'entryId': value['entryId'], 'metadata': value['metadata'], }; }