+{-
+-- | replace Tls with Tlsa down in the Map
+-- This function is almost, but not quite, entirely unlike expandSrv.
+expandTls :: NmcDom -> NmcDom
+expandTls base =
+ let
+ base' = base { domTls = Nothing }
+ in
+ case domTls base of
+ Nothing -> base'
+ Just sl -> foldr addTlsa base' sl
+ where
+ addTlsa sr acc = sub1 `mergeNmcDom` acc
+ where
+ sub1 = def { domMap = Just (singleton proto sub2) }
+ sub2 = def { domMap = Just (singleton port sub3) }
+ sub3 = def { domTlsa = Just [tlsStr] }
+ proto = "_" ++ (tlsProto sr)
+ port = "_" ++ (tlsName sr)
+ tlsStr = (show (tlsPrio sr)) ++ "\t"
+ ++ (show (tlsWeight sr)) ++ " "
+ ++ (show (tlsPort sr)) ++ " "
+ ++ (tlsHost sr)
+-}
+
+-- | Convert map elements of the form "subN...sub2.sub1.dom.bit"
+-- into nested map and merge it
+splitSubdoms :: NmcDom -> NmcDom
+splitSubdoms base =
+ let
+ base' = base { domMap = Nothing }
+ in
+ case domMap base of
+ Nothing -> base'
+ Just sdmap -> (def { domMap = Just sdmap' }) `mergeNmcDom` base'
+ where
+ sdmap' = foldrWithKey stow empty sdmap
+ stow fqdn sdom acc = insertWith mergeNmcDom fqdn' sdom' acc
+ where
+ (fqdn', sdom') =
+ nest (filter (/= "") (splitOnDots fqdn), sdom)
+ splitOnDots s = map unpack (splitOn (pack ".") (pack s))
+ nest ([], v) = (fqdn, v) -- can split result be empty?
+ nest ([k], v) = (k, v)
+ nest (k:ks, v) =
+ nest (ks, def { domMap = Just (singleton k v) })
+
+-- | transfer some elements of `base` into `sub`, notably TLSA
+propagate :: NmcDom -> NmcDom -> NmcDom
+propagate base sub = sub -- FIXME implement it