{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE CPP #-}
module Distribution.Fedora.Branch
( Branch(..)
, readBranch
, readBranch'
, eitherBranch
, eitherBranch'
, readActiveBranch
, readActiveBranch'
, eitherActiveBranch
, newerBranch
, releaseBranch
, getFedoraBranches
, getFedoraBranched
, branchDestTag
, branchDist
, branchTarget
)
where
#if (defined(MIN_VERSION_base) && MIN_VERSION_base(4,8,0))
#else
import Control.Applicative ((<$>))
#endif
import Data.Char (isDigit)
import qualified Data.Text as T
import qualified Distribution.Fedora as Dist
data Branch = EPEL Int | EPELNext Int | Fedora Int | Rawhide
deriving (Branch -> Branch -> Bool
(Branch -> Branch -> Bool)
-> (Branch -> Branch -> Bool) -> Eq Branch
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Branch -> Branch -> Bool
== :: Branch -> Branch -> Bool
$c/= :: Branch -> Branch -> Bool
/= :: Branch -> Branch -> Bool
Eq, Eq Branch
Eq Branch
-> (Branch -> Branch -> Ordering)
-> (Branch -> Branch -> Bool)
-> (Branch -> Branch -> Bool)
-> (Branch -> Branch -> Bool)
-> (Branch -> Branch -> Bool)
-> (Branch -> Branch -> Branch)
-> (Branch -> Branch -> Branch)
-> Ord Branch
Branch -> Branch -> Bool
Branch -> Branch -> Ordering
Branch -> Branch -> Branch
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: Branch -> Branch -> Ordering
compare :: Branch -> Branch -> Ordering
$c< :: Branch -> Branch -> Bool
< :: Branch -> Branch -> Bool
$c<= :: Branch -> Branch -> Bool
<= :: Branch -> Branch -> Bool
$c> :: Branch -> Branch -> Bool
> :: Branch -> Branch -> Bool
$c>= :: Branch -> Branch -> Bool
>= :: Branch -> Branch -> Bool
$cmax :: Branch -> Branch -> Branch
max :: Branch -> Branch -> Branch
$cmin :: Branch -> Branch -> Branch
min :: Branch -> Branch -> Branch
Ord)
eitherBranch :: String -> Either String Branch
eitherBranch :: [Char] -> Either [Char] Branch
eitherBranch [Char]
"rawhide" = Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
Rawhide
eitherBranch (Char
'f':[Char]
ns) | (Char -> Bool) -> [Char] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Char -> Bool
isDigit [Char]
ns = let br :: Branch
br = Int -> Branch
Fedora ([Char] -> Int
forall a. Read a => [Char] -> a
read [Char]
ns) in Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
br
eitherBranch [Char]
"epel8-next" = Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right (Branch -> Either [Char] Branch) -> Branch -> Either [Char] Branch
forall a b. (a -> b) -> a -> b
$ Int -> Branch
EPELNext Int
8
eitherBranch [Char]
"epel9-next" = Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right (Branch -> Either [Char] Branch) -> Branch -> Either [Char] Branch
forall a b. (a -> b) -> a -> b
$ Int -> Branch
EPELNext Int
9
eitherBranch (Char
'e':Char
'p':Char
'e':Char
'l':[Char]
n) | (Char -> Bool) -> [Char] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Char -> Bool
isDigit [Char]
n = let br :: Branch
br = Int -> Branch
EPEL ([Char] -> Int
forall a. Read a => [Char] -> a
read [Char]
n) in Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
br
eitherBranch (Char
'e':Char
'l':[Char]
n) | (Char -> Bool) -> [Char] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Char -> Bool
isDigit [Char]
n = let br :: Branch
br = Int -> Branch
EPEL ([Char] -> Int
forall a. Read a => [Char] -> a
read [Char]
n) in Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
br
eitherBranch [Char]
cs = [Char] -> Either [Char] Branch
forall a b. a -> Either a b
Left [Char]
cs
eitherBranch' :: String -> Either String Branch
eitherBranch' :: [Char] -> Either [Char] Branch
eitherBranch' [Char]
cs = case [Char] -> Either [Char] Branch
eitherBranch [Char]
cs of
Right Branch
br -> Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
br
Left [Char]
xs -> [Char] -> Either [Char] Branch
forall a b. a -> Either a b
Left ([Char] -> Either [Char] Branch) -> [Char] -> Either [Char] Branch
forall a b. (a -> b) -> a -> b
$ [Char]
xs [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
" is not a known Fedora/EPEL branch"
readBranch :: String -> Maybe Branch
readBranch :: [Char] -> Maybe Branch
readBranch [Char]
bs =
case [Char] -> Either [Char] Branch
eitherBranch [Char]
bs of
Left [Char]
_ -> Maybe Branch
forall a. Maybe a
Nothing
Right Branch
br -> Branch -> Maybe Branch
forall a. a -> Maybe a
Just Branch
br
readBranch' :: String -> Branch
readBranch' :: [Char] -> Branch
readBranch' [Char]
bs =
case [Char] -> Either [Char] Branch
eitherBranch [Char]
bs of
Left [Char]
e -> [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$! [Char]
"unknown Fedora branch: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
e
Right Branch
br -> Branch
br
eitherActiveBranch :: [Branch] -> String -> Either String Branch
eitherActiveBranch :: [Branch] -> [Char] -> Either [Char] Branch
eitherActiveBranch [Branch]
active [Char]
bs =
case [Char] -> Either [Char] Branch
eitherBranch [Char]
bs of
Left [Char]
e -> [Char] -> Either [Char] Branch
forall a b. a -> Either a b
Left [Char]
e
Right Branch
br -> if Branch
br Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
active
then Branch -> Either [Char] Branch
forall a b. b -> Either a b
Right Branch
br
else [Char] -> Either [Char] Branch
forall a b. a -> Either a b
Left [Char]
bs
readActiveBranch :: [Branch] -> String -> Maybe Branch
readActiveBranch :: [Branch] -> [Char] -> Maybe Branch
readActiveBranch [Branch]
active [Char]
cs =
case [Branch] -> [Char] -> Either [Char] Branch
eitherActiveBranch [Branch]
active [Char]
cs of
Left [Char]
_ -> Maybe Branch
forall a. Maybe a
Nothing
Right Branch
br -> Branch -> Maybe Branch
forall a. a -> Maybe a
Just Branch
br
readActiveBranch' :: [Branch] -> String -> Branch
readActiveBranch' :: [Branch] -> [Char] -> Branch
readActiveBranch' [Branch]
active [Char]
cs =
case [Branch] -> [Char] -> Either [Char] Branch
eitherActiveBranch [Branch]
active [Char]
cs of
Left [Char]
e -> [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"inactive Fedora branch: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
e
Right Branch
br -> Branch
br
instance Show Branch where
show :: Branch -> [Char]
show Branch
Rawhide = [Char]
"rawhide"
show (Fedora Int
n) = [Char]
"f" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Int -> [Char]
forall a. Show a => a -> [Char]
show Int
n
show (EPEL Int
n) = (if Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
6 then [Char]
"el" else [Char]
"epel") [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Int -> [Char]
forall a. Show a => a -> [Char]
show Int
n
show (EPELNext Int
n) = [Char]
"epel" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Int -> [Char]
forall a. Show a => a -> [Char]
show Int
n [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"-next"
branchDestTag :: Branch -> String
branchDestTag :: Branch -> [Char]
branchDestTag Branch
Rawhide = [Char]
"rawhide"
branchDestTag (Fedora Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
Fedora Int
n) [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"-updates-candidate"
branchDestTag (EPEL Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPEL Int
n) [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"-testing-candidate"
branchDestTag (EPELNext Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPELNext Int
n) [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ [Char]
"-testing-candidate"
branchTarget :: Branch -> String
branchTarget :: Branch -> [Char]
branchTarget (Fedora Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
Fedora Int
n)
branchTarget (EPEL Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPEL Int
n)
branchTarget (EPELNext Int
n) = Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPELNext Int
n)
branchTarget Branch
Rawhide = [Char]
"rawhide"
newerBranch :: Branch -> [Branch] -> Branch
newerBranch :: Branch -> [Branch] -> Branch
newerBranch Branch
Rawhide [Branch]
_ = Branch
Rawhide
newerBranch (Fedora Int
n) [Branch]
branches =
if Int -> Branch
Fedora Int
n Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then if Int -> Branch
Fedora (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then Int -> Branch
Fedora (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1)
else Branch
Rawhide
else [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupported branch: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
Fedora Int
n)
newerBranch (EPEL Int
n) [Branch]
branches =
if Int -> Branch
EPEL Int
n Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then if Int -> Branch
EPEL (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then Int -> Branch
EPEL (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1)
else Int -> Branch
EPEL Int
n
else [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupported branch: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPEL Int
n)
newerBranch (EPELNext Int
n) [Branch]
branches =
if Int -> Branch
EPELNext Int
n Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then if Int -> Branch
EPELNext (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Branch -> [Branch] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Branch]
branches
then Int -> Branch
EPELNext (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1)
else Int -> Branch
EPELNext Int
n
else [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupported branch: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Branch -> [Char]
forall a. Show a => a -> [Char]
show (Int -> Branch
EPELNext Int
n)
getFedoraBranches :: IO [Branch]
getFedoraBranches :: IO [Branch]
getFedoraBranches = do
let epelnext :: [Branch]
epelnext = [Int -> Branch
EPELNext Int
8, Int -> Branch
EPELNext Int
9]
[Branch]
brs <- (Text -> Branch) -> [Text] -> [Branch]
forall a b. (a -> b) -> [a] -> [b]
map Text -> Branch
releaseBranch ([Text] -> [Branch]) -> IO [Text] -> IO [Branch]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> IO [Text]
Dist.getReleaseIds
[Branch] -> IO [Branch]
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ([Branch] -> IO [Branch]) -> [Branch] -> IO [Branch]
forall a b. (a -> b) -> a -> b
$ [Branch]
brs [Branch] -> [Branch] -> [Branch]
forall a. [a] -> [a] -> [a]
++ [Branch]
epelnext
releaseBranch :: T.Text -> Branch
releaseBranch :: Text -> Branch
releaseBranch Text
"fedora-rawhide" = Branch
Rawhide
releaseBranch Text
rel | Text
"fedora-" Text -> Text -> Bool
`T.isPrefixOf` Text
rel =
let (Text
_,[Char]
ver) = Text -> [Char]
T.unpack (Text -> [Char]) -> (Text, Text) -> (Text, [Char])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> HasCallStack => Text -> Text -> (Text, Text)
Text -> Text -> (Text, Text)
T.breakOnEnd Text
"-" Text
rel in
if (Char -> Bool) -> [Char] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Char -> Bool
isDigit [Char]
ver
then Int -> Branch
Fedora (Int -> Branch) -> Int -> Branch
forall a b. (a -> b) -> a -> b
$ [Char] -> Int
forall a. Read a => [Char] -> a
read [Char]
ver
else [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupport release: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Text -> [Char]
T.unpack Text
rel
| Text
"epel-" Text -> Text -> Bool
`T.isPrefixOf` Text
rel =
let (Text
_,[Char]
ver) = Text -> [Char]
T.unpack (Text -> [Char]) -> (Text, Text) -> (Text, [Char])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> HasCallStack => Text -> Text -> (Text, Text)
Text -> Text -> (Text, Text)
T.breakOnEnd Text
"-" Text
rel in
if (Char -> Bool) -> [Char] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Char -> Bool
isDigit [Char]
ver
then Int -> Branch
EPEL (Int -> Branch) -> Int -> Branch
forall a b. (a -> b) -> a -> b
$ [Char] -> Int
forall a. Read a => [Char] -> a
read [Char]
ver
else [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupport release: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Text -> [Char]
T.unpack Text
rel
| Bool
otherwise = [Char] -> Branch
forall a. [Char] -> a
error' ([Char] -> Branch) -> [Char] -> Branch
forall a b. (a -> b) -> a -> b
$ [Char]
"Unsupport release: " [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++ Text -> [Char]
T.unpack Text
rel
getFedoraBranched :: IO [Branch]
getFedoraBranched :: IO [Branch]
getFedoraBranched = (Branch -> Bool) -> [Branch] -> [Branch]
forall a. (a -> Bool) -> [a] -> [a]
filter (Branch -> Branch -> Bool
forall a. Eq a => a -> a -> Bool
/= Branch
Rawhide) ([Branch] -> [Branch]) -> IO [Branch] -> IO [Branch]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> IO [Branch]
getFedoraBranches
error' :: String -> a
#if (defined(MIN_VERSION_base) && MIN_VERSION_base(4,9,0))
error' :: forall a. [Char] -> a
error' = [Char] -> a
forall a. [Char] -> a
errorWithoutStackTrace
#else
error' = error
#endif
branchDist :: Branch -> IO Dist.Dist
branchDist :: Branch -> IO Dist
branchDist (Fedora Int
n) = Dist -> IO Dist
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Dist -> IO Dist) -> Dist -> IO Dist
forall a b. (a -> b) -> a -> b
$ Int -> Dist
Dist.Fedora Int
n
branchDist (EPEL Int
n) = Dist -> IO Dist
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Dist -> IO Dist) -> Dist -> IO Dist
forall a b. (a -> b) -> a -> b
$ Int -> Dist
Dist.EPEL Int
n
branchDist (EPELNext Int
n) = Dist -> IO Dist
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Dist -> IO Dist) -> Dist -> IO Dist
forall a b. (a -> b) -> a -> b
$ Int -> Dist
Dist.EPELNext Int
n
branchDist Branch
Rawhide = IO Dist
Dist.getRawhideDist