Safe Haskell	Safe-Inferred
Language	GHC2021

Testlib.Assertions

Synopsis

assertBool :: HasCallStack => String -> Bool -> App ()
assertOne :: (HasCallStack, Foldable t) => t a -> App a
expectFailure :: HasCallStack => (AssertionFailure -> App ()) -> App a -> App ()
shouldMatch :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App ()
shouldMatchWithMsg :: (MakesValue a, MakesValue b, HasCallStack) => Maybe String -> a -> b -> App ()
data LenientMatchRule
- = EmptyArrayIsNull
- | ArraysAreSets
- | RemoveNullFieldsFromObjects
shouldMatchWithRules :: (MakesValue a, MakesValue b, HasCallStack) => [LenientMatchRule] -> (Value -> App (Maybe Value)) -> a -> b -> App ()
shouldMatchBase64 :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App ()
shouldNotMatch :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App ()
shouldMatchInt :: (MakesValue a, HasCallStack) => a -> Int -> App ()
shouldNotMatchInt :: (MakesValue a, HasCallStack) => a -> Int -> App ()
shouldMatchRange :: (MakesValue a, HasCallStack) => a -> (Int, Int) -> App ()
shouldMatchSet :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App ()
shouldBeEmpty :: (MakesValue a, HasCallStack) => a -> App ()
shouldBeNull :: (MakesValue a, HasCallStack) => a -> App ()
shouldMatchOneOf :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App ()
shouldContainString :: HasCallStack => String -> String -> App ()
shouldContain :: (Eq a, Show a, HasCallStack) => [a] -> [a] -> App ()
printFailureDetails :: AssertionFailure -> IO String
printAppFailureDetails :: AppFailure -> IO String
prettyContext :: String -> String
printExceptionDetails :: SomeException -> IO String
prettierCallStack :: CallStack -> IO String
prettierCallStackLines :: CallStack -> IO String
getSourceDir :: String -> IO (Maybe FilePath)
type SourceDirCache = Map String (Maybe FilePath)
getSourceDirCached :: SourceDirCache -> String -> IO (SourceDirCache, Maybe FilePath)
tryReadFile :: FilePath -> IO (Maybe String)
getLineNumber :: Int -> String -> Maybe String
prettyResponse :: Response -> String

Documentation

assertBool :: HasCallStack => String -> Bool -> App () Source #

assertOne :: (HasCallStack, Foldable t) => t a -> App a Source #

expectFailure :: HasCallStack => (AssertionFailure -> App ()) -> App a -> App () Source #

shouldMatch Source #

Arguments

:: (MakesValue a, MakesValue b, HasCallStack)
=> a	The actual value
-> b	The expected value
-> App ()

shouldMatchWithMsg Source #

Arguments

:: (MakesValue a, MakesValue b, HasCallStack)
=> Maybe String	Message to be added to failure report
-> a	The actual value
-> b	The expected value
-> App ()

data LenientMatchRule Source #

Constructors

EmptyArrayIsNull
ArraysAreSets
RemoveNullFieldsFromObjects

Instances

Instances details

Bounded LenientMatchRule Source #
Instance details Defined in Testlib.Assertions Methods minBound :: LenientMatchRule # maxBound :: LenientMatchRule #
Enum LenientMatchRule Source #
Instance details Defined in Testlib.Assertions Methods succ :: LenientMatchRule -> LenientMatchRule # pred :: LenientMatchRule -> LenientMatchRule # toEnum :: Int -> LenientMatchRule # fromEnum :: LenientMatchRule -> Int # enumFrom :: LenientMatchRule -> [LenientMatchRule] # enumFromThen :: LenientMatchRule -> LenientMatchRule -> [LenientMatchRule] # enumFromTo :: LenientMatchRule -> LenientMatchRule -> [LenientMatchRule] # enumFromThenTo :: LenientMatchRule -> LenientMatchRule -> LenientMatchRule -> [LenientMatchRule] #
Show LenientMatchRule Source #
Instance details Defined in Testlib.Assertions Methods showsPrec :: Int -> LenientMatchRule -> ShowS # show :: LenientMatchRule -> String # showList :: [LenientMatchRule] -> ShowS #
Eq LenientMatchRule Source #
Instance details Defined in Testlib.Assertions Methods (==) :: LenientMatchRule -> LenientMatchRule -> Bool # (/=) :: LenientMatchRule -> LenientMatchRule -> Bool #
Ord LenientMatchRule Source #
Instance details Defined in Testlib.Assertions Methods compare :: LenientMatchRule -> LenientMatchRule -> Ordering # (<) :: LenientMatchRule -> LenientMatchRule -> Bool # (<=) :: LenientMatchRule -> LenientMatchRule -> Bool # (>) :: LenientMatchRule -> LenientMatchRule -> Bool # (>=) :: LenientMatchRule -> LenientMatchRule -> Bool # max :: LenientMatchRule -> LenientMatchRule -> LenientMatchRule # min :: LenientMatchRule -> LenientMatchRule -> LenientMatchRule #

shouldMatchWithRules :: (MakesValue a, MakesValue b, HasCallStack) => [LenientMatchRule] -> (Value -> App (Maybe Value)) -> a -> b -> App () Source #

shouldMatchBase64 Source #

Arguments

:: (MakesValue a, MakesValue b, HasCallStack)
=> a	The actual value, in base64
-> b	The expected value, in plain text
-> App ()

shouldNotMatch Source #

Arguments

:: (MakesValue a, MakesValue b, HasCallStack)
=> a	The actual value
-> b	The un-expected value
-> App ()

shouldMatchInt Source #

Arguments

:: (MakesValue a, HasCallStack)
=> a	The actual value
-> Int	The expected value
-> App ()

Specialized variant of shouldMatch to avoid the need for type annotations.

shouldNotMatchInt Source #

Arguments

:: (MakesValue a, HasCallStack)
=> a	The actual value
-> Int	The expected value
-> App ()

shouldMatchRange Source #

Arguments

:: (MakesValue a, HasCallStack)
=> a	The actual value
-> (Int, Int)	The expected range, inclusive both sides
-> App ()

shouldMatchSet :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App () Source #

Match on sorted lists (sets where elements may occur more than once). (Maybe this should be called shouldMatchMultiSet?)

shouldBeEmpty :: (MakesValue a, HasCallStack) => a -> App () Source #

shouldBeNull :: (MakesValue a, HasCallStack) => a -> App () Source #

shouldMatchOneOf :: (MakesValue a, MakesValue b, HasCallStack) => a -> b -> App () Source #

shouldContainString Source #

Arguments

:: HasCallStack
=> String	The actual value
-> String	The expected value
-> App ()

shouldContain Source #

Arguments

:: (Eq a, Show a, HasCallStack)
=> [a]	The actual value
-> [a]	The expected value
-> App ()

printFailureDetails :: AssertionFailure -> IO String Source #

printAppFailureDetails :: AppFailure -> IO String Source #

prettyContext :: String -> String Source #

printExceptionDetails :: SomeException -> IO String Source #

prettierCallStack :: CallStack -> IO String Source #

prettierCallStackLines :: CallStack -> IO String Source #

getSourceDir :: String -> IO (Maybe FilePath) Source #

type SourceDirCache = Map String (Maybe FilePath) Source #

getSourceDirCached :: SourceDirCache -> String -> IO (SourceDirCache, Maybe FilePath) Source #

tryReadFile :: FilePath -> IO (Maybe String) Source #

getLineNumber :: Int -> String -> Maybe String Source #

prettyResponse :: Response -> String Source #