Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

Exact lookup

1. monoidSpec :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a, GenValid a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Monoid instances for valid values Example usage:

   monoidSpec @[Int]
   

2. monoidSpecOnArbitrary :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Monoid instances for arbitrary values Example usage:

   monoidSpecOnArbitrary @[Int]
   

3. monoidSpecOnGen :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity

   Standard test spec for properties of Monoid instances for values generated by a given generator (and name for that generator). Example usage:

   monoidSpecOnGen (pure "a") "singleton list of 'a'"
   

4. monoidSpec :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a, GenValid a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Monoid

   Standard test spec for properties of Monoid instances for valid values Example usage:

   monoidSpec @[Int]
   

5. monoidSpecOnArbitrary :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a, Arbitrary a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Monoid

   Standard test spec for properties of Monoid instances for arbitrary values Example usage:

   monoidSpecOnArbitrary @[Int]
   

6. monoidSpecOnGen :: forall a (outers :: [Type]) . (Show a, Eq a, Monoid a, Typeable a) => Gen a -> String -> (a -> [a]) -> TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Monoid

   Standard test spec for properties of Monoid instances for values generated by a given generator (and name for that generator). Example usage:

   monoidSpecOnGen (pure "a") "singleton list of 'a'"
   

7. package monoid-subclasses

   Subclasses of Monoid A hierarchy of subclasses of Monoid together with their instances for all data structures from base, containers, and text packages.

8. monoidalField :: forall (c :: Type -> Constraint) g a s . (FieldGrammar c g, c (Identity a), Monoid a) => FieldName -> ALens' s a -> g s a

   Cabal-syntax	Distribution.FieldGrammar

   Field which can be define multiple times, and the results are mappended.

9. monoidalFieldAla :: (FieldGrammar c g, c b, Monoid a, Newtype a b) => FieldName -> (a -> b) -> ALens' s a -> g s a

   Cabal-syntax	Distribution.FieldGrammar

   Monoidal field. Values are combined with mappend. Note: optionalFieldAla is a monoidalField with Last monoid.

10. monoidalField :: forall (c :: Type -> Constraint) g a s . (FieldGrammar c g, c (Identity a), Monoid a) => FieldName -> ALens' s a -> g s a

    Cabal-syntax	Distribution.FieldGrammar.Class

    Field which can be define multiple times, and the results are mappended.

Page 14 of many | Previous | Next