Reorder some messages.

This commit is contained in:
Philippe Pittoli 2023-06-17 18:08:09 +02:00
parent ffecb63c8d
commit 2ad1ede8f1

View File

@ -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 })