Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
haskell-gi Data.GI.GIR.BasicTypes uid_t
enumMemberCId :: EnumerationMember -> Texthaskell-gi Data.GI.GIR.Enum No documentation available.
commutativeMonoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes Tests the following properties:
- Commutative mappend a b ≡ mappend b a
euclideanLaws :: (Eq a, Euclidean a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes Test that a Euclidean instance obey laws of a Euclidean domain.
- y /= 0, r == x `rem` y => r == 0 || degree r < degree y,
- y /= 0, (q, r) == x `quotRem` y => x == q * y + r,
- y /= 0 => x `quot` x y == fst (x `quotRem` y),
- y /= 0 => x `rem` x y == snd (x `quotRem` y).
monoidLaws :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes Tests the following properties:
- Associative mappend a (mappend b c) ≡ mappend (mappend a b) c
- Left Identity mappend mempty a ≡ a
- Right Identity mappend a mempty ≡ a
- Concatenation mconcat as ≡ foldr mappend mempty as
semigroupMonoidLaws :: (Semigroup a, Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes No documentation available.
darkorchid :: (Ord a, Floating a) => Colour acolour Data.Colour.Names No documentation available.
mediumorchid :: (Ord a, Floating a) => Colour acolour Data.Colour.Names No documentation available.
midnightblue :: (Ord a, Floating a) => Colour acolour Data.Colour.Names No documentation available.
orchid :: (Ord a, Floating a) => Colour acolour Data.Colour.Names No documentation available.