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

This commit is contained in:
Philippe Pittoli 2025-07-25 17:28:16 +02:00
parent e39e88dd2f
commit 23f4e6fbe9
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.Delegation (mkEmptyDelegationForm, update, Form, Field) as Delegation
import App.Type.RRModal (RRModal(..))
import App.Type.DKIM as DKIM
import App.Type.DMARC as DMARC
import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.LogMessage (LogMessage(..))
import App.Message.DNSManagerDaemon as DNSManager

View file

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

View file

@ -29,7 +29,7 @@ import Halogen.HTML as HH
import Halogen.HTML.Properties as HP
import Data.String.CodePoints as CP
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.SPF ( show_mechanism, show_mechanism_type

View file

@ -1,6 +1,6 @@
module App.Type.ResourceRecord where
import Prelude (($), (-), (<>), map, bind, pure, class Show)
import Prelude (class Show, ($), (-), (<>))
-- import Data.String (toLower)
import Data.Generic.Rep (class Generic)
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.Int (fromString)
import App.Type.DKIM as DKIM
import App.Type.DMARC as DMARC
import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.ResourceRecord.SPF as SPF
import App.Type.CAA as CAA
import App.Type.ResourceRecord.CAA as CAA
type ResourceRecord
= { rrtype :: String

View file

@ -1,6 +1,6 @@
-- | The Certification Authority Authorization (CAA) record is described in RFC8859.
-- | 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 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 Data.Generic.Rep (class Generic)

View file

@ -1,6 +1,6 @@
-- | DMARC is a spam mitigation mechanism described in RFC7489.
-- | DMARC is built on top of DKIM and SPF.
module App.Type.DMARC where
module App.Type.ResourceRecord.DMARC where
import Prelude
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.RFC5234 as RFC5234
import App.Type.DKIM as DKIM
import App.Type.DMARC as DMARC
import App.Type.CAA as CAA
import App.Type.ResourceRecord.DKIM as DKIM
import App.Type.ResourceRecord.DMARC as DMARC
import App.Type.ResourceRecord.CAA as CAA
import Utils (id)