{-# LANGUAGE CPP #-}
module Data.Version.Package
(
PackageVersion (..),
Internal.mkPackageVersion,
mkPackageVersionTH,
unsafePackageVersion,
fromVersion,
fromString,
fromText,
toVersion,
toString,
Internal.toText,
packageVersionTH,
packageVersionStringTH,
packageVersionTextTH,
packageVersionThrowIO,
packageVersionStringIO,
packageVersionTextIO,
packageVersionEitherIO,
ValidationError (..),
ReadStringError (..),
ReadFileError (..),
)
where
import Control.Exception
( Exception (displayException, fromException, toException),
SomeAsyncException (SomeAsyncException),
SomeException,
throwIO,
try,
)
import Control.Monad ((>=>))
import Data.Bifunctor (Bifunctor (first, second))
import Data.ByteString qualified as BS
import Data.List qualified as L
import Data.List.NonEmpty qualified as NE
import Data.Text (Text)
import Data.Text qualified as T
import Data.Text.Encoding (decodeUtf8With)
import Data.Text.Encoding.Error (lenientDecode)
import Data.Version (Version (Version, versionBranch))
import Data.Version.Package.Internal
( PackageVersion (MkPackageVersion, unPackageVersion),
ReadFileError
( ReadFileErrorGeneral,
ReadFileErrorReadString,
ReadFileErrorVersionNotFound
),
ReadStringError (ReadStringErrorParse, ReadStringErrorValidate),
ValidationError (ValidationErrorEmpty, ValidationErrorNegative),
)
import Data.Version.Package.Internal qualified as Internal
import GHC.Stack (HasCallStack)
#if MIN_VERSION_template_haskell(2, 17, 0)
import Language.Haskell.TH (Code, Q)
#else
import Language.Haskell.TH (Q, TExp)
#endif
import Language.Haskell.TH qualified as TH
import Language.Haskell.TH.Syntax (Lift (liftTyped))
import Text.Read qualified as TR
#if MIN_VERSION_template_haskell(2,17,0)
mkPackageVersionTH :: [Int] -> Code Q PackageVersion
#else
mkPackageVersionTH :: [Int] -> Q (TExp PackageVersion)
#endif
mkPackageVersionTH :: [Int] -> Code Q PackageVersion
mkPackageVersionTH [Int]
v = case [Int] -> Either ValidationError PackageVersion
Internal.mkPackageVersion [Int]
v of
Right PackageVersion
pv -> PackageVersion -> Code Q PackageVersion
forall t (m :: * -> *). (Lift t, Quote m) => t -> Code m t
forall (m :: * -> *).
Quote m =>
PackageVersion -> Code m PackageVersion
liftTyped PackageVersion
pv
Left ValidationError
err -> [Char] -> Code Q PackageVersion
forall a. HasCallStack => [Char] -> a
error ([Char] -> Code Q PackageVersion)
-> [Char] -> Code Q PackageVersion
forall a b. (a -> b) -> a -> b
$ ValidationError -> [Char]
forall e. Exception e => e -> [Char]
displayException ValidationError
err
unsafePackageVersion :: (HasCallStack) => [Int] -> PackageVersion
unsafePackageVersion :: HasCallStack => [Int] -> PackageVersion
unsafePackageVersion =
(ValidationError -> PackageVersion)
-> (PackageVersion -> PackageVersion)
-> Either ValidationError PackageVersion
-> PackageVersion
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either ([Char] -> PackageVersion
forall a. HasCallStack => [Char] -> a
error ([Char] -> PackageVersion)
-> (ValidationError -> [Char]) -> ValidationError -> PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ValidationError -> [Char]
forall e. Exception e => e -> [Char]
displayException) PackageVersion -> PackageVersion
forall a. a -> a
id
(Either ValidationError PackageVersion -> PackageVersion)
-> ([Int] -> Either ValidationError PackageVersion)
-> [Int]
-> PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Int] -> Either ValidationError PackageVersion
Internal.mkPackageVersion
fromVersion :: Version -> Either ValidationError PackageVersion
fromVersion :: Version -> Either ValidationError PackageVersion
fromVersion = [Int] -> Either ValidationError PackageVersion
Internal.mkPackageVersion ([Int] -> Either ValidationError PackageVersion)
-> (Version -> [Int])
-> Version
-> Either ValidationError PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Version -> [Int]
versionBranch
fromString :: String -> Either ReadStringError PackageVersion
fromString :: [Char] -> Either ReadStringError PackageVersion
fromString = Text -> Either ReadStringError PackageVersion
fromText (Text -> Either ReadStringError PackageVersion)
-> ([Char] -> Text)
-> [Char]
-> Either ReadStringError PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> Text
T.pack
fromText :: Text -> Either ReadStringError PackageVersion
fromText :: Text -> Either ReadStringError PackageVersion
fromText =
[Text] -> Either ReadStringError [Int]
readInts ([Text] -> Either ReadStringError [Int])
-> (Text -> [Text]) -> Text -> Either ReadStringError [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> [Text]
splitDots
(Text -> Either ReadStringError [Int])
-> ([Int] -> Either ReadStringError PackageVersion)
-> Text
-> Either ReadStringError PackageVersion
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ValidationError -> ReadStringError)
-> Either ValidationError PackageVersion
-> Either ReadStringError PackageVersion
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first ValidationError -> ReadStringError
ReadStringErrorValidate (Either ValidationError PackageVersion
-> Either ReadStringError PackageVersion)
-> ([Int] -> Either ValidationError PackageVersion)
-> [Int]
-> Either ReadStringError PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Int] -> Either ValidationError PackageVersion
Internal.mkPackageVersion
where
splitDots :: Text -> [Text]
splitDots = (Char -> Bool) -> Text -> [Text]
T.split (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== Char
'.')
readInts :: [Text] -> Either ReadStringError [Int]
readInts = ([Char] -> ReadStringError)
-> Either [Char] [Int] -> Either ReadStringError [Int]
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first [Char] -> ReadStringError
ReadStringErrorParse (Either [Char] [Int] -> Either ReadStringError [Int])
-> ([Text] -> Either [Char] [Int])
-> [Text]
-> Either ReadStringError [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Text -> Either [Char] Int) -> [Text] -> Either [Char] [Int]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> [a] -> f [b]
traverse ([Char] -> Either [Char] Int
forall a. Read a => [Char] -> Either [Char] a
TR.readEither ([Char] -> Either [Char] Int)
-> (Text -> [Char]) -> Text -> Either [Char] Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> [Char]
T.unpack)
toVersion :: PackageVersion -> Version
toVersion :: PackageVersion -> Version
toVersion (MkPackageVersion NonEmpty Word
v) = [Int] -> [[Char]] -> Version
Version (NonEmpty Int -> [Int]
forall a. NonEmpty a -> [a]
NE.toList (NonEmpty Int -> [Int]) -> NonEmpty Int -> [Int]
forall a b. (a -> b) -> a -> b
$ (Word -> Int) -> NonEmpty Word -> NonEmpty Int
forall a b. (a -> b) -> NonEmpty a -> NonEmpty b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Word -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral NonEmpty Word
v) []
toString :: PackageVersion -> String
toString :: PackageVersion -> [Char]
toString =
[Char] -> [[Char]] -> [Char]
forall a. [a] -> [[a]] -> [a]
L.intercalate [Char]
"."
([[Char]] -> [Char])
-> (PackageVersion -> [[Char]]) -> PackageVersion -> [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Word -> [Char]) -> [Word] -> [[Char]]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Word -> [Char]
forall a. Show a => a -> [Char]
show
([Word] -> [[Char]])
-> (PackageVersion -> [Word]) -> PackageVersion -> [[Char]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. NonEmpty Word -> [Word]
forall a. NonEmpty a -> [a]
NE.toList
(NonEmpty Word -> [Word])
-> (PackageVersion -> NonEmpty Word) -> PackageVersion -> [Word]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PackageVersion -> NonEmpty Word
unPackageVersion
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionTH :: FilePath -> Code Q PackageVersion
#else
packageVersionTH :: FilePath -> Q (TExp PackageVersion)
#endif
packageVersionTH :: [Char] -> Code Q PackageVersion
packageVersionTH = ([Char] -> IO PackageVersion) -> [Char] -> Code Q PackageVersion
forall b a. Lift b => (a -> IO b) -> a -> Code Q b
ioToTH [Char] -> IO PackageVersion
unsafePackageVersionIO
where
unsafePackageVersionIO :: [Char] -> IO PackageVersion
unsafePackageVersionIO =
(Either ReadFileError PackageVersion -> PackageVersion)
-> IO (Either ReadFileError PackageVersion) -> IO PackageVersion
forall a b. (a -> b) -> IO a -> IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((ReadFileError -> PackageVersion)
-> (PackageVersion -> PackageVersion)
-> Either ReadFileError PackageVersion
-> PackageVersion
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either ([Char] -> PackageVersion
forall a. HasCallStack => [Char] -> a
error ([Char] -> PackageVersion)
-> (ReadFileError -> [Char]) -> ReadFileError -> PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ReadFileError -> [Char]
forall e. Exception e => e -> [Char]
displayException) PackageVersion -> PackageVersion
forall a. a -> a
id)
(IO (Either ReadFileError PackageVersion) -> IO PackageVersion)
-> ([Char] -> IO (Either ReadFileError PackageVersion))
-> [Char]
-> IO PackageVersion
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionStringTH :: FilePath -> Code Q String
#else
packageVersionStringTH :: FilePath -> Q (TExp String)
#endif
packageVersionStringTH :: [Char] -> Code Q [Char]
packageVersionStringTH = ([Char] -> IO [Char]) -> [Char] -> Code Q [Char]
forall b a. Lift b => (a -> IO b) -> a -> Code Q b
ioToTH [Char] -> IO [Char]
packageVersionStringIO
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionTextTH :: FilePath -> Code Q Text
#else
packageVersionTextTH :: FilePath -> Q (TExp Text)
#endif
packageVersionTextTH :: [Char] -> Code Q Text
packageVersionTextTH = ([Char] -> IO Text) -> [Char] -> Code Q Text
forall b a. Lift b => (a -> IO b) -> a -> Code Q b
ioToTH [Char] -> IO Text
packageVersionTextIO
packageVersionThrowIO :: FilePath -> IO PackageVersion
packageVersionThrowIO :: [Char] -> IO PackageVersion
packageVersionThrowIO = [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO ([Char] -> IO (Either ReadFileError PackageVersion))
-> (Either ReadFileError PackageVersion -> IO PackageVersion)
-> [Char]
-> IO PackageVersion
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ReadFileError -> IO PackageVersion)
-> (PackageVersion -> IO PackageVersion)
-> Either ReadFileError PackageVersion
-> IO PackageVersion
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either ReadFileError -> IO PackageVersion
forall e a. Exception e => e -> IO a
throwIO PackageVersion -> IO PackageVersion
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure
packageVersionStringIO :: FilePath -> IO String
packageVersionStringIO :: [Char] -> IO [Char]
packageVersionStringIO = (Text -> [Char]) -> IO Text -> IO [Char]
forall a b. (a -> b) -> IO a -> IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Text -> [Char]
T.unpack (IO Text -> IO [Char])
-> ([Char] -> IO Text) -> [Char] -> IO [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> IO Text
packageVersionTextIO
packageVersionTextIO :: FilePath -> IO Text
packageVersionTextIO :: [Char] -> IO Text
packageVersionTextIO [Char]
fp = do
Either ReadFileError PackageVersion
eVersion <- [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO [Char]
fp
Text -> IO Text
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Text -> IO Text) -> Text -> IO Text
forall a b. (a -> b) -> a -> b
$ case Either ReadFileError PackageVersion
eVersion of
Left ReadFileError
_ -> Text
"UNKNOWN"
Right PackageVersion
v -> PackageVersion -> Text
Internal.toText PackageVersion
v
packageVersionEitherIO :: FilePath -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO :: [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO [Char]
fp = do
Either SomeException [Text]
eContents <- (Text -> [Text])
-> Either SomeException Text -> Either SomeException [Text]
forall b c a. (b -> c) -> Either a b -> Either a c
forall (p :: * -> * -> *) b c a.
Bifunctor p =>
(b -> c) -> p a b -> p a c
second Text -> [Text]
T.lines (Either SomeException Text -> Either SomeException [Text])
-> IO (Either SomeException Text)
-> IO (Either SomeException [Text])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall e a. Exception e => IO a -> IO (Either e a)
try' @SomeException ([Char] -> IO Text
readFile' [Char]
fp)
Either ReadFileError PackageVersion
-> IO (Either ReadFileError PackageVersion)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Either ReadFileError PackageVersion
-> IO (Either ReadFileError PackageVersion))
-> Either ReadFileError PackageVersion
-> IO (Either ReadFileError PackageVersion)
forall a b. (a -> b) -> a -> b
$ case Either SomeException [Text]
eContents of
Left SomeException
err -> ReadFileError -> Either ReadFileError PackageVersion
forall a b. a -> Either a b
Left (ReadFileError -> Either ReadFileError PackageVersion)
-> ReadFileError -> Either ReadFileError PackageVersion
forall a b. (a -> b) -> a -> b
$ [Char] -> ReadFileError
ReadFileErrorGeneral ([Char] -> ReadFileError) -> [Char] -> ReadFileError
forall a b. (a -> b) -> a -> b
$ SomeException -> [Char]
forall e. Exception e => e -> [Char]
displayException SomeException
err
Right [Text]
contents -> (Text
-> Either ReadFileError PackageVersion
-> Either ReadFileError PackageVersion)
-> Either ReadFileError PackageVersion
-> [Text]
-> Either ReadFileError PackageVersion
forall a b. (a -> b -> b) -> b -> [a] -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr Text
-> Either ReadFileError PackageVersion
-> Either ReadFileError PackageVersion
findVers Either ReadFileError PackageVersion
forall {b}. Either ReadFileError b
noVersErr [Text]
contents
where
noVersErr :: Either ReadFileError b
noVersErr = ReadFileError -> Either ReadFileError b
forall a b. a -> Either a b
Left (ReadFileError -> Either ReadFileError b)
-> ReadFileError -> Either ReadFileError b
forall a b. (a -> b) -> a -> b
$ [Char] -> ReadFileError
ReadFileErrorVersionNotFound [Char]
fp
findVers :: Text
-> Either ReadFileError PackageVersion
-> Either ReadFileError PackageVersion
findVers Text
line Either ReadFileError PackageVersion
acc = case Text -> Text -> Maybe Text
T.stripPrefix Text
"version:" Text
line of
Just Text
rest -> (ReadStringError -> ReadFileError)
-> Either ReadStringError PackageVersion
-> Either ReadFileError PackageVersion
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first ReadStringError -> ReadFileError
ReadFileErrorReadString (Either ReadStringError PackageVersion
-> Either ReadFileError PackageVersion)
-> Either ReadStringError PackageVersion
-> Either ReadFileError PackageVersion
forall a b. (a -> b) -> a -> b
$ Text -> Either ReadStringError PackageVersion
fromText (Text -> Text
T.strip Text
rest)
Maybe Text
Nothing -> Either ReadFileError PackageVersion
acc
readFile' :: [Char] -> IO Text
readFile' = (ByteString -> Text) -> IO ByteString -> IO Text
forall a b. (a -> b) -> IO a -> IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (OnDecodeError -> ByteString -> Text
decodeUtf8With OnDecodeError
lenientDecode) (IO ByteString -> IO Text)
-> ([Char] -> IO ByteString) -> [Char] -> IO Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> IO ByteString
BS.readFile
try' :: (Exception e) => IO a -> IO (Either e a)
try' :: forall e a. Exception e => IO a -> IO (Either e a)
try' IO a
io =
IO a -> IO (Either e a)
forall e a. Exception e => IO a -> IO (Either e a)
try IO a
io IO (Either e a)
-> (Either e a -> IO (Either e a)) -> IO (Either e a)
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \case
Left e
ex
| e -> Bool
forall e. Exception e => e -> Bool
isSyncException e
ex -> Either e a -> IO (Either e a)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Either e a -> IO (Either e a)) -> Either e a -> IO (Either e a)
forall a b. (a -> b) -> a -> b
$ e -> Either e a
forall a b. a -> Either a b
Left e
ex
| Bool
otherwise -> e -> IO (Either e a)
forall e a. Exception e => e -> IO a
throwIO e
ex
Right a
x -> Either e a -> IO (Either e a)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Either e a -> IO (Either e a)) -> Either e a -> IO (Either e a)
forall a b. (a -> b) -> a -> b
$ a -> Either e a
forall a b. b -> Either a b
Right a
x
isSyncException :: (Exception e) => e -> Bool
isSyncException :: forall e. Exception e => e -> Bool
isSyncException e
e =
case SomeException -> Maybe SomeAsyncException
forall e. Exception e => SomeException -> Maybe e
fromException (e -> SomeException
forall e. Exception e => e -> SomeException
toException e
e) of
Just (SomeAsyncException e
_) -> Bool
False
Maybe SomeAsyncException
Nothing -> Bool
True
#if MIN_VERSION_template_haskell(2, 17, 0)
ioToTH :: Lift b => (a -> IO b) -> a -> Code Q b
ioToTH :: forall b a. Lift b => (a -> IO b) -> a -> Code Q b
ioToTH a -> IO b
f a
x = Q b -> (b -> Code Q b) -> Code Q b
forall (m :: * -> *) a b.
Monad m =>
m a -> (a -> Code m b) -> Code m b
TH.bindCode (IO b -> Q b
forall a. IO a -> Q a
TH.runIO (a -> IO b
f a
x)) b -> Code Q b
forall t (m :: * -> *). (Lift t, Quote m) => t -> Code m t
forall (m :: * -> *). Quote m => b -> Code m b
liftTyped
#else
ioToTH :: Lift b => (a -> IO b) -> a -> Q (TExp b)
ioToTH f x = TH.runIO (f x) >>= liftTyped
#endif