Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. (./=) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymEq mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (./=). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

   a ./= b :: GetBool mode
   

   One example when it isn't clear is when this is used in unified mrgIf.

2. (.<) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (.<).

3. (.<=) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (.<=). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

   a .<= b :: GetBool mode
   

   One example when it isn't clear is when this is used in unified mrgIf.

4. (.==) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymEq mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (.==). Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

   a .== b :: GetBool mode
   

   One example when it isn't clear is when this is used in unified mrgIf.

5. (.>) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (.>).

6. (.>=) :: forall (mode :: EvalModeTag) a . (DecideEvalMode mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

   grisette	Grisette.Unified

   Unified (.>=).

7. (.*>) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f a -> f b -> f b

   grisette	Grisette.Unified.Lib.Control.Applicative

   *> with MergingStrategy knowledge propagation.

8. (.<$) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f b

   grisette	Grisette.Unified.Lib.Control.Applicative

   <$ with MergingStrategy knowledge propagation.

9. (.<$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b

   grisette	Grisette.Unified.Lib.Control.Applicative

   <$> with MergingStrategy knowledge propagation.

10. (.<*) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f a -> f b -> f a

    grisette	Grisette.Unified.Lib.Control.Applicative

    <* with MergingStrategy knowledge propagation.

Page 61 of many | Previous | Next