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.
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.
-
fast-logger System.Log.FastLogger.Internal No documentation available.
-
fast-logger System.Log.FastLogger.Internal No documentation available.
InvalidArgs :: [Text] -> ErrorResponseyesod-core Yesod.Core Indicates some sort of invalid or missing argument, like a missing query parameter or malformed JSON body. Examples Yesod functions that send this include requireCheckJsonBody and Yesod.Auth.GoogleEmail2. HTTP status: 400.
type
LiteWidget = WidgetFor LiteAppyesod-core Yesod.Core No documentation available.
class MonadHandler m =>
MonadWidget (m :: Type -> Type)yesod-core Yesod.Core No documentation available.
-
yesod-core Yesod.Core Looks up the CSRF token from the request headers or POST parameters. If the value doesn't match the token stored in the session, this function throws a PermissionDenied error. For details, see the "AJAX CSRF protection" section of Yesod.Core.Handler. Since 1.4.14