%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% any later version.
%
% This program is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
% GNU General Public License for more details.
%
% You should have received a copy of the GNU General Public License
% along with this program. If not, see .
\clearpage
\section{Misc. utility functions}
\ignore{
\begin{code}
module DBus.Util
( checkLength
, parseMaybe
, mkUnsafe
, hexToInt
, eitherToMaybe
) where
import Text.Parsec (Parsec, parse)
import Data.Char (digitToInt)
\end{code}
}
\begin{code}
checkLength :: Int -> String -> Maybe String
checkLength length' s | length s <= length' = Just s
checkLength _ _ = Nothing
\end{code}
\begin{code}
parseMaybe :: Parsec String () a -> String -> Maybe a
parseMaybe p = either (const Nothing) Just . parse p ""
\end{code}
\begin{code}
mkUnsafe :: Show a => String -> (a -> Maybe b) -> a -> b
mkUnsafe label f x = case f x of
Just x' -> x'
Nothing -> error $ "Invalid " ++ label ++ ": " ++ show x
\end{code}
\begin{code}
hexToInt :: String -> Int
hexToInt = foldl ((+) . (16 *)) 0 . map digitToInt
\end{code}
\begin{code}
eitherToMaybe :: Either a b -> Maybe b
eitherToMaybe (Left _) = Nothing
eitherToMaybe (Right x) = Just x
\end{code}