Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
HaskellWorks.Polysemy.Hedgehog.Assert
Synopsis
- data Hedgehog m rv
- leftFail :: Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a
- 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
- 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
- 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
- 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
- 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
- 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
- byDurationIO :: HasCallStack => Member (Embed m) r => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> NominalDiffTime -> String -> m b -> Sem r b
- byDurationM :: HasCallStack => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> NominalDiffTime -> String -> Sem r b -> Sem r b
- (===) :: 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 ()
- assertIsYamlFile :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()
- assertFileExists :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()
- assertFilesExist :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r ()
- assertFileMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()
- assertFilesMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r ()
- assertFileOccurences :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => Int -> String -> FilePath -> Sem r ()
- assertFileLines :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => (Int -> Bool) -> FilePath -> Sem r ()
- assertEndsWithSingleNewline :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()
- assertDirectoryExists :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r ()
- assertDirectoryMissing :: HasCallStack => Member Hedgehog r => Member Log r => Member (Embed IO) r => FilePath -> Sem r ()
Documentation
leftFail :: Member Hedgehog r => Show e => HasCallStack => Either e a -> Sem r a Source #
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 Source #
leftFailJson :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a Source #
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 Source #
leftFailJsonPretty :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a Source #
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 Source #
leftFailPretty :: Member Hedgehog r => Pretty e => HasCallStack => Either e a -> Sem r a Source #
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 Source #
leftFailYaml :: Member Hedgehog r => ToJSON e => HasCallStack => Either e a -> Sem r a Source #
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 Source #
nothingFail :: Member Hedgehog r => HasCallStack => Maybe a -> Sem r a Source #
nothingFailM :: forall r a. Member Hedgehog r => HasCallStack => Sem r (Maybe a) -> Sem r a Source #
requireHead :: Member Hedgehog r => HasCallStack => [a] -> Sem r a Source #
catchFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a Source #
Deprecated: Use trapFail instead
trapFail :: forall e r a. Member Hedgehog r => HasCallStack => Show e => Sem (Error e ': r) a -> Sem r a Source #
trapFailJson :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a Source #
trapFailJsonPretty :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a Source #
trapFailYaml :: forall e r a. Member Hedgehog r => HasCallStack => ToJSON e => Sem (Error e ': r) a -> Sem r a Source #
failMessage :: Member Hedgehog r => HasCallStack => CallStack -> String -> Sem r a Source #
byDeadlineIO :: HasCallStack => Member (Embed m) r => Member (Embed IO) r => Member Hedgehog r => Member Log r => NominalDiffTime -> UTCTime -> String -> m a -> Sem r a Source #
byDeadlineM :: HasCallStack => Member Hedgehog r => Member Log r => Member (Embed IO) r => NominalDiffTime -> UTCTime -> String -> Sem r a -> Sem r a Source #
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 Source #
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 Source #
Run the operation f
once a second until it returns True
or the duration expires.
Expiration of the duration results in an assertion failure
assertPidOk :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member (Error IOException) r => ProcessHandle -> Sem r Pid Source #
assertIsJsonFile_ :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r () Source #
Assert the filePath
can be parsed as JSON.
assertIsYamlFile :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r () Source #
Assert the filePath
can be parsed as YAML.
assertFileExists :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r () Source #
Asserts that the given file exists.
assertFilesExist :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r () Source #
Asserts that all of the given files exist.
assertFileMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => FilePath -> Sem r () Source #
Asserts that the given file is missing.
assertFilesMissing :: HasCallStack => Member Hedgehog r => Member (Embed IO) r => Member Log r => [FilePath] -> Sem r () Source #
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 () Source #
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 () Source #
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 () Source #
Assert the file contains the given number of occurrences of the given string