karchnu/halogen-websocket-ipc-playzone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

RR.purs: clean unused code.

Browse Source
This commit is contained in:
Philippe Pittoli 2023-07-12 19:11:09 +02:00
parent 297f0312bd
commit 52bbebd879
1 changed files with 11 additions and 75 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

86
src/App/RR.purs
View File

@ -51,84 +51,20 @@ type SOARR l
, minttl :: String -- Int
| l)
--data Status
-- = Synchronized
-- | UnSynchronized
--
--type Reason = String
--data Validity
-- = Valid
-- | Invalid (Maybe Reason)
--
---- TODO: add smart constructors.
--data Domain = Domain String
--data RRAValue = RRAValue String
--data RRAAAAValue = RRAAAAValue String
--data RRCNAMEValue = RRCNAMEValue String
--data RRNSValue = RRNSValue String
--data RRTXTValue = RRTXTValue String
--data RRMXValue = RRMXValue String
--data RRSRVValue = RRSRVValue String
--data Priority = Priority String
--data Weight = Weight String
--data Port = Port String
--
--data RR
-- = A RRId Status Validity TTL Domain RRAValue
-- | AAAA RRId Status Validity TTL Domain RRAAAAValue
-- | CNAME RRId Status Validity TTL Domain RRCNAMEValue
-- | NS RRId Status Validity TTL Domain RRNSValue
-- | TXT RRId Status Validity TTL Domain RRTXTValue
-- | MX RRId Status Validity TTL Domain RRMXValue Priority
-- | SRV RRId Status Validity TTL Domain RRSRVValue Priority Weight Port
mkNS :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> RecordBase ()
mkNS i c ok t d v
= { id: i, t: "NS", modified: c, valid: ok
, ttl: t, domain: d, value: v }
mkA :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> RecordBase ()
mkA i c ok t d v
= { id: i, t: "A", modified: c, valid: ok
, ttl: t, domain: d, value: v }
mkAAAA :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> RecordBase ()
mkAAAA i c ok t d v
= { id: i, t: "AAAA", modified: c, valid: ok
, ttl: t, domain: d, value: v }
mkCNAME :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> RecordBase ()
mkCNAME i c ok t d v
= { id: i, t: "CNAME", modified: c, valid: ok
, ttl: t, domain: d, value: v }
mkTXT :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> RecordBase ()
mkTXT i c ok t d v
= { id: i, t: "TXT", modified: c, valid: ok
, ttl: t, domain: d, value: v }
mkMX :: RRId -> Modified -> Valid
-> TTL -> RecordDomain -> RecordValue -> Priority -> MXRR ()
mkMX i c ok t d v p
= { id: i, t: "MX", modified: c, valid: ok
, ttl: t, priority: p, domain: d, value: v }
mkSRV :: RRId -> Modified -> Valid
-> Priority -> Protocol -> Weight -> Port
-> TTL -> RecordDomain -> RecordValue -> SRVRR ()
mkSRV i c ok p prot w prt t d v
= { id: i, t: "SRV", modified: c
, valid: ok, priority: p, protocol: prot, weight: w, port: prt
, ttl: t, domain: d, value: v
}
defaultResourceA :: SimpleRR ()
defaultResourceA = mkA 0 false true "200" "www" "192.168.10.2"
defaultResourceA
= { id: 0, t: "A", modified: false, valid: true
, ttl: "200", domain: "www", value: "192.168.10.2" }
defaultResourceMX :: MXRR ()
defaultResourceMX = mkMX 0 false true "500" "mail" "www" "200"
defaultResourceMX
= { id: 0, t: "MX", modified: false, valid: true
, ttl: "500", priority: "10", domain: "mail", value: "www" }
defaultResourceSRV :: SRVRR ()
-- RRId Modified Valid Priority Protocol Weight Port TTL Domain Value
defaultResourceSRV = mkSRV 0 false true "10" "_tcp" "100" "80" "200" "_sip._tcp.example.com." "sip.example.com."
defaultResourceSRV
= { id: 0, t: "SRV", modified: false, valid: true
, priority: "10", protocol: "_tcp", weight: "100"
, port: "80", ttl: "200"
, domain: "_sip._tcp.example.com.", value: "sip.example.com." }