Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
contramapMaybeGLogFunc :: (a -> Maybe b) -> GLogFunc b -> GLogFunc ario RIO A vesion of contramapMaybeGLogFunc which supports filering.
foldMapM :: (Monad m, Monoid w, Foldable t) => (a -> m w) -> t a -> m wrio RIO.Prelude Extend foldMap to allow side effects. Internally, this is implemented using a strict left fold. This is used for performance reasons. It also necessitates that this function has a Monad constraint and not just an Applicative constraint. For more information, see https://github.com/commercialhaskell/rio/pull/99#issuecomment-394179757.
gmapM :: (Data a, Monad m) => (forall d . Data d => d -> m d) -> a -> m ario RIO.Prelude.Types A generic monadic transformation that maps over the immediate subterms The default definition instantiates the type constructor c in the type of gfoldl to the monad datatype constructor, defining injection and projection using return and >>=.
gmapMo :: (Data a, MonadPlus m) => (forall d . Data d => d -> m d) -> a -> m ario RIO.Prelude.Types Transformation of one immediate subterm with success
gmapMp :: (Data a, MonadPlus m) => (forall d . Data d => d -> m d) -> a -> m ario RIO.Prelude.Types Transformation of at least one immediate subterm does not fail
imapM :: (Monad m, Vector v a, Vector v b) => (Int -> a -> m b) -> v a -> m (v b)rio RIO.Vector No documentation available.
imapM_ :: (Monad m, Vector v a) => (Int -> a -> m b) -> v a -> m ()rio RIO.Vector No documentation available.
imapMaybe :: (Vector v a, Vector v b) => (Int -> a -> Maybe b) -> v a -> v brio RIO.Vector No documentation available.
imapM :: Monad m => (Int -> a -> m b) -> Vector a -> m (Vector b)rio RIO.Vector.Boxed No documentation available.
imapM_ :: Monad m => (Int -> a -> m b) -> Vector a -> m ()rio RIO.Vector.Boxed No documentation available.