diff --git a/src/App/Messages/DNSManagerDaemon.purs b/src/App/Messages/DNSManagerDaemon.purs index 46cba19..999a516 100644 --- a/src/App/Messages/DNSManagerDaemon.purs +++ b/src/App/Messages/DNSManagerDaemon.purs @@ -29,14 +29,14 @@ import App.ResourceRecord as ResourceRecord type UserID = Int -- UserID is either a login or an uid number -{- 7 -} -type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject, value :: Maybe Int } -codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec, value: CAR.optional CA.int }) - {- 0 -} type Login = { token :: String } codecLogin = CA.object "Login" (CAR.record { token: CA.string }) +{- 7 -} +type Maintenance = { subject :: MaintenanceSubject.MaintenanceSubject, value :: Maybe Int } +codecMaintenance = CA.object "Maintenance" (CAR.record { subject: MaintenanceSubject.codec, value: CAR.optional CA.int }) + {- 9 -} type NewDomain = { domain :: String } codecNewDomain = CA.object "NewDomain" (CAR.record { domain: CA.string })