swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

wip write secmod data

Browse source
This commit is contained in:
swrup 2026-01-24 06:12:52 +01:00
parent 04bc0b6566
commit 96a047670c
5 changed files with 56 additions and 38 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/data_file.ml
View file

@ -3,15 +3,18 @@ open Syntax
open Crypto
let read fname =
let* b = File.exists fname in
let* b = File.exists fname |> Syntax.unwrap_err_msg in
match b with
| false -> Ok None
| true ->
let+ content = File.read fname in
let+ content = File.read fname |> Syntax.unwrap_err_msg in
Some content
let write_eddsa fname priv = EddsaPrivateKey.to_octets priv |> File.write fname
let write_rsa fname priv = RsaPrivateKey.to_octets priv |> File.write fname
let write_eddsa fname priv =
EddsaPrivateKey.to_octets priv |> File.write fname |> Syntax.unwrap_err_msg
let write_rsa fname priv =
RsaPrivateKey.to_octets priv |> File.write fname |> Syntax.unwrap_err_msg
let read_eddsa fname =
let* opt = read fname in
@ -19,7 +22,7 @@ let read_eddsa fname =
| None -> Ok None
| Some data -> (
EddsaPrivateKey.of_octets data |> function
| Error err -> Error (`Msg err)
| Error e -> Error e
| Ok v -> Ok (Some v))
let read_rsa fname =
@ -28,5 +31,5 @@ let read_rsa fname =
| None -> Ok None
| Some data -> (
RsaPrivateKey.of_octets data |> function
| Error e -> Error (`Msg e)
| Error e -> Error e
| Ok v -> Ok (Some v))