This commit is contained in:
Swrup 2025-10-03 18:35:21 +02:00
parent 724a3d2b68
commit 4930cd3ae3
5 changed files with 38 additions and 7 deletions

View file

@ -8,7 +8,9 @@
https://docs.taler.net/design-documents/003-tos-rendering.html *)
(* todo: maybe move this type to config.ml *)
type t = Terms | Privacy
type t =
| Terms
| Privacy
let etag = function
| Terms -> Config.terms_etag

View file

@ -26,7 +26,11 @@ let currency_to_string = function `Eur -> "EUR"
(* Values that represent an amount are in the usual amount syntax: CURRENCY:VALUE.FRACTION,
e.g. EUR:1.50. The FRACTION portion may extend up to 8 places. *)
type value = { currency: [ `Eur ]; value: int; fraction: int }
type value = {
currency: [ `Eur ]
; value: int
; fraction: int
}
let currency_round_unit = { currency= `Eur; value= 0; fraction= 1 }

View file

@ -20,8 +20,14 @@ end = struct
type t = string
(* type for the value of header field *)
type header_etag_item = { weak: bool; value: string }
type header_value = Any_etag | Etag_list of header_etag_item list
type header_etag_item = {
weak: bool
; value: string
}
type header_value =
| Any_etag
| Etag_list of header_etag_item list
let pp_header_etag_item ppf { weak; value } =
if weak then Fmt.pf ppf {|W/"%s"|} value else Fmt.pf ppf {|"%s"|} value

View file

@ -2,14 +2,32 @@
module Error_detail = struct
(* TODO GANA error codes
https://git.gnunet.org/gana.git/tree/gnu-taler-error-codes/registry.rec *)
type t = { code: int; hint: string option }
type t = {
code: int
; hint: string option
}
end
(* TODO number
- number is "float", but we probably want int everywhere instead
- numeric values capped at 2^53 -1 inclusive because json
- have a type for seconds/microseconds/..? *)
module Timestamp = struct
(* Seconds since epoch, or the special
value "never" to represent an event that will
never happen. *)
type t = Never | Seconds of float
type t =
| Seconds of float
| Never
end
module Relative_time = struct
(* Duration in microseconds or "forever"
to represent an infinite duration. Numeric
values are capped at 2^53 - 1 inclusive. *)
type t =
| Microseconds of float
| Forever
end
module Amount = struct