Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
rightId :: (Show a, Arbitrary a, EqProp a) => (a -> i -> a) -> i -> Propertycheckers Test.QuickCheck.Checkers Has a given right identity, according to (=-=)
-
checkers Test.QuickCheck.Classes No documentation available.
monoid :: (Monoid a, Show a, Arbitrary a, EqProp a) => a -> TestBatchcheckers Test.QuickCheck.Classes Properties to check that the Monoid a satisfies the monoid properties. The argument value is ignored and is present only for its type.
monoidMorphism :: (Monoid a, Monoid b, EqProp b, Show a, Arbitrary a) => (a -> b) -> TestBatchcheckers Test.QuickCheck.Classes Monoid homomorphism properties. See also homomorphism.
semanticMonoid :: (Model a b, Monoid a, Monoid b, Show a, Arbitrary a, EqProp b) => a -> TestBatchcheckers Test.QuickCheck.Classes The semantic function (model) for a is a monoidMorphism.
-
dbus DBus A D-Bus UUID is 128 bits of data, usually randomly generated. They are used for identifying unique server instances to clients. Older versions of the D-Bus spec also called these values GUIDs. D-Bus UUIDs are not the same as the RFC-standardized UUIDs or GUIDs.
-
dbus DBus Format a D-Bus UUID as hex-encoded ASCII.
-
dbus DBus Generate a random D-Bus UUID. This value is suitable for use in a randomly-allocated address, or as a listener's socket address "guid" parameter.
clientThreadID :: Client -> ThreadIddbus DBus.Client No documentation available.
errorInvalidParameters :: ErrorNamedbus DBus.Client No documentation available.