Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.$ ) :: forall x (xs :: [Type]) . Show x => Predicate (x ': xs) -> (Var, x) -> Predicate xsfalsify Test.Falsify.Predicate Infix version of at Typical usage example:
assert $ P.relatedBy ("equiv", equiv) .$ ("x", x) .$ ("y", y)
(
<$$$> ) :: (Functor f, Functor g, Functor h) => (a -> b) -> f (g (h a)) -> f (g (h b))fuzzyset Data.FuzzySet.Utils No documentation available.
(
<$$> ) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b)fuzzyset Data.FuzzySet.Utils No documentation available.
(
<$.> ) :: Functor f => Walk c b d -> f (GTraversal c a b) -> f (GTraversal c a d)greskell Data.Greskell (
<$.> ) :: Functor f => Walk c b d -> f (GTraversal c a b) -> f (GTraversal c a d)greskell Data.Greskell.GTraversal (
<$.> ) :: Functor f => Walk c b d -> f (GTraversal c a b) -> f (GTraversal c a d)greskell Data.Greskell.GTraversal.Gen (
.<$ ) :: (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.
(
.<$ ) :: (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 .<$>.