module NixFromNpm.Parsers.SemVer (
parseSemVer, parseSemVerRange, pSemVerRange, pSemVer
) where
import qualified Prelude as P
import NixFromNpm.Parsers.Common
import NixFromNpm.SemVer
parseSemVerRange :: Text -> Either ParseError SemVerRange
parseSemVerRange = parse pSemVerRange
parseSemVer :: Text -> Either ParseError SemVer
parseSemVer = parse pSemVer
pSemVer :: Parser SemVer
pSemVer = wildcardToSemver <$> pWildCard
pVersionComp :: Parser SemVerRange
pVersionComp = do
comparator <- cmp
ver <- pSemVer
let func = case comparator of {"=" -> Eq; ">" -> Gt; "<" -> Lt;
">=" -> Geq; "<=" -> Leq; "==" -> Eq}
return $ func ver
cmp :: Parser String
cmp = choice $ fmap (try . sstring) [">=", "<=", ">", "<", "==", "="]
pSemVerRangeSingle :: Parser SemVerRange
pSemVerRangeSingle = choice [
wildcardToRange <$> pWildCard,
tildeToRange <$> pTildeRange,
caratToRange <$> pCaratRange,
pVersionComp
]
pJoinedSemVerRange :: Parser SemVerRange
pJoinedSemVerRange = do
first <- pSemVerRangeSingle
option first $ do
lookAhead (sstring "||" <|> cmp) >>= \case
"||" -> Or first <$> (sstring "||" *> pJoinedSemVerRange)
_ -> And first <$> pJoinedSemVerRange
pHyphen :: Parser SemVerRange
pHyphen = hyphenatedRange <$> pWildCard <*> (sstring "-" *> pWildCard)
pWildCard :: Parser Wildcard
pWildCard = try $ do
let seps = choice $ map sstring ["x", "X", "*"]
let bound = choice [seps *> pure Nothing, Just <$> pInt]
let stripNothings [Nothing] = []
stripNothings (Just x:xs) = x : stripNothings xs
takeWhile isJust <$> sepBy1 bound (sstring ".") >>= \case
[] -> return Any
[Just n] -> return $ One n
[Just n, Just m] -> return $ Two n m
[Just n, Just m, Just o] -> return $ Three n m o
w -> unexpected ("Invalid version " ++ show w)
pTildeRange :: Parser Wildcard
pTildeRange = do
sstring "~"
optional $ choice [try $ sstring ">=", sstring ">", sstring "="]
pWildCard
pCaratRange :: Parser Wildcard
pCaratRange = sstring "^" *> pWildCard
pSemVerRange :: Parser SemVerRange
pSemVerRange = try pHyphen <|> pJoinedSemVerRange