Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. transformOf :: ASetter a b a b -> (b -> b) -> a -> b

   lens	Control.Lens.Plated

   Transform every element by recursively applying a given Setter in a bottom-up manner.

   transformOf :: Traversal' a a -> (a -> a) -> a -> a
   transformOf :: Setter' a a    -> (a -> a) -> a -> a
   

2. transformOn :: Plated a => ASetter s t a a -> (a -> a) -> s -> t

   lens	Control.Lens.Plated

   Transform every element in the tree in a bottom-up manner over a region indicated by a Setter.

   transformOn :: Plated a => Traversal' s a -> (a -> a) -> s -> s
   transformOn :: Plated a => Setter' s a    -> (a -> a) -> s -> s
   

3. transformOnOf :: ASetter s t a b -> ASetter a b a b -> (b -> b) -> s -> t

   lens	Control.Lens.Plated

   Transform every element in a region indicated by a Setter by recursively applying another Setter in a bottom-up manner.

   transformOnOf :: Setter' s a -> Traversal' a a -> (a -> a) -> s -> s
   transformOnOf :: Setter' s a -> Setter' a a    -> (a -> a) -> s -> s
   

4. declareClassyFor :: [(String, (String, String))] -> [(String, String)] -> DecsQ -> DecsQ

   lens	Control.Lens.TH

   Similar to makeClassyFor, but takes a declaration quote.

5. declareLensesFor :: [(String, String)] -> DecsQ -> DecsQ

   lens	Control.Lens.TH

   Similar to makeLensesFor, but takes a declaration quote.

6. lensRulesFor :: [(String, String)] -> LensRules

   lens	Control.Lens.TH

   Construct a LensRules value for generating top-level definitions using the given map from field names to definition names.

7. makeClassyFor :: String -> String -> [(String, String)] -> Name -> DecsQ

   lens	Control.Lens.TH

   Derive lenses and traversals, using a named wrapper class, and specifying explicit pairings of (fieldName, traversalName). Example usage:

   makeClassyFor "HasFoo" "foo" [("_foo", "fooLens"), ("bar", "lbar")] ''Foo
   

8. makeLensesFor :: [(String, String)] -> Name -> DecsQ

   lens	Control.Lens.TH

   Derive lenses and traversals, specifying explicit pairings of (fieldName, lensName). If you map multiple names to the same label, and it is present in the same constructor then this will generate a Traversal. e.g.

   makeLensesFor [("_foo", "fooLens"), ("baz", "lbaz")] ''Foo
   makeLensesFor [("_barX", "bar"), ("_barY", "bar")] ''Bar
   

9. iforMOf :: (Indexed i a (WrappedMonad m b) -> s -> WrappedMonad m t) -> s -> (i -> a -> m b) -> m t

   lens	Control.Lens.Traversal

   Map each element of a structure targeted by a Lens to a monadic action, evaluate these actions from left to right, and collect the results, with access its position (and the arguments flipped).

   forMOf l a ≡ iforMOf l a . const
   iforMOf ≡ flip . imapMOf
   

   iforMOf :: Monad m => IndexedLens i s t a b      -> s -> (i -> a -> m b) -> m t
   iforMOf :: Monad m => IndexedTraversal i s t a b -> s -> (i -> a -> m b) -> m t
   

10. iforOf :: (Indexed i a (f b) -> s -> f t) -> s -> (i -> a -> f b) -> f t

    lens	Control.Lens.Traversal

    Traverse with an index (and the arguments flipped).

    forOf l a ≡ iforOf l a . const
    iforOf ≡ flip . itraverseOf
    

    iforOf :: Functor f     => IndexedLens i s t a b       -> s -> (i -> a -> f b) -> f t
    iforOf :: Applicative f => IndexedTraversal i s t a b  -> s -> (i -> a -> f b) -> f t
    iforOf :: Apply f       => IndexedTraversal1 i s t a b -> s -> (i -> a -> f b) -> f t
    

Page 418 of many | Previous | Next