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.

  1. (.<=<) :: (MonadTryMerge m, Mergeable a, Mergeable b, Mergeable c) => (b -> m c) -> (a -> m b) -> a -> m c

    grisette Grisette.Lib.Control.Monad

    <=< with MergingStrategy knowledge propagation.

  2. (.=<<) :: (MonadTryMerge m, Mergeable a, Mergeable b) => (a -> m b) -> m a -> m b

    grisette Grisette.Lib.Control.Monad

    =<< with MergingStrategy knowledge propagation.

  3. (.>=>) :: (MonadTryMerge m, Mergeable a, Mergeable b, Mergeable c) => (a -> m b) -> (b -> m c) -> a -> m c

    grisette Grisette.Lib.Control.Monad

    >=> with MergingStrategy knowledge propagation.

  4. (.>>) :: (MonadTryMerge m, Mergeable a, Mergeable b) => m a -> m b -> m b

    grisette Grisette.Lib.Control.Monad

    >> with MergingStrategy knowledge propagation. This is usually more efficient than calling the original >> and merge the results.

  5. (.>>=) :: (MonadTryMerge u, Mergeable a, Mergeable b) => u a -> (a -> u b) -> u b

    grisette Grisette.Lib.Control.Monad

    >>= with MergingStrategy knowledge propagation.

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

    grisette Grisette.Lib.Data.Functor

    $> with MergingStrategy knowledge propagation.

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

    grisette Grisette.Lib.Data.Functor

    <$ with MergingStrategy knowledge propagation.

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

    grisette Grisette.Lib.Data.Functor

    <$> with MergingStrategy knowledge propagation.

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

    grisette Grisette.Lib.Data.Functor

    <&> with MergingStrategy knowledge propagation.

  10. (.!?) :: forall a uf int . (MonadUnion uf, Mergeable a, Num int, SymEq int) => [a] -> int -> uf (Maybe a)

    grisette Grisette.Lib.Data.List

    Symbolic version of !?, the result would be merged and propagate the mergeable knowledge. Can generate O(1) cases and O(n) sized branch constraints.

Page 64 of many | Previous | Next