Refactoring (move somes modules in App.Type.ResourceRecord).

This commit is contained in:
Philippe Pittoli 2025-07-25 17:28:16 +02:00
parent c154891060
commit e7d8d2520d
8 changed files with 16 additions and 16 deletions

View file

@ -44,8 +44,8 @@ import App.Type.RRId (RRId)
import App.Type.ResourceRecord as RR import App.Type.ResourceRecord as RR
import App.Type.Delegation (mkEmptyDelegationForm, update, Form, Field) as Delegation import App.Type.Delegation (mkEmptyDelegationForm, update, Form, Field) as Delegation
import App.Type.RRModal (RRModal(..)) import App.Type.RRModal (RRModal(..))
import App.Type.DKIM as DKIM import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.DMARC as DMARC import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.LogMessage (LogMessage(..)) import App.Type.LogMessage (LogMessage(..))
import App.Message.DNSManagerDaemon as DNSManager import App.Message.DNSManagerDaemon as DNSManager

View file

@ -12,14 +12,14 @@ import Data.Maybe (Maybe(..), fromMaybe, maybe)
import Data.Tuple (Tuple) import Data.Tuple (Tuple)
import App.Type.CAA as CAA import App.Type.ResourceRecord.CAA as CAA
import App.Text.Explanations as Explanations import App.Text.Explanations as Explanations
import Web as Web import Web as Web
import Halogen.HTML as HH import Halogen.HTML as HH
import Halogen.HTML.Properties as HP import Halogen.HTML.Properties as HP
import App.Type.RRId (RRId) import App.Type.RRId (RRId)
import App.Type.DMARC as DMARC import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.DKIM as DKIM import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.Delegation as Delegation import App.Type.Delegation as Delegation
import App.Templates.Table as Table import App.Templates.Table as Table
import Data.String (toLower) import Data.String (toLower)

View file

@ -29,7 +29,7 @@ import Halogen.HTML as HH
import Halogen.HTML.Properties as HP import Halogen.HTML.Properties as HP
import Data.String.CodePoints as CP import Data.String.CodePoints as CP
import Utils (id, attach_id) import Utils (id, attach_id)
import App.Type.DMARC as DMARC import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.ResourceRecord (ResourceRecord) import App.Type.ResourceRecord (ResourceRecord)
import App.Type.ResourceRecord.SPF ( show_mechanism, show_mechanism_type import App.Type.ResourceRecord.SPF ( show_mechanism, show_mechanism_type

View file

@ -1,6 +1,6 @@
module App.Type.ResourceRecord where module App.Type.ResourceRecord where
import Prelude (($), (-), (<>), map, bind, pure, class Show) import Prelude (class Show, ($), (-), (<>))
-- import Data.String (toLower) -- import Data.String (toLower)
import Data.Generic.Rep (class Generic) import Data.Generic.Rep (class Generic)
import App.Type.GenericSerialization (generic_serialization) import App.Type.GenericSerialization (generic_serialization)
@ -23,10 +23,10 @@ import Data.Codec.Argonaut as CA
import Data.Codec.Argonaut.Record as CAR import Data.Codec.Argonaut.Record as CAR
import Data.Int (fromString) import Data.Int (fromString)
import App.Type.DKIM as DKIM import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.DMARC as DMARC import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.ResourceRecord.SPF as SPF import App.Type.ResourceRecord.SPF as SPF
import App.Type.CAA as CAA import App.Type.ResourceRecord.CAA as CAA
type ResourceRecord type ResourceRecord
= { rrtype :: String = { rrtype :: String

View file

@ -1,6 +1,6 @@
-- | The Certification Authority Authorization (CAA) record is described in RFC8859. -- | The Certification Authority Authorization (CAA) record is described in RFC8859.
-- | The CAA record allows to specify Certification Authorities (CAs) authorized to issue certificates. -- | The CAA record allows to specify Certification Authorities (CAs) authorized to issue certificates.
module App.Type.CAA where module App.Type.ResourceRecord.CAA where
import Prelude import Prelude
import Data.Generic.Rep (class Generic) import Data.Generic.Rep (class Generic)

View file

@ -1,4 +1,4 @@
module App.Type.DKIM where module App.Type.ResourceRecord.DKIM where
import Prelude import Prelude
import Data.Generic.Rep (class Generic) import Data.Generic.Rep (class Generic)

View file

@ -1,6 +1,6 @@
-- | DMARC is a spam mitigation mechanism described in RFC7489. -- | DMARC is a spam mitigation mechanism described in RFC7489.
-- | DMARC is built on top of DKIM and SPF. -- | DMARC is built on top of DKIM and SPF.
module App.Type.DMARC where module App.Type.ResourceRecord.DMARC where
import Prelude import Prelude
import Data.Generic.Rep (class Generic) import Data.Generic.Rep (class Generic)

View file

@ -18,9 +18,9 @@ import GenericParser.DomainParser (name, sub_eof) as DomainParser
import GenericParser.IPAddress as IPAddress import GenericParser.IPAddress as IPAddress
import GenericParser.RFC5234 as RFC5234 import GenericParser.RFC5234 as RFC5234
import App.Type.DKIM as DKIM import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.DMARC as DMARC import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.CAA as CAA import App.Type.ResourceRecord.CAA as CAA
import Utils (id) import Utils (id)