mte/src/pg_type.ml

364 lines
9.2 KiB
OCaml
Raw Normal View History

2025-12-21 19:32:54 +01:00
(* this module defines caqti encoding/decodings *)
2026-02-05 17:51:24 +01:00
open Caqti_type
2025-12-21 19:32:54 +01:00
open Crypto
open Api
let amount : Amount.t t =
let open Amount in
custom
~encode:(fun amount -> Ok (amount.value, amount.fraction))
~decode:(fun (value, fraction) ->
Amount.make ~sign:None ~currency:Config.currency ~value ~fraction)
(t2 int64 int32)
(* we want to use int64 timestamps,
not postgresql built-in timestamp type *)
let ptime : unit t = Caqti_type.unit
2025-12-21 19:32:54 +01:00
let time = Timestamp.caqti
2026-02-24 17:51:30 +01:00
let time_span = Time.TimeRelative.caqti
2025-12-21 19:32:54 +01:00
let age_mask : int t = Caqti_type.int
let rsa_pub = RsaPublicKey.caqti
let eddsa_pub = EddsaPublicKey.caqti
let eddsa_sig = EddsaSignature.caqti
(* todo: enum type for wire_method? *)
let wire_method = Caqti_type.string
let payto_uri = Caqti_type.string
include struct
(* alias for hash *)
2026-02-05 17:51:24 +01:00
open Hash
2025-12-21 19:32:54 +01:00
let fullpayto_hash = FullPaytoHash.caqti
let nomalizaedpayto_hash = NormalizedPaytoHash.caqti
2026-02-17 09:30:20 +01:00
let denom_hash = DenominationHash.caqti
2025-12-21 19:32:54 +01:00
let privatecontract_hash = PrivateContractHash.caqti
let extensionspolicy_hash = ExtensionsPolicyHash.caqti
let merchantwire_hash = MerchantWireHash.caqti
let agecommitment_hash = AgeCommitmentHash.caqti
let blindedcoin_hash = BlindedCoinHash.caqti
let coinpub_hash = CoinPubHash.caqti
let outputcommitment_hash = OutputCommitmentHash.caqti
let planchets_hash = HashPlanchetsP.caqti
end
2026-02-23 07:24:40 +01:00
let signkey =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.ExchangeSigningKeyValidity.caqti in
2025-12-21 19:32:54 +01:00
custom
~encode:(fun
Signkey.{ pub; stamp_start; stamp_expire; stamp_end; master_sig } ->
Ok (pub, stamp_start, stamp_expire, stamp_end, master_sig))
~decode:(fun (pub, stamp_start, stamp_expire, stamp_end, master_sig) ->
Ok { pub; stamp_start; stamp_expire; stamp_end; master_sig })
(t5 eddsa_pub time time time master_sig)
2025-12-21 19:32:54 +01:00
2026-02-23 07:24:40 +01:00
let denom =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.DenominationKeyValidity.caqti in
2025-12-21 19:32:54 +01:00
custom
~encode:(fun
2026-02-17 09:30:20 +01:00
Denomination.
2025-12-21 19:32:54 +01:00
{
pub;
value;
stamp_start;
stamp_expire_withdraw;
stamp_expire_deposit;
stamp_expire_legal;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
age_mask;
h_pub;
master_sig;
}
->
2026-02-17 09:30:20 +01:00
Ok
( pub,
value,
stamp_start,
stamp_expire_withdraw,
stamp_expire_deposit,
stamp_expire_legal,
fee_withdraw,
fee_deposit,
fee_refresh,
fee_refund,
age_mask,
(h_pub, master_sig) ))
2025-12-21 19:32:54 +01:00
~decode:(fun
( pub,
value,
stamp_start,
stamp_expire_withdraw,
stamp_expire_deposit,
stamp_expire_legal,
fee_withdraw,
fee_deposit,
fee_refresh,
fee_refund,
age_mask,
(h_pub, master_sig) )
2025-12-21 19:32:54 +01:00
->
Ok
{
pub;
value;
stamp_start;
stamp_expire_withdraw;
stamp_expire_deposit;
stamp_expire_legal;
fee_withdraw;
fee_deposit;
fee_refresh;
fee_refund;
age_mask;
h_pub;
2026-02-17 09:30:20 +01:00
master_sig;
2025-12-21 19:32:54 +01:00
})
(t12 rsa_pub amount time time time time amount amount amount amount int
(t2 denom_hash master_sig))
2025-12-21 19:32:54 +01:00
let account_restrictions =
custom
~encode:(fun l -> Api.encode (Jsont.list AccountRestriction.jsont) l)
~decode:(fun s -> Api.decode (Jsont.list AccountRestriction.jsont) s)
string
let global_fee =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.GlobalFees.caqti in
2025-12-21 19:32:54 +01:00
custom
~encode:(fun
GlobalFees.
{
start_date;
end_date;
history_fee;
account_fee;
purse_fee;
history_expiration;
purse_account_limit;
purse_timeout;
master_sig;
}
->
Ok
( start_date,
end_date,
history_fee,
account_fee,
purse_fee,
history_expiration,
purse_account_limit,
purse_timeout,
master_sig ))
~decode:(fun
( start_date,
end_date,
history_fee,
account_fee,
purse_fee,
history_expiration,
purse_account_limit,
purse_timeout,
master_sig )
->
Ok
{
start_date;
end_date;
history_fee;
account_fee;
purse_fee;
history_expiration;
purse_account_limit;
purse_timeout;
master_sig;
})
Caqti_type.(
t9 time time amount amount amount time_span int32 time_span master_sig)
let aggregate_transfer_fee =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.MasterWireFee.caqti in
2025-12-21 19:32:54 +01:00
Caqti_type.custom
~encode:(fun
AggregateTransferFee.
{ wire_fee; closing_fee; start_date; end_date; sig_ }
-> Ok (wire_fee, closing_fee, start_date, end_date, sig_))
~decode:(fun (wire_fee, closing_fee, start_date, end_date, sig_) ->
Ok
AggregateTransferFee.
{ wire_fee; closing_fee; start_date; end_date; sig_ })
Caqti_type.(t5 amount amount time time master_sig)
let exchange_wire_account =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.MasterWireDetails.caqti in
2025-12-21 19:32:54 +01:00
Caqti_type.custom
~encode:(fun
ExchangeWireAccount.
{
payto_uri;
conversion_url;
debit_restrictions;
credit_restrictions;
master_sig;
bank_label;
priority;
}
->
Ok
( payto_uri,
conversion_url,
debit_restrictions,
credit_restrictions,
master_sig,
bank_label,
priority ))
~decode:(fun
( payto_uri,
conversion_url,
debit_restrictions,
credit_restrictions,
master_sig,
bank_label,
priority )
->
Ok
{
payto_uri;
conversion_url;
debit_restrictions;
credit_restrictions;
master_sig;
bank_label;
priority;
})
Caqti_type.(
t7 payto_uri (option string) account_restrictions account_restrictions
master_sig (option string) (option int))
let drain_profit_message =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.MasterDrainProfit.caqti in
2025-12-21 19:32:54 +01:00
Caqti_type.custom
~encode:(fun
DrainProfitsMessage.
{
wtid;
debit_account_section;
credit_payto_uri;
date;
amount;
master_sig;
}
->
Ok
(wtid, debit_account_section, credit_payto_uri, date, amount, master_sig))
~decode:(fun
(wtid, debit_account_section, credit_payto_uri, date, amount, master_sig)
->
Ok
{
wtid;
debit_account_section;
credit_payto_uri;
date;
amount;
master_sig;
})
2026-02-26 16:20:20 +01:00
Caqti_type.(t6 Bytes32.caqti string string time amount master_sig)
2025-12-21 19:32:54 +01:00
let aml_officer_setup =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.MasterAmlOfficerStatus.caqti in
2025-12-21 19:32:54 +01:00
Caqti_type.custom
~encode:(fun
AmlOfficerSetup.
{
officer_pub;
master_sig;
officer_name;
is_active;
read_only;
change_date;
}
->
Ok
( officer_pub,
master_sig,
officer_name,
is_active,
read_only,
change_date ))
~decode:(fun
( officer_pub,
master_sig,
officer_name,
is_active,
read_only,
change_date )
->
Ok
{
officer_pub;
master_sig;
officer_name;
is_active;
read_only;
change_date;
})
Caqti_type.(t6 eddsa_pub master_sig string bool bool time)
let exchange_partner_setup =
2026-02-05 19:26:59 +01:00
let master_sig = Signatures.PartnerConfiguration.caqti in
2025-12-21 19:32:54 +01:00
Caqti_type.custom
~encode:(fun
ExchangePartnerSetupRequest.
{
partner_pub;
start_date;
end_date;
wad_frequency;
wad_fee;
master_sig;
partner_base_url;
}
->
Ok
( partner_pub,
start_date,
end_date,
wad_frequency,
wad_fee,
master_sig,
partner_base_url ))
~decode:(fun
( partner_pub,
start_date,
end_date,
wad_frequency,
wad_fee,
master_sig,
partner_base_url )
->
Ok
{
partner_base_url;
partner_pub;
wad_frequency;
master_sig;
start_date;
end_date;
wad_fee;
})
Caqti_type.(t7 eddsa_pub time time time_span amount master_sig string)
2026-02-25 20:12:13 +01:00
let auditor =
let open Auditor in
Caqti_type.custom
~encode:(fun
{ auditor_pub; auditor_url; auditor_name; last_change; is_active } ->
Ok (auditor_pub, auditor_url, auditor_name, last_change, is_active))
~decode:(fun
(auditor_pub, auditor_url, auditor_name, last_change, is_active) ->
Ok { auditor_pub; auditor_url; auditor_name; last_change; is_active })
Caqti_type.(t5 eddsa_pub string string time bool)