Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

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

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

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

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

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

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

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

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

   quickcheck-dynamic	Test.QuickCheck.DynamicLogic.Internal

   No documentation available.

7. putCompressedWordStep :: Word -> Word -> Int -> Int -> Word -> BitPut

   rattletrap	Rattletrap.Type.CompressedWord

   No documentation available.

8. _msgSpecanDep_freq_step :: MsgSpecanDep -> !Float

   sbp	SwiftNav.SBP.Piksi

   Frequency step of points in this packet

9. _msgSpecan_freq_step :: MsgSpecan -> !Float

   sbp	SwiftNav.SBP.Piksi

   Frequency step of points in this packet

10. msgSpecanDep_freq_step :: Lens' MsgSpecanDep Float

    sbp	SwiftNav.SBP.Piksi

    No documentation available.

Page 88 of many | Previous | Next