HaskellWorks.Polysemy.Hedgehog.Assert

Documentation

data Hedgehog m rv

leftFail :: Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left.

leftFailM :: forall e r a. Member Hedgehog r => Show e => HasCallStack => Sem r (Either e a) -> Sem r a

leftFailJson :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left with the error message as JSON.

leftFailJsonM :: forall e r a. Member Hedgehog r => ToJSON e => HasCallStack => Sem r (Either e a) -> Sem r a

leftFailJsonPretty :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left with the error message as JSON.

leftFailJsonPrettyM :: forall e r a. Member Hedgehog r => ToJSON e => HasCallStack => Sem r (Either e a) -> Sem r a

leftFailPretty :: Member Hedgehog r => Pretty e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left with the error message as JSON.

leftFailPrettyM :: forall e r a. Member Hedgehog r => Pretty e => HasCallStack => Sem r (Either e a) -> Sem r a

leftFailYaml :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a

Fail when the result is Left with the error message as JSON.

leftFailYamlM :: forall e r a. Member Hedgehog r => ToJSON e => HasCallStack => Sem r (Either e a) -> Sem r a

nothingFail :: Member Hedgehog r => HasCallStack => Maybe a -> Sem r a

nothingFailM :: forall r a. Member Hedgehog r => HasCallStack => Sem r (Maybe a) -> Sem r a

requireHead :: Member Hedgehog r => HasCallStack => [a] -> Sem r a

catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a

Deprecated: Use trapFail instead

trapFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a

trapFailJson :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a

trapFailJsonPretty :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a

trapFailYaml :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a

evalIO :: forall r a. (Member Hedgehog r, HasCallStack) => IO a -> Sem r a

failure :: Member Hedgehog r => HasCallStack => Sem r a

failMessage :: Member Hedgehog r => HasCallStack => CallStack -> String -> Sem r a

byDeadlineIO :: HasCallStack => Member (Embed m) r => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> UTCTime -> String -> m a -> Sem r a

byDeadlineM :: HasCallStack => Member Hedgehog r => Member Log r => Member (Embed IO) r => NominalDiffTime -> UTCTime -> String -> Sem r a -> Sem r a

Run the operation f once a second until it returns True or the deadline expires.

Expiration of the deadline results in an assertion failure

byDurationIO :: HasCallStack => Member (Embed m) r => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> NominalDiffTime -> String -> m b -> Sem r b

Run the operation f once a second until it returns True or the duration expires.

Expiration of the duration results in an assertion failure

byDurationM :: HasCallStack => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> NominalDiffTime -> String -> Sem r b -> Sem r b

Run the operation f once a second until it returns True or the duration expires.

Expiration of the duration results in an assertion failure

(===) :: Member Hedgehog r => Eq a => Show a => HasCallStack => a -> a -> Sem r ()

assertPidOk :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member (Error IOException) r => ProcessHandle -> Sem r Pid

assertIsJsonFile_ :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Assert the filePath can be parsed as JSON.

assertIsYamlFile :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Assert the filePath can be parsed as YAML.

assertFileExists :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Asserts that the given file exists.

assertFilesExist :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r ()

Asserts that all of the given files exist.

assertFileMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Asserts that the given file is missing.

assertFilesMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r ()

Asserts that all of the given files are missing.

assertFileOccurences :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => Int -> String -> FilePath -> Sem r ()

Assert the file contains the given number of occurrences of the given string

assertFileLines :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => (Int -> Bool) -> FilePath -> Sem r ()

Assert the file contains the given number of occurrences of the given string

assertEndsWithSingleNewline :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Assert the file contains the given number of occurrences of the given string

assertDirectoryExists :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()

Asserts that the given directory exists.

assertDirectoryMissing :: HasCallStack => Member Hedgehog r => Member Log r => Member (Embed IO) r => FilePath -> Sem r ()

Asserts that the given directory is missing.