| Copyright | (c) Sirui Lu 2021-2024 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Grisette.Unified.Lib.Data.Functor
Description
Synopsis
- mrgFmap :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b
- (.<$) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f b
- (.$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> b -> f b
- (.<$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b
- (.<&>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> (a -> b) -> f b
- mrgUnzip :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f (a, b) -> (f a, f b)
- mrgVoid :: (TryMerge f, Functor f) => f a -> f ()
Documentation
mrgFmap :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b Source #
fmap with MergingStrategy knowledge propagation.
(.<$) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => b -> f a -> f b infixl 4 Source #
<$ with MergingStrategy knowledge propagation.
(.$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> b -> f b infixl 4 Source #
$> with MergingStrategy knowledge
propagation.
(.<$>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b infixl 4 Source #
<$> with MergingStrategy knowledge propagation.
(.<&>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> (a -> b) -> f b infixl 1 Source #
<&> with MergingStrategy knowledge
propagation.