Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. itWithAll :: forall test (outers :: [Type]) inner . (HasCallStack, IsTest test, Arg1 test ~ HList outers, Arg2 test ~ inner) => String -> test -> TestDefM outers inner ()

    sydtest Test.Syd.Def.Specify

    Declare a test that uses all outer resources You will most likely never need this function, but in case you do: Note that this will always require a type annotation, along with the GADTs and ScopedTypeVariables extensions.

    Example usage

    beforeAll (pure 'a') $ beforeAll (pure 5) $
itWithAll "example" $
\(HCons c (HCons i HNil) :: HList '[Char, Int]) () ->
(c, i) `shouldeBe` ('a', 5)

  2. specifyWithAll :: forall test (outers :: [Type]) inner . (HasCallStack, IsTest test, Arg1 test ~ HList outers, Arg2 test ~ inner) => String -> test -> TestDefM outers inner ()

    sydtest Test.Syd.Def.Specify

    A synonym for itWithAll

  3. xitWithAll :: forall test (outers :: [Type]) inner . (HasCallStack, IsTest test, Arg1 test ~ HList outers, Arg2 test ~ inner) => String -> test -> TestDefM outers inner ()

    sydtest Test.Syd.Def.Specify

    No documentation available.

  4. xspecifyWithAll :: forall test (outers :: [Type]) inner . (HasCallStack, IsTest test, Arg1 test ~ HList outers, Arg2 test ~ inner) => String -> test -> TestDefM outers inner ()

    sydtest Test.Syd.Def.Specify

    A synonym for xitWithAll

  5. anyErrorCall :: Selector ErrorCall

    sydtest Test.Syd.Expectation

    No documentation available.

  6. errorCall :: String -> Selector ErrorCall

    sydtest Test.Syd.Expectation

    No documentation available.

  7. Parallel :: Parallelism

    sydtest Test.Syd.Modify

    No documentation available.

  8. data Parallelism

    sydtest Test.Syd.Modify

    No documentation available.

  9. parallel :: forall (a :: [Type]) b c . TestDefM a b c -> TestDefM a b c

    sydtest Test.Syd.Modify

    Declare that all tests below may be run in parallel. (This is the default.)

  10. potentiallyFlaky :: forall (a :: [Type]) b c . TestDefM a b c -> TestDefM a b c

    sydtest Test.Syd.Modify

    Mark a test suite as 'potentially flaky', such that it will not fail if it is flaky but passes at least once.

Page 339 of many | Previous | Next