From 2fb58ea458d4c8b79eba29bc10480fd89ccfdb49 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 11 Jul 2023 05:44:54 +0200
Subject: [PATCH] Update comments.

---
 src/App/ZoneInterface.purs | 21 ++++++++++++++-------
 1 file changed, 14 insertions(+), 7 deletions(-)

diff --git a/src/App/ZoneInterface.purs b/src/App/ZoneInterface.purs
index 65823c8..cf31bd5 100644
--- a/src/App/ZoneInterface.purs
+++ b/src/App/ZoneInterface.purs
@@ -1,10 +1,17 @@
 -- | `App.ZoneInterface` provides an interface to display and modify a DNS zone.
 -- |
 -- | This interface allows to:
--- |   - TODO: display all resource records of a zone
--- |   - TODO: add new resource records
--- |   - TODO: remove resource records
--- |   - TODO: ask for confirmation on deletion
+-- |   - display all resource records of a zone
+-- |   - * DONE: NS, A, AAAA, CNAME, TXT, MX, SRV
+-- |   - * TODO: SOA
+-- |   - add new resource records
+-- |   - TODO: modify resource records
+-- |   - remove resource records
+-- |   - ask for confirmation on deletion
+-- |
+-- | TODO: do not allow for the modification of read-only resource records.
+-- |
+-- | TODO: move all serialization code to a single module.
 
 module App.ZoneInterface where
 
@@ -65,10 +72,10 @@ type Input = String
 
 -- | Possible component's actions are:
 -- | - TODO: update the list of resource records
--- | - TODO: add a resource record
+-- | - add a resource record
 -- | - TODO: modify a resource record
--- | - TODO: remove a resource record
--- | - TODO: handle user inputs
+-- | - remove a resource record
+-- | - handle user inputs
 
 data Update_SRR_Form
   = Update_SRR_Type      Int