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

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

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

(===) :: 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.