Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. setupAroundAllWith :: forall oldOuter newOuter (outers :: [Type]) inner result . (oldOuter -> SetupFunc newOuter) -> TestDefM (newOuter ': (oldOuter ': outers)) inner result -> TestDefM (oldOuter ': outers) inner result

   sydtest	Test.Syd.Def.SetupFunc

   Use aroundAllWith with a SetupFunc

2. setupAroundWithAll :: forall (outers :: [Type]) oldInner newInner result . (HList outers -> oldInner -> SetupFunc newInner) -> TestDefM outers newInner result -> TestDefM outers oldInner result

   sydtest	Test.Syd.Def.SetupFunc

   Use all outer resources and the inner resource to provide a new inner resource This is a more constrained version of setupAroundWith' to more easily allow providing an inner resource based on multiple outer resources

3. 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)
   

4. 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

5. 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.

6. 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

7. anyErrorCall :: Selector ErrorCall

   sydtest	Test.Syd.Expectation

   No documentation available.

8. errorCall :: String -> Selector ErrorCall

   sydtest	Test.Syd.Expectation

   No documentation available.

9. Parallel :: Parallelism

   sydtest	Test.Syd.Modify

   No documentation available.

10. data Parallelism

    sydtest	Test.Syd.Modify

    No documentation available.

Page 339 of many | Previous | Next