Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
stimesIdempotent :: Integral b => b -> a -> abase Data.Semigroup This is a valid definition of stimes for an idempotent Semigroup. When x <> x = x, this definition should be preferred, because it works in <math> rather than <math>.
stimesIdempotentMonoid :: (Integral b, Monoid a) => b -> a -> abase Data.Semigroup This is a valid definition of stimes for an idempotent Monoid. When x <> x = x, this definition should be preferred, because it works in <math> rather than <math>
stimesMonoid :: (Integral b, Monoid a) => b -> a -> abase Data.Semigroup This is a valid definition of stimes for a Monoid. Unlike the default definition of stimes, it is defined for 0 and so it should be preferred where possible.
unwrapMonoid :: WrappedMonoid m -> mbase Data.Semigroup No documentation available.
-
A logically uninhabited data type, used to indicate that a given term should not exist.
-
base Data.Void Uninhabited data type
-
base Debug.Trace Like trace but returns the message instead of a third value.
>>> traceId "hello" hello "hello"
traceShowId :: Show a => a -> abase Debug.Trace Like traceShow but returns the shown value instead of a third value.
>>> traceShowId (1+2+3, "hello" ++ "world") (6,"helloworld") (6,"helloworld")
-
base Foreign.C.Error No documentation available.
-
base Foreign.C.Error Yield True if the given Errno value is valid on the system. This implies that the Eq instance of Errno is also system dependent as it is only defined for valid values of Errno.