using System.Text.Json.Serialization; namespace FinlyticCore.Dtos.TradeRepublic; public record TradeRepublicDerivativesRequest( [property: JsonPropertyName("type")] string Type = "derivatives", [property: JsonPropertyName("jurisdiction")] string Jurisdiction = "DE", [property: JsonPropertyName("lang")] string Lang = "en", [property: JsonPropertyName("underlying")] string Underlying = "", [property: JsonPropertyName("productCategory")] string ProductCategory = "knockOutProduct", [property: JsonPropertyName("leverage")] decimal Leverage = 0, [property: JsonPropertyName("sortBy")] string SortBy = "leverage", [property: JsonPropertyName("sortDirection")] string SortDirection = "asc", [property: JsonPropertyName("optionType")] string OptionType = "long", [property: JsonPropertyName("pageSize")] int PageSize = 50, [property: JsonPropertyName("after")] string After = "0", TradeRepublicHeaders? Headers = null ) { [JsonPropertyName("__headers")] public TradeRepublicHeaders Headers { get; init; } = Headers ?? new TradeRepublicHeaders(); }