EL.Test.Global

Exports from EL.Test.Testing. This is meant to be imported unqualified.

Documentation

data ModuleMeta

Constructors

ModuleMeta (IO () -> IO ()) [Tag]

check :: HasCallStack => Text -> Bool -> IO Bool

checkVal :: Show a => HasCallStack => a -> (a -> Bool) -> IO Bool

Check against a function. Use like:

checkVal (f x) $ \case -> ...

equal :: (HasCallStack, Show a, Eq a) => a -> a -> IO Bool

equalFmt :: (HasCallStack, Eq a, Show a) => (a -> Text) -> a -> a -> IO Bool

notEqual :: (HasCallStack, Show a, Eq a) => a -> a -> IO Bool

rightEqual :: (HasCallStack, Show err, Show a, Eq a) => Either err a -> a -> IO Bool

equalf :: (HasCallStack, Show a, ApproxEq a) => Double -> a -> a -> IO Bool

stringsLike :: forall txt. (HasCallStack, TextLike txt) => [txt] -> [Pattern] -> IO Bool

Strings in the first list match patterns in the second list, using patternMatches.

leftLike :: (HasCallStack, Show a, TextLike txt) => Either txt a -> Pattern -> IO Bool

It's common for Left to be an error msg, or be something that can be converted to one.

match :: (HasCallStack, TextLike txt) => txt -> Pattern -> IO Bool

throws :: (HasCallStack, Show a) => a -> Pattern -> IO Bool

The given pure value should throw an exception that matches the predicate.

ioEqual :: (HasCallStack, Eq a, Show a) => IO a -> a -> IO Bool

expectRight :: (HasCallStack, Show a) => Either a b -> b

quickcheck :: (HasCallStack, Testable prop) => prop -> IO Bool

Run a quickcheck property.

qcEqual :: (Show a, Eq a) => a -> a -> Property

equal for quickcheck.

success :: HasCallStack => Text -> IO Bool

Print a msg with a special tag indicating a passing test.

failure :: HasCallStack => Text -> IO Bool

Print a msg with a special tag indicating a failing test.

pprint :: Show a => a -> IO ()