{-# LANGUAGE CPP #-}
{-# LANGUAGE UndecidableInstances #-}

-- |
-- Module: Data.Version.Package
-- Copyright: 2021 Thomas Bidne
-- License: BSD-3-Clause
-- Stability: experimental
--
-- This module provides functionality for reading a package's version
-- at compile-time, along with a type representing PVP version numbers.
-- If only the former is of interest then see 'packageVersionStringTH', as
-- this is likely the most useful function.
--
-- @since 0.1.0.0
module Data.Version.Package
  ( -- * Type
    PackageVersion (MkPackageVersion),

    -- ** Creation
    Internal.mkPackageVersion,
    mkPackageVersionTH,
    unsafePackageVersion,
    fromVersion,
    fromString,
    fromText,

    -- ** Elimination
    unPackageVersion,
    toVersion,
    toString,
    Internal.toText,

    -- * Reading Cabal Files

    -- ** TemplateHaskell
    -- $retrieve-version-th
    packageVersionTH,
    packageVersionStringTH,
    packageVersionTextTH,

    -- ** IO
    packageVersionThrowIO,
    packageVersionStringIO,
    packageVersionTextIO,
    packageVersionEitherIO,

    -- * Errors
    ValidationError (..),
    ReadStringError (..),
    ReadFileError (..),
  )
where

import Control.Exception.Safe (SomeException)
import Control.Exception.Safe qualified as SafeEx
import Control.Monad ((>=>))
import Data.Bifunctor (Bifunctor (..))
import Data.List qualified as L
import Data.Text (Text)
import Data.Text qualified as T
import Data.Version (Version (..))
#if MIN_VERSION_template_haskell(2, 17, 0)
import Language.Haskell.TH (Code, Q)
#else
import Language.Haskell.TH (Q, TExp)
#endif

#if MIN_VERSION_prettyprinter(1, 7, 1)
import Prettyprinter (Pretty (..))
import Prettyprinter qualified as Pretty
import Prettyprinter.Render.String qualified as PrettyS
#else
import Data.Text.Prettyprint.Doc (Pretty (..), (<+>))
import Data.Text.Prettyprint.Doc qualified as Pretty
import Data.Text.Prettyprint.Doc.Render.String qualified as PrettyS
#endif

import Data.Version.Package.Internal
  ( PackageVersion (..),
    ReadFileError (..),
    ReadStringError (..),
    ValidationError (..),
  )
import Data.Version.Package.Internal qualified as Internal
import Language.Haskell.TH qualified as TH
import Language.Haskell.TH.Syntax (Lift (..))
import System.IO qualified as IO
import Text.Read qualified as TR

-- $setup
-- >>> :set -XTemplateHaskell

-- | Safely constructs a 'PackageVersion' at compile-time.
--
-- ==== __Examples__
-- >>> $$(mkPackageVersionTH [2,4,0])
-- UnsafePackageVersion {unPackageVersion = [2,4,0]}
--
-- @since 0.1.0.0
#if MIN_VERSION_template_haskell(2,17,0)
mkPackageVersionTH :: [Int] -> Code Q PackageVersion
#else
mkPackageVersionTH :: [Int] -> Q (TExp PackageVersion)
#endif
mkPackageVersionTH :: [Int] -> Q (TExp PackageVersion)
mkPackageVersionTH [Int]
v = case [Int] -> Either ValidationError PackageVersion
Internal.mkPackageVersion [Int]
v of
  Right PackageVersion
pv -> PackageVersion -> Q (TExp PackageVersion)
forall t. Lift t => t -> Q (TExp t)
liftTyped PackageVersion
pv
  Left ValidationError
err -> [Char] -> Q (TExp PackageVersion)
forall a. HasCallStack => [Char] -> a
error ([Char] -> Q (TExp PackageVersion))
-> [Char] -> Q (TExp PackageVersion)
forall a b. (a -> b) -> a -> b
$ ValidationError -> [Char]
forall a. Pretty a => a -> [Char]
prettyErr ValidationError
err

-- | Unsafe version of 'Internal.mkPackageVersion', intended to be used with
-- known constants. Maybe you should use 'mkPackageVersionTH'?
--
-- __WARNING: This function is not total. Exercise restraint!__
--
-- ==== __Examples__
-- >>> unsafePackageVersion [1,2,3]
-- UnsafePackageVersion {unPackageVersion = [1,2,3]}
--
-- @since 0.1.0.0
unsafePackageVersion :: [Int] -> PackageVersion
unsafePackageVersion :: [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 a. Pretty a => a -> [Char]
prettyErr) 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

-- | Creates a 'PackageVersion' from 'Version'.
--
-- Note: Because 'PackageVersion' does not have a 'versionTags', 'fromVersion'
-- is not injective even on "well-formed" 'Version's (i.e. non-negative and length > 1).
-- That is, @'toVersion' . 'fromVersion'@ is /not/ an isomorphism.
--
-- ==== __Examples__
-- >>> fromVersion (Version [2,13,0] ["alpha"])
-- Right (UnsafePackageVersion {unPackageVersion = [2,13,0]})
--
-- >>> fromVersion (Version [] [])
-- Left (VTooShortErr [])
--
-- @since 0.1.0.0
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

-- | Attempts to read a 'String' into a 'PackageVersion'. Leading and/or
-- trailing dots will result in an error, as will the empty string.
--
-- ==== __Examples__
-- >>> fromString "1.4.27.3"
-- Right (UnsafePackageVersion {unPackageVersion = [1,4,27,3]})
--
-- >>> fromString ""
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromString "1.a.2"
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromString ".1.2"
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromString "1.2."
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromString "1"
-- Left (RsValidateErr (VTooShortErr [1]))
--
-- >>> fromString "-3.1.2"
-- Left (RsValidateErr (VNegativeErr (-3)))
--
-- @since 0.1.0.0
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

-- | Attempts to read a 'Text' into a 'PackageVersion'. Leading and/or
-- trailing dots will result in an error, as will the empty string.
--
-- ==== __Examples__
-- >>> fromText "1.4.27.3"
-- Right (UnsafePackageVersion {unPackageVersion = [1,4,27,3]})
--
-- >>> fromText ""
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromText "1.a.2"
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromText ".1.2"
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromText "1.2."
-- Left (RsReadStrErr "Prelude.read: no parse")
--
-- >>> fromText "1"
-- Left (RsValidateErr (VTooShortErr [1]))
--
-- >>> fromText "-3.1.2"
-- Left (RsValidateErr (VNegativeErr (-3)))
--
-- @since 0.1.0.0
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 (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first ValidationError -> ReadStringError
RsValidateErr (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 (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first [Char] -> ReadStringError
RsReadStrErr (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)
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)

-- | Creates a 'Version' with empty 'versionTags' from 'PackageVersion'.
--
-- ==== __Examples__
-- >>> toVersion (UnsafePackageVersion [3,2,0])
-- Version {versionBranch = [3,2,0], versionTags = []}
--
-- @since 0.1.0.0
toVersion :: PackageVersion -> Version
toVersion :: PackageVersion -> Version
toVersion (UnsafePackageVersion [Int]
v) = [Int] -> [[Char]] -> Version
Version [Int]
v []

-- | Displays 'PackageVersion' in 'String' format.
--
-- ==== __Examples__
-- >>> toString (UnsafePackageVersion [2,7,10,0])
-- "2.7.10.0"
--
-- @since 0.1.0.0
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
. (Int -> [Char]) -> [Int] -> [[Char]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Int -> [Char]
forall a. Show a => a -> [Char]
show ([Int] -> [[Char]])
-> (PackageVersion -> [Int]) -> PackageVersion -> [[Char]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PackageVersion -> [Int]
unPackageVersion

-- $retrieve-version-th
-- These functions allow for reading a cabal's version at compile-time. If
-- the intention is to simply read the value so it can be printed during
-- runtime (e.g. for an executable's @--version@ flag), then
-- 'packageVersionStringTH' (or 'packageVersionTextTH') is the best choice,
-- as any errors encountered will not prevent compilation.

-- | TemplateHaskell for reading the cabal file's version at compile-time.
-- Errors encountered will be returned as compilation errors.
--
-- ==== __Examples__
-- >>> $$(packageVersionTH "package-version.cabal")
-- UnsafePackageVersion {unPackageVersion = [0,1,0,0]}
--
-- @since 0.1.0.0
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionTH :: FilePath -> Code Q PackageVersion
#else
packageVersionTH :: FilePath -> Q (TExp PackageVersion)
#endif
packageVersionTH :: [Char] -> Q (TExp PackageVersion)
packageVersionTH = ([Char] -> IO PackageVersion) -> [Char] -> Q (TExp PackageVersion)
forall b a. Lift b => (a -> IO b) -> a -> Q (TExp b)
ioToTH [Char] -> IO PackageVersion
unsafePackageVersionIO
  where
    unsafePackageVersionIO :: [Char] -> IO PackageVersion
unsafePackageVersionIO = (Either ReadFileError PackageVersion -> PackageVersion)
-> IO (Either ReadFileError PackageVersion) -> IO PackageVersion
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 a. Pretty a => a -> [Char]
prettyErr) 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

-- | Version of 'packageVersionTH' that returns a 'String' representation of
-- 'PackageVersion' at compile-time. Returns @\"UNKNOWN\"@ if any errors are
-- encountered.
--
-- ==== __Examples__
-- >>> $$(packageVersionStringTH "package-version.cabal")
-- "0.1.0.0"
--
-- >>> $$(packageVersionStringTH "not-found.cabal")
-- "UNKNOWN"
--
-- @since 0.1.0.0
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionStringTH :: FilePath -> Code Q String
#else
packageVersionStringTH :: FilePath -> Q (TExp String)
#endif
packageVersionStringTH :: [Char] -> Q (TExp [Char])
packageVersionStringTH = ([Char] -> IO [Char]) -> [Char] -> Q (TExp [Char])
forall b a. Lift b => (a -> IO b) -> a -> Q (TExp b)
ioToTH [Char] -> IO [Char]
packageVersionStringIO

-- | Version of 'packageVersionTH' that returns a 'Text' representation of
-- 'PackageVersion' at compile-time. Returns @\"UNKNOWN\"@ if any errors are
-- encountered.
--
-- ==== __Examples__
-- >>> $$(packageVersionTextTH "package-version.cabal")
-- "0.1.0.0"
--
-- >>> $$(packageVersionTextTH "not-found.cabal")
-- "UNKNOWN"
--
-- @since 0.1.0.0
#if MIN_VERSION_template_haskell(2, 17, 0)
packageVersionTextTH :: FilePath -> Code Q Text
#else
packageVersionTextTH :: FilePath -> Q (TExp Text)
#endif
packageVersionTextTH :: [Char] -> Q (TExp Text)
packageVersionTextTH = ([Char] -> IO Text) -> [Char] -> Q (TExp Text)
forall b a. Lift b => (a -> IO b) -> a -> Q (TExp b)
ioToTH [Char] -> IO Text
packageVersionTextIO

-- | Version of 'packageVersionEitherIO' that throws an
-- 'Control.Exception.Safe.Exception' if any errors are encountered.
--
-- ==== __Examples__
-- >>> packageVersionThrowIO "package-version.cabal"
-- UnsafePackageVersion {unPackageVersion = [0,1,0,0]}
--
-- @since 0.1.0.0
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 (m :: * -> *) e a. (MonadThrow m, Exception e) => e -> m a
SafeEx.throw PackageVersion -> IO PackageVersion
forall (f :: * -> *) a. Applicative f => a -> f a
pure

-- | Version of 'packageVersionEitherIO' that returns a 'String' representation of
-- 'PackageVersion' at runtime. Returns @\"UNKNOWN\"@ if any errors are
-- encountered.
--
-- ==== __Examples__
-- >>> packageVersionStringIO "package-version.cabal"
-- "0.1.0.0"
--
-- >>> packageVersionStringIO "not-found.cabal"
-- "UNKNOWN"
--
-- @since 0.1.0.0
packageVersionStringIO :: FilePath -> IO String
packageVersionStringIO :: [Char] -> IO [Char]
packageVersionStringIO [Char]
fp = do
  Either ReadFileError PackageVersion
eVersion <- [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO [Char]
fp
  [Char] -> IO [Char]
forall (f :: * -> *) a. Applicative f => a -> f a
pure ([Char] -> IO [Char]) -> [Char] -> IO [Char]
forall a b. (a -> b) -> a -> b
$ case Either ReadFileError PackageVersion
eVersion of
    Left ReadFileError
_ -> [Char]
"UNKNOWN"
    Right PackageVersion
v -> PackageVersion -> [Char]
toString PackageVersion
v

-- | Version of 'packageVersionEitherIO' that returns a 'Text' representation of
-- 'PackageVersion' at runtime. Returns @\"UNKNOWN\"@ if any errors are
-- encountered.
--
-- ==== __Examples__
-- >>> packageVersionTextIO "package-version.cabal"
-- "0.1.0.0"
--
-- >>> packageVersionTextIO "not-found.cabal"
-- "UNKNOWN"
--
-- @since 0.1.0.0
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 (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

-- | Reads the cabal-file's version.
--
-- ==== __Examples__
-- >>> packageVersionEitherIO "package-version.cabal"
-- Right (UnsafePackageVersion {unPackageVersion = [0,1,0,0]})
--
-- @since 0.1.0.0
packageVersionEitherIO :: FilePath -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO :: [Char] -> IO (Either ReadFileError PackageVersion)
packageVersionEitherIO [Char]
fp = do
  Either SomeException [Text]
eContents :: Either SomeException [Text] <-
    ([Char] -> [Text])
-> Either SomeException [Char] -> Either SomeException [Text]
forall (p :: * -> * -> *) b c a.
Bifunctor p =>
(b -> c) -> p a b -> p a c
second (Text -> [Text]
T.lines (Text -> [Text]) -> ([Char] -> Text) -> [Char] -> [Text]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> Text
T.pack) (Either SomeException [Char] -> Either SomeException [Text])
-> IO (Either SomeException [Char])
-> IO (Either SomeException [Text])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> IO [Char] -> IO (Either SomeException [Char])
forall (m :: * -> *) e a.
(MonadCatch m, Exception e) =>
m a -> m (Either e a)
SafeEx.try ([Char] -> IO [Char]
readFile' [Char]
fp)
  Either ReadFileError PackageVersion
-> IO (Either ReadFileError PackageVersion)
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
RfFileNotFoundErr ([Char] -> ReadFileError) -> [Char] -> ReadFileError
forall a b. (a -> b) -> a -> b
$ SomeException -> [Char]
forall a. Show a => a -> [Char]
show SomeException
err
    Right [Text]
contents -> (Text
 -> Either ReadFileError PackageVersion
 -> Either ReadFileError PackageVersion)
-> Either ReadFileError PackageVersion
-> [Text]
-> Either ReadFileError PackageVersion
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
RfVersionNotFoundErr [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 (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first ReadStringError -> ReadFileError
RfReadValidateErr (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

#if MIN_VERSION_template_haskell(2, 17, 0)
ioToTH :: Lift b => (a -> IO b) -> a -> Code Q b
ioToTH f x = TH.bindCode (TH.runIO (f x)) liftTyped
#else
ioToTH :: Lift b => (a -> IO b) -> a -> Q (TExp b)
ioToTH :: (a -> IO b) -> a -> Q (TExp b)
ioToTH a -> IO b
f a
x = IO b -> Q b
forall a. IO a -> Q a
TH.runIO (a -> IO b
f a
x) Q b -> (b -> Q (TExp b)) -> Q (TExp b)
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= b -> Q (TExp b)
forall t. Lift t => t -> Q (TExp t)
liftTyped
#endif

#if MIN_VERSION_base(4, 15, 0)
readFile' :: FilePath -> IO String
readFile' = IO.readFile'
#else
readFile' :: FilePath -> IO String
readFile' :: [Char] -> IO [Char]
readFile' [Char]
name = [Char] -> IOMode -> (Handle -> IO [Char]) -> IO [Char]
forall r. [Char] -> IOMode -> (Handle -> IO r) -> IO r
IO.withFile [Char]
name IOMode
IO.ReadMode Handle -> IO [Char]
hGetContents'
  where
    hGetContents' :: Handle -> IO [Char]
hGetContents' Handle
h = Handle -> IO [Char]
IO.hGetContents Handle
h IO [Char] -> ([Char] -> IO [Char]) -> IO [Char]
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \[Char]
s -> [Char] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [Char]
s Int -> IO [Char] -> IO [Char]
`seq` [Char] -> IO [Char]
forall (f :: * -> *) a. Applicative f => a -> f a
pure [Char]
s
#endif

prettyErr :: Pretty a => a -> String
prettyErr :: a -> [Char]
prettyErr =
  SimpleDocStream Any -> [Char]
forall ann. SimpleDocStream ann -> [Char]
PrettyS.renderString
    (SimpleDocStream Any -> [Char])
-> (a -> SimpleDocStream Any) -> a -> [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LayoutOptions -> Doc Any -> SimpleDocStream Any
forall ann. LayoutOptions -> Doc ann -> SimpleDocStream ann
Pretty.layoutSmart LayoutOptions
Pretty.defaultLayoutOptions
    (Doc Any -> SimpleDocStream Any)
-> (a -> Doc Any) -> a -> SimpleDocStream Any
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Doc Any
forall a ann. Pretty a => a -> Doc ann
pretty