From 38bbc36a887045a16461918d875bd1ed4ccc5781 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Thu, 1 Feb 2024 16:20:55 +0100 Subject: [PATCH] AcceptedRRTypes. --- src/App/AcceptedRRTypes.purs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 src/App/AcceptedRRTypes.purs diff --git a/src/App/AcceptedRRTypes.purs b/src/App/AcceptedRRTypes.purs new file mode 100644 index 0000000..9ac8aeb --- /dev/null +++ b/src/App/AcceptedRRTypes.purs @@ -0,0 +1,22 @@ +-- | The application accepts to add a few new entry types in a DNS zone. +-- | Each resource record has a specific form, with dedicated inputs and +-- | dedicated validation. +module App.AcceptedRRTypes where + +import Prelude +import Data.Generic.Rep (class Generic) +import Data.Show.Generic (genericShow) + +data AcceptedRRTypes + = A + | AAAA + | TXT + | CNAME + | NS + | MX + | SRV + +derive instance genericMyADT :: Generic AcceptedRRTypes _ + +instance showMyADT :: Show AcceptedRRTypes where + show = genericShow