From 96f82adf6bf425384423a8672a80953b62843e05 Mon Sep 17 00:00:00 2001 From: Karchnu Date: Sat, 27 Apr 2024 19:04:39 +0200 Subject: [PATCH] Domain info: owners are represented as integers. --- src/App/Type/DomainInfo.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/App/Type/DomainInfo.purs b/src/App/Type/DomainInfo.purs index 38148d2..40fe146 100644 --- a/src/App/Type/DomainInfo.purs +++ b/src/App/Type/DomainInfo.purs @@ -12,7 +12,7 @@ type DomainInfo = { name :: String , share_key :: Maybe String , transfer_key :: Maybe String - , owners :: Array String + , owners :: Array Int } codec :: JsonCodec DomainInfo @@ -21,7 +21,7 @@ codec = CA.object "DomainInfo" { name: CA.string , share_key: CAR.optional CA.string , transfer_key: CAR.optional CA.string - , owners: CA.array CA.string + , owners: CA.array CA.int }) emptyDomainInfo :: DomainInfo