Hoogle Search
Within LTS Haskell 24.37 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
grisette Grisette.Internal.Unified.Class.UnifiedSymOrd Unified (.>=).
(
.*> ) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f a -> f b -> f bgrisette Grisette.Lib.Control.Applicative *> with MergingStrategy knowledge propagation.
(
.<$ ) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f bgrisette Grisette.Lib.Control.Applicative <$ with MergingStrategy knowledge propagation.
(
.<$> ) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f bgrisette Grisette.Lib.Control.Applicative <$> with MergingStrategy knowledge propagation.
(
.<* ) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f a -> f b -> f agrisette Grisette.Lib.Control.Applicative <* with MergingStrategy knowledge propagation.
(
.<**> ) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f a -> f (a -> b) -> f bgrisette Grisette.Lib.Control.Applicative <**> with MergingStrategy knowledge propagation.
(
.<*> ) :: (Applicative f, TryMerge f, Mergeable a, Mergeable b) => f (a -> b) -> f a -> f bgrisette Grisette.Lib.Control.Applicative <*> with MergingStrategy knowledge propagation.
(
.<|> ) :: (Alternative f, TryMerge f, Mergeable a) => f a -> f a -> f agrisette Grisette.Lib.Control.Applicative <|> with MergingStrategy knowledge propagation.
(
.<$ ) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f bgrisette Grisette.Lib.Control.Monad <$ with MergingStrategy knowledge propagation.
(
.<$!> ) :: (MonadTryMerge m, Mergeable a, Mergeable b) => (a -> b) -> m a -> m bgrisette Grisette.Lib.Control.Monad <$!> with MergingStrategy knowledge propagation. Merging is always strict so we can directly use .<$>.