Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

Exact lookup

1. NoStep :: NextStep s

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

2. StoppingStep :: NextStep s

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

3. pattern TestSeqStep :: Step s -> TestSequence s -> TestSequence s

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

4. type TestStep s = Witnesses Step s

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

5. chooseNextStep :: DynLogicModel s => Annotated s -> Int -> DynLogic s -> Gen (NextStep s)

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

6. chooseUniqueNextStep :: (MonadFail m, DynLogicModel s) => Annotated s -> Int -> DynLogic s -> m (NextStep s)

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

7. nextStateStep :: StateModel s => Step s -> Annotated s -> Annotated s

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

8. nextSteps :: DynLogic s -> Gen [(Double, Witnesses (DynLogic s))]

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

9. nextSteps' :: Monad m => (forall a . () => Quantification a -> m a) -> DynLogic s -> m [(Double, Witnesses (DynLogic s))]

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

10. sequenceSteps :: TestSequence s -> [Step s]

    quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

    No documentation available.

Page 88 of many | Previous | Next