module Test.Hspec.Core.Util (
pluralize
, strip
, lineBreaksAt
, Path
, joinPath
, formatRequirement
, filterPredicate
, safeTry
, formatException
) where
import Data.List
import Data.Char (isSpace)
import GHC.IO.Exception
import Control.Exception
import Control.Concurrent.Async
import Test.Hspec.Core.Compat (showType)
pluralize :: Int -> String -> String
pluralize :: Int -> String -> String
pluralize 1 s :: String
s = "1 " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
s
pluralize n :: Int
n s :: String
s = Int -> String
forall a. Show a => a -> String
show Int
n String -> String -> String
forall a. [a] -> [a] -> [a]
++ " " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
s String -> String -> String
forall a. [a] -> [a] -> [a]
++ "s"
strip :: String -> String
strip :: String -> String
strip = (Char -> Bool) -> String -> String
forall a. (a -> Bool) -> [a] -> [a]
dropWhile Char -> Bool
isSpace (String -> String) -> (String -> String) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String
forall a. [a] -> [a]
reverse (String -> String) -> (String -> String) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Char -> Bool) -> String -> String
forall a. (a -> Bool) -> [a] -> [a]
dropWhile Char -> Bool
isSpace (String -> String) -> (String -> String) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String
forall a. [a] -> [a]
reverse
lineBreaksAt :: Int -> String -> [String]
lineBreaksAt :: Int -> String -> [String]
lineBreaksAt n :: Int
n input :: String
input = case String -> [String]
words String
input of
[] -> []
x :: String
x:xs :: [String]
xs -> (String, [String]) -> [String]
go (String
x, [String]
xs)
where
go :: (String, [String]) -> [String]
go :: (String, [String]) -> [String]
go c :: (String, [String])
c = case (String, [String])
c of
(s :: String
s, []) -> [String
s]
(s :: String
s, y :: String
y:ys :: [String]
ys) -> let r :: String
r = String
s String -> String -> String
forall a. [a] -> [a] -> [a]
++ " " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
y in
if String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
r Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
n
then (String, [String]) -> [String]
go (String
r, [String]
ys)
else String
s String -> [String] -> [String]
forall a. a -> [a] -> [a]
: (String, [String]) -> [String]
go (String
y, [String]
ys)
type Path = ([String], String)
joinPath :: Path -> String
joinPath :: Path -> String
joinPath (groups :: [String]
groups, requirement :: String
requirement) = "/" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate "/" ([String]
groups [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [String
requirement]) String -> String -> String
forall a. [a] -> [a] -> [a]
++ "/"
formatRequirement :: Path -> String
formatRequirement :: Path -> String
formatRequirement (groups :: [String]
groups, requirement :: String
requirement) = String
groups_ String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
requirement
where
groups_ :: String
groups_ = case (String -> Bool) -> [String] -> ([String], [String])
forall a. (a -> Bool) -> [a] -> ([a], [a])
break ((Char -> Bool) -> String -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any Char -> Bool
isSpace) [String]
groups of
([], ys :: [String]
ys) -> [String] -> String
join [String]
ys
(xs :: [String]
xs, ys :: [String]
ys) -> [String] -> String
join (String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate "." [String]
xs String -> [String] -> [String]
forall a. a -> [a] -> [a]
: [String]
ys)
join :: [String] -> String
join xs :: [String]
xs = case [String]
xs of
[x :: String
x] -> String
x String -> String -> String
forall a. [a] -> [a] -> [a]
++ " "
ys :: [String]
ys -> (String -> String) -> [String] -> String
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (String -> String -> String
forall a. [a] -> [a] -> [a]
++ ", ") [String]
ys
filterPredicate :: String -> Path -> Bool
filterPredicate :: String -> Path -> Bool
filterPredicate pattern :: String
pattern path :: Path
path =
String
pattern String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isInfixOf` String
plain
Bool -> Bool -> Bool
|| String
pattern String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isInfixOf` String
formatted
where
plain :: String
plain = Path -> String
joinPath Path
path
formatted :: String
formatted = Path -> String
formatRequirement Path
path
formatException :: SomeException -> String
formatException :: SomeException -> String
formatException err :: SomeException
err@(SomeException e :: e
e) = case SomeException -> Maybe IOException
forall e. Exception e => SomeException -> Maybe e
fromException SomeException
err of
Just ioe :: IOException
ioe -> IOException -> String
forall a. Typeable a => a -> String
showType IOException
ioe String -> String -> String
forall a. [a] -> [a] -> [a]
++ " of type " String -> String -> String
forall a. [a] -> [a] -> [a]
++ IOException -> String
showIOErrorType IOException
ioe String -> String -> String
forall a. [a] -> [a] -> [a]
++ "\n" String -> String -> String
forall a. [a] -> [a] -> [a]
++ IOException -> String
forall a. Show a => a -> String
show IOException
ioe
Nothing -> e -> String
forall a. Typeable a => a -> String
showType e
e String -> String -> String
forall a. [a] -> [a] -> [a]
++ "\n" String -> String -> String
forall a. [a] -> [a] -> [a]
++ e -> String
forall a. Show a => a -> String
show e
e
where
showIOErrorType :: IOException -> String
showIOErrorType :: IOException -> String
showIOErrorType ioe :: IOException
ioe = case IOException -> IOErrorType
ioe_type IOException
ioe of
AlreadyExists -> "AlreadyExists"
NoSuchThing -> "NoSuchThing"
ResourceBusy -> "ResourceBusy"
ResourceExhausted -> "ResourceExhausted"
EOF -> "EOF"
IllegalOperation -> "IllegalOperation"
PermissionDenied -> "PermissionDenied"
UserError -> "UserError"
UnsatisfiedConstraints -> "UnsatisfiedConstraints"
SystemError -> "SystemError"
ProtocolError -> "ProtocolError"
OtherError -> "OtherError"
InvalidArgument -> "InvalidArgument"
InappropriateType -> "InappropriateType"
HardwareFault -> "HardwareFault"
UnsupportedOperation -> "UnsupportedOperation"
TimeExpired -> "TimeExpired"
ResourceVanished -> "ResourceVanished"
Interrupted -> "Interrupted"
safeTry :: IO a -> IO (Either SomeException a)
safeTry :: IO a -> IO (Either SomeException a)
safeTry action :: IO a
action = IO a
-> (Async a -> IO (Either SomeException a))
-> IO (Either SomeException a)
forall a b. IO a -> (Async a -> IO b) -> IO b
withAsync (IO a
action IO a -> (a -> IO a) -> IO a
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= a -> IO a
forall a. a -> IO a
evaluate) Async a -> IO (Either SomeException a)
forall a. Async a -> IO (Either SomeException a)
waitCatch