Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
iallOf :: IndexedGetting i All s a -> (i -> a -> Bool) -> s -> Boollens Control.Lens.Fold Return whether or not all elements viewed through an IndexedFold or IndexedTraversal satisfy a predicate, with access to the i. When you don't need access to the index then allOf is more flexible in what it accepts.
allOf l ≡ iallOf l . const
iallOf :: IndexedGetter i s a -> (i -> a -> Bool) -> s -> Bool iallOf :: IndexedFold i s a -> (i -> a -> Bool) -> s -> Bool iallOf :: IndexedLens' i s a -> (i -> a -> Bool) -> s -> Bool iallOf :: IndexedTraversal' i s a -> (i -> a -> Bool) -> s -> Bool
iall :: FoldableWithIndex i f => (i -> a -> Bool) -> f a -> Boollens Control.Lens.Indexed Return whether or not all elements in a container satisfy a predicate, with access to the index i. When you don't need access to the index then all is more flexible in what it accepts.
all ≡ iall . const
_allowIsos :: LensRules -> Boollens Control.Lens.Internal.FieldTH No documentation available.
_allowUpdates :: LensRules -> Boollens Control.Lens.Internal.FieldTH Allow LensTraversal (otherwise GetterFold)
ilocally :: MonadReader s m => AnIndexedSetter i s s a b -> (i -> a -> b) -> m r -> m rlens Control.Lens.Setter This is a generalization of locally that allows one to make indexed local changes to a Reader environment associated with the target of a Setter, Lens, or Traversal.
locally l f ≡ ilocally l f . const ilocally l f ≡ locally l f . Indexed
ilocally :: MonadReader s m => IndexedLens s s a b -> (i -> a -> b) -> m r -> m r ilocally :: MonadReader s m => IndexedTraversal s s a b -> (i -> a -> b) -> m r -> m r ilocally :: MonadReader s m => IndexedSetter s s a b -> (i -> a -> b) -> m r -> m r
locally :: MonadReader s m => ASetter s s a b -> (a -> b) -> m r -> m rlens Control.Lens.Setter Modify the value of the Reader environment associated with the target of a Setter, Lens, or Traversal.
locally l id a ≡ a locally l f . locally l g ≡ locally l (f . g)
>>> (1,1) & locally _1 (+1) (uncurry (+)) 3
>>> "," & locally ($) ("Hello" <>) (<> " world!") "Hello, world!"locally :: MonadReader s m => Iso s s a b -> (a -> b) -> m r -> m r locally :: MonadReader s m => Lens s s a b -> (a -> b) -> m r -> m r locally :: MonadReader s m => Traversal s s a b -> (a -> b) -> m r -> m r locally :: MonadReader s m => Setter s s a b -> (a -> b) -> m r -> m r
_AllPhases :: Prism' Phases ()lens Language.Haskell.TH.Lens No documentation available.
-
lens Language.Haskell.TH.Lens No documentation available.
_ForallC :: Prism' Con ([TyVarBndrSpec], Cxt, Con)lens Language.Haskell.TH.Lens No documentation available.
_ForallT :: Prism' Type ([TyVarBndrSpec], Cxt, Type)lens Language.Haskell.TH.Lens No documentation available.