Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. mapStateT :: forall (g :: Type -> Type) m a n b . Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b

   adjunctions	Control.Monad.Representable.State

   No documentation available.

2. mapDefault :: Ord key => elem -> key -> T (Map key elem) elem

   data-accessor	Data.Accessor.Container

   Treats a finite map like an infinite map, where all undefined elements are replaced by a default value.

3. mapMaybe :: Ord key => key -> T (Map key elem) (Maybe elem)

   data-accessor	Data.Accessor.Container

   Treats a finite map like an infinite map, where all undefined elements are Nothing and defined elements are Just.

4. mappend :: Monoid a => a -> a -> a

   generic-deriving	Generics.Deriving.Monoid

   An associative operation NOTE: This method is redundant and has the default implementation mappend = (<>) since base-4.11.0.0. Should it be implemented manually, since mappend is a synonym for (<>), it is expected that the two functions are defined the same way. In a future GHC release mappend will be removed from Monoid.

5. mappend' :: forall (x :: k) . Monoid' f => f x -> f x -> f x

   generic-deriving	Generics.Deriving.Monoid

   No documentation available.

6. mappenddefault :: (Generic a, Monoid' (Rep a)) => a -> a -> a

   generic-deriving	Generics.Deriving.Monoid

   No documentation available.

7. mapped__ :: (Mapping p, Functor f) => Optic__ p i i (f a) (f b) a b

   optics-core	Optics.Internal.Setter

   Internal implementation of mapped.

8. mapping :: forall (is :: IxList) . (MappingOptic k f g s t a b, AcceptsEmptyIndices "mapping" is) => Optic k is s t a b -> Optic (MappedOptic k) is (f s) (g t) (f a) (g b)

   optics-core	Optics.Mapping

   The mapping can be used to lift optic through a Functor.

   mapping :: Iso    s t a b -> Iso    (f s) (g t) (f a) (g b)
   mapping :: Lens   s   a   -> Getter (f s)       (f a)
   mapping :: Getter s   a   -> Getter (f s)       (f a)
   mapping :: Prism    t   b -> Review       (g t)       (g b)
   mapping :: Review   t   b -> Review       (g t)       (g b)
   

9. mapped :: Functor f => Setter (f a) (f b) a b

   optics-core	Optics.Setter

   Create a Setter for a Functor.

   over mapped ≡ fmap
   

10. mapAccumLOf :: forall k (is :: IxList) s t a b acc . Is k A_Traversal => Optic k is s t a b -> (acc -> a -> (b, acc)) -> acc -> s -> (t, acc)

    optics-core	Optics.Traversal

    This generalizes mapAccumL to an arbitrary Traversal.

    mapAccumL ≡ mapAccumLOf traverse
    

    mapAccumLOf accumulates State from left to right.

Page 118 of many | Previous | Next