Delegation: new request messages.

This commit is contained in:
Philippe Pittoli 2025-10-28 18:06:52 +01:00
parent fdec7a2cdb
commit c13cc441bc

View file

@ -140,6 +140,18 @@ codecDelegateDomain = CA.object "DelegateDomain" (CAR.record { domain: CA.string
, nameserver1: CA.string
, nameserver2: CA.string })
{- 26 -}
type EditDelegation = { domain :: String, nameserver1 :: String, nameserver2 :: String }
codecEditDelegation ∷ CA.JsonCodec EditDelegation
codecEditDelegation = CA.object "EditDelegation" (CAR.record { domain: CA.string
, nameserver1: CA.string
, nameserver2: CA.string })
{- 27 -}
type ResetDelegation = { domain :: String }
codecResetDelegation ∷ CA.JsonCodec ResetDelegation
codecResetDelegation = CA.object "ResetDelegation" (CAR.record { domain: CA.string })
{- 100 -}
type GenerateAllZoneFiles = {}
codecGenerateAllZoneFiles ∷ CA.JsonCodec GenerateAllZoneFiles
@ -345,6 +357,8 @@ data RequestMessage
| MkGainOwnership GainOwnership -- 23
| MkSearchDomain SearchDomain -- 24
| MkDelegateDomain DelegateDomain -- 25
| MkEditDelegation EditDelegation -- 26
| MkResetDelegation ResetDelegation -- 27
| MkGenerateAllZoneFiles GenerateAllZoneFiles -- 100
| MkGenerateZoneFile GenerateZoneFile -- 101
| MkKeepAlive KeepAlive -- 250
@ -406,6 +420,8 @@ encode m = case m of
(MkGainOwnership request) -> get_tuple 23 codecGainOwnership request
(MkSearchDomain request) -> get_tuple 24 codecSearchDomain request
(MkDelegateDomain request) -> get_tuple 25 codecDelegateDomain request
(MkEditDelegation request) -> get_tuple 26 codecEditDelegation request
(MkResetDelegation request) -> get_tuple 27 codecResetDelegation request
(MkGenerateAllZoneFiles request) -> get_tuple 100 codecGenerateAllZoneFiles request
(MkGenerateZoneFile request) -> get_tuple 101 codecGenerateZoneFile request
(MkKeepAlive request) -> get_tuple 250 codecKeepAlive request