X-Git-Url: http://www.average.org/gitweb/?p=pdns-pipe-nmc.git;a=blobdiff_plain;f=NmcDom.hs;h=dac614ba123e241be7c68e3b6c5bc379ff30f85f;hp=db600304df2a38a55bef100676ee969712bb26fe;hb=18e24a6fca605da574ba3add941ee9981e5396af;hpb=414c9f928e12e0c240d55d79ff8360adc6b4d138 diff --git a/NmcDom.hs b/NmcDom.hs index db60030..dac614b 100644 --- a/NmcDom.hs +++ b/NmcDom.hs @@ -9,16 +9,16 @@ module NmcDom ( NmcDom(..) ) where import Prelude hiding (length) -import Control.Applicative ((<$>), (<*>), empty, pure) +import Control.Applicative ((<$>), (<*>), liftA2, empty, pure) import Data.Char import Data.Text (Text, unpack) import Data.List (union) import Data.List.Split import Data.Vector ((!), length) import qualified Data.Vector as V (singleton) -import Data.Map (Map, unionWith) -import qualified Data.Map as M (singleton, empty) -import qualified Data.HashMap.Strict as H (lookup) +import Data.Map (Map, unionWith, foldrWithKey) +import qualified Data.Map as M (singleton, empty, insert, insertWith) +import qualified Data.HashMap.Strict as H (lookup, foldrWithKey) import Data.Aeson import Data.Aeson.Types import Data.Default.Class @@ -71,10 +71,24 @@ makeMx o = Just _ -> empty makeSubmap :: Object -> Parser (Maybe (Map String NmcDom)) -makeSubmap o = ((.).(.)) merge merge <$> takeTls o <*> takeSrv o <*> takeMap o +makeSubmap o = takeTls o `fmerge` takeSrv o `fmerge` takeMap o + where fmerge = liftA2 merge takeMap :: Object -> Parser (Maybe (Map String NmcDom)) -takeMap o = o .:? "map" +takeMap o = + case H.lookup "map" o of + Nothing -> pure Nothing + Just (Object mo) -> H.foldrWithKey addmapentry (pure (Just M.empty)) mo + where + addmapentry "" v acc = parseJSON v >>= inject acc "" + addmapentry k v acc = nest (splitOn "." (unpack k)) v acc + nest [] v acc = empty -- does not happen as a result of splitOn + nest [""] v acc = empty -- empty element of fqdn forbidden + nest [d] v acc = parseJSON v >>= inject acc d + nest (d:ds) v acc = + nest ds v acc >>= (inject acc d) . (\r -> def { domSubmap = r }) + inject acc d r = (fmap.fmap) (M.insertWith merge d r) acc + _ -> empty takeSrv :: Object -> Parser (Maybe (Map String NmcDom)) takeSrv o = @@ -97,7 +111,25 @@ takeSrv o = -- takeTls is almost, but not quite, entirely unlike takeSrv takeTls :: Object -> Parser (Maybe (Map String NmcDom)) -takeTls o = o .:? "map" -- FIXME +takeTls o = + case H.lookup "tls" o of + Nothing -> pure Nothing + Just (Object t) -> + (parseJSON (Object t) :: Parser (Map String (Map String [NmcRRTlsa]))) + >>= tmap2dmap + where + tmap2dmap :: Map String (Map String [NmcRRTlsa]) + -> Parser (Maybe (Map String NmcDom)) + -- FIXME return parse error on invalid proto or port + tmap2dmap m1 = return $ foldrWithKey addprotoelem (Just M.empty) m1 + addprotoelem k1 m2 acc = protoelem k1 m2 `merge` acc + protoelem k1 m2 = Just (M.singleton ("_" ++ k1) (pmap2dmap m2)) + pmap2dmap m2 = foldrWithKey addportelem def m2 + addportelem k2 v acc = portelem k2 v `merge` acc + portelem k2 v = + def { domSubmap = Just (M.singleton ("_" ++ k2) + def { domTlsa = Just v }) } + Just _ -> empty class Mergeable a where merge :: a -> a -> a -- bias towads second arg @@ -150,9 +182,21 @@ instance Mergeable NmcRRI2p where data NmcRRTlsa = NmcRRTlsa { tlsMatchType :: Int -- 0:exact 1:sha256 2:sha512 , tlsMatchValue :: String - , tlsIncSubdoms :: Int -- 1:enforce on subdoms 0:no + , tlsIncSubdoms :: Bool -- enforce on subdoms? } deriving (Show, Eq) +instance FromJSON NmcRRTlsa where + parseJSON (Array a) = + if length a == 3 then NmcRRTlsa + <$> parseJSON (a ! 0) + <*> parseJSON (a ! 1) + <*> case (a ! 2) of + Number 0 -> return False + Number 1 -> return True + _ -> empty + else empty + parseJSON _ = empty + instance Mergeable NmcRRTlsa where merge _ b = b