Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

  1. lensGettingProducesValidOnArbitrary :: (Show s, Arbitrary s, Show b, Validity b) => Lens s s b b -> Property

    genvalidity-sydtest-lens Test.Syd.Validity.Lens

    A property combinator to test whether getting values via a lens on arbitrary values produces valid values. Example Usage: 

    lensGettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

  2. lensSettingProducesValidOnArbitrary :: (Show s, Arbitrary s, Show b, Arbitrary b, Show t, Validity t) => Lens s t a b -> Property

    genvalidity-sydtest-lens Test.Syd.Validity.Lens

    A property combinator to test whether setting arbitrary values via a lens on arbitrary values produces valid values. Example usage: 

    lensSettingProducesValidOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

  3. lensSpecOnArbitrary :: forall s b . (Show b, Eq b, Arbitrary b, Validity b, Show s, Eq s, Arbitrary s, Validity s) => Lens s s b b -> Spec

    genvalidity-sydtest-lens Test.Syd.Validity.Lens

    Standard test spec for properties lenses for arbitrary values Example usage: 

    lensSpecOnArbitrary ((_2) :: Lens (Rational, Rational) (Rational, Rational) Rational Rational)

  4. persistSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) => Spec

    genvalidity-sydtest-persistent Test.Syd.Validity.Persist

    Standard test spec for properties of persistent-related functions for arbitrary values Example usage: 

    persistSpecOnArbitrary @Int

  5. SourceArbitrary :: KeySourceType

    graphula Graphula

    Generate keys using the Arbitrary instance for the Key

  6. SourceArbitrary :: KeySourceType

    graphula Graphula.Dependencies

    Generate keys using the Arbitrary instance for the Key

  7. computeArbitraryAction :: StateModel state => Annotated state -> Gen (Any (ActionWithPolarity state))

    quickcheck-dynamic Test.QuickCheck.StateModel

    No documentation available.

  8. liftArbitrary :: forall (b :: Bin) a . SBinI b => Gen a -> Gen (RAVec b a)

    ral Data.RAVec

    No documentation available.

  9. liftArbitrary :: forall (b :: BinP) a . SBinPI b => Gen a -> Gen (NERAVec b a)

    ral Data.RAVec.NonEmpty

    No documentation available.

  10. liftArbitrary' :: forall (b :: BinP) (n :: Nat) a . (SBinPI b, SNatI n) => Gen a -> Gen (NERAVec' n b a)

    ral Data.RAVec.NonEmpty

    No documentation available.

Page 66 of many | Previous | Next