lens-3.10: Lenses, Folds and Traversals

Portability | non-portable
Stability | experimental
Maintainer | Edward Kmett <ekmett@gmail.com>
Safe Haskell | Trustworthy

Control.Lens.At

Contents

- At
- Ixed
- Contains
- Deprecated

Description

Synopsis

- class At m where
  - at :: Index m -> IndexedLens' (Index m) m (Maybe (IxValue m))
- sans :: At m => Index m -> m -> m
- type family IxValue m :: *
- class Functor f => Ixed f m where
  - ix :: Index m -> IndexedLensLike' (Index m) f m (IxValue m)
- ixAt :: (Applicative f, At m) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)
- ixEach :: (Applicative f, Eq (Index m), Each f m m (IxValue m) (IxValue m)) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)
- class Functor f => Contains f m where
  - contains :: Index m -> IndexedLensLike' (Index m) f m Bool
- containsIx :: (Contravariant f, Functor f, Ixed (Accessor Any) m) => Index m -> IndexedLensLike' (Index m) f m Bool
- containsAt :: (Contravariant f, Functor f, At m) => Index m -> IndexedLensLike' (Index m) f m Bool
- containsLength :: forall i s. (Ord i, Num i) => (s -> i) -> i -> IndexedGetter i s Bool
- containsN :: Int -> Int -> IndexedGetter Int s Bool
- containsTest :: forall i s. (i -> s -> Bool) -> i -> IndexedGetter i s Bool
- containsLookup :: forall i s a. (i -> s -> Maybe a) -> i -> IndexedGetter i s Bool
- _at :: Ixed f m => Index m -> IndexedLensLike' (Index m) f m (IxValue m)
- resultAt :: Ixed f m => Index m -> IndexedLensLike' (Index m) f m (IxValue m)

# At

class At m where Source

`At` provides a `Lens` that can be used to read, write or delete the value associated with a key in a `Map`-like container on an ad hoc basis.

An instance of `At` should satisfy:

     ix k ≡ at k <. traverse

Methods

at :: Index m -> IndexedLens' (Index m) m (Maybe (IxValue m))Source

    >>> Map.fromList [(1,"world")] ^.at 1
    Just "world"

    >>> at 1 ?~ "hello" $ Map.empty
    fromList [(1,"hello")]

Note: `Map`-like containers form a reasonable instance, but not `Array`-like ones, where you cannot satisfy the `Lens` laws.

Instances

At (IntMap a) |
Ord k => At (Map k a) |
(Eq k, Hashable k) => At (HashMap k a) |

sans :: At m => Index m -> m -> mSource

# Ixed

type family IxValue m :: *Source

This provides a common notion of a value at an index that is shared by both `Ixed` and `At`.

class Functor f => Ixed f m where Source

This simple `IndexedTraversal` lets you `traverse` the value at a given key in a `Map` or element at an ordinal position in a list or `Seq`.

Methods

ix :: Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source

This simple `IndexedTraversal` lets you `traverse` the value at a given key in a `Map` or element at an ordinal position in a list or `Seq`.

NB: Setting the value of this `Traversal` will only set the value in the `Lens` if it is already present.

If you want to be able to insert missing values, you want `at`.

    >>> Seq.fromList [a,b,c,d] & ix 2 %~ f
    fromList [a,b,f c,d]

    >>> Seq.fromList [a,b,c,d] & ix 2 .~ e
    fromList [a,b,e,d]

    >>> Seq.fromList [a,b,c,d] ^? ix 2
    Just c

    >>> Seq.fromList [] ^? ix 2
    Nothing

Instances

Applicative f => Ixed f ByteString |
Applicative f => Ixed f ByteString |
Applicative f => Ixed f Text |
Applicative f => Ixed f Text |
Applicative f => Ixed f (Complex a) |
(Applicative f, Unbox a) => Ixed f (Vector a) |
(Applicative f, Storable a) => Ixed f (Vector a) |
(Applicative f, Prim a) => Ixed f (Vector a) |
Applicative f => Ixed f (Vector a) |
Applicative f => Ixed f (IntMap a) |
Applicative f => Ixed f (Seq a) |
Applicative f => Ixed f (Tree a) |
Functor f => Ixed f (Identity a) |
Applicative f => Ixed f [a] |
(Applicative f, ~ * a b) => Ixed f (a, b) |
(Functor f, Eq k) => Ixed f (k -> a) |

(Applicative f, IArray UArray e, Ix i) => Ixed f (UArray i e)

     arr ! i ≡ arr ^. ix i
     arr // [(i,e)] ≡ ix i .~ e $ arr

(Applicative f, Ix i) => Ixed f (Array i e)

     arr ! i ≡ arr ^. ix i
     arr // [(i,e)] ≡ ix i .~ e $ arr

(Applicative f, Eq k, Hashable k) => Ixed f (HashMap k a) |
(Applicative f, Ord k) => Ixed f (Map k a) |
(Applicative f, ~ * a b, ~ * b c) => Ixed f (a, b, c) |
(Applicative f, ~ * a b, ~ * b c, ~ * c d) => Ixed f (a, b, c, d) |
(Applicative f, ~ * a b, ~ * b c, ~ * c d, ~ * d e) => Ixed f (a, b, c, d, e) |
(Applicative f, ~ * a b, ~ * b c, ~ * c d, ~ * d e, ~ * e f') => Ixed f (a, b, c, d, e, f') |
(Applicative f, ~ * a b, ~ * b c, ~ * c d, ~ * d e, ~ * e f', ~ * f' g) => Ixed f (a, b, c, d, e, f', g) |
(Applicative f, ~ * a b, ~ * b c, ~ * c d, ~ * d e, ~ * e f', ~ * f' g, ~ * g h) => Ixed f (a, b, c, d, e, f', g, h) |
(Applicative f, ~ * a b, ~ * b c, ~ * c d, ~ * d e, ~ * e f', ~ * f' g, ~ * g h, ~ * h i) => Ixed f (a, b, c, d, e, f', g, h, i) |

ixAt :: (Applicative f, At m) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source

A definition of `ix` for types with an `At` instance. This is the default if you don't specify a definition for `ix`.

ixEach :: (Applicative f, Eq (Index m), Each f m m (IxValue m) (IxValue m)) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source

A definition of `ix` for types with an `Each` instance.

# Contains

class Functor f => Contains f m where Source

This class provides a simple `IndexedFold` (or `IndexedTraversal`) that lets you view (and modify) information about whether or not a container contains a given `Index`.

Methods

contains :: Index m -> IndexedLensLike' (Index m) f m Bool Source

    >>> IntSet.fromList [1,2,3,4] ^. contains 3
    True

    >>> IntSet.fromList [1,2,3,4] ^. contains 5
    False

    >>> IntSet.fromList [1,2,3,4] & contains 3 .~ False
    fromList [1,2,4]

Instances

(Contravariant f, Functor f) => Contains f ByteString |
(Contravariant f, Functor f) => Contains f ByteString |
(Contravariant f, Functor f) => Contains f Text |
(Contravariant f, Functor f) => Contains f Text |
Functor f => Contains f IntSet |
(Contravariant f, Functor f, Unbox a) => Contains f (Vector a) |
(Contravariant f, Functor f, Storable a) => Contains f (Vector a) |
(Contravariant f, Functor f, Prim a) => Contains f (Vector a) |
(Contravariant f, Functor f) => Contains f (Vector a) |
(Contravariant k, Functor k) => Contains k (IntMap a) |
(Contravariant k, Functor k) => Contains k (Identity a) |
(Contravariant f, Functor f) => Contains f (Tree a) |
(Contravariant f, Functor f) => Contains f (Complex a) |
(Contravariant f, Functor f) => Contains f (Seq a) |
(Contravariant f, Functor f) => Contains f [a] |
(Functor f, Eq a, Hashable a) => Contains f (HashSet a) |
(Functor f, Ord a) => Contains f (Set a) |
(Contravariant f, Functor f, IArray UArray e, Ix i) => Contains f (UArray i e) |
(Contravariant f, Functor f, Ix i) => Contains f (Array i e) |
(Contravariant f, Functor f, Eq k, Hashable k) => Contains f (HashMap k a) |
(Contravariant f, Functor f, Ord k) => Contains f (Map k a) |
(Contravariant k, Functor k) => Contains k (a, b) |
(Functor f, Contravariant f) => Contains f (e -> a) |
(Contravariant k, Functor k) => Contains k (a, b, c) |
(Contravariant k, Functor k) => Contains k (a, b, c, d) |
(Contravariant k, Functor k) => Contains k (a, b, c, d, e) |
(Contravariant k, Functor k) => Contains k (a, b, c, d, e, f) |
(Contravariant k, Functor k) => Contains k (a, b, c, d, e, f, g) |
(Contravariant k, Functor k) => Contains k (a, b, c, d, e, f, g, h) |
(Contravariant k, Functor k) => Contains k (a, b, c, d, e, f, g, h, i) |

containsIx :: (Contravariant f, Functor f, Ixed (Accessor Any) m) => Index m -> IndexedLensLike' (Index m) f m Bool Source

A definition of `contains` for types with an `Ix` instance.

containsAt :: (Contravariant f, Functor f, At m) => Index m -> IndexedLensLike' (Index m) f m Bool Source

A definition of `ix` for types with an `At` instance. This is the default if you don't specify a definition for `contains` and you are on GHC >= 7.0.2

containsLength :: forall i s. (Ord i, Num i) => (s -> i) -> i -> IndexedGetter i s Bool Source

Construct a `contains` check based on some notion of `length` for the container.

containsN :: Int -> Int -> IndexedGetter Int s Bool Source

Construct a `contains` check for a fixed number of elements.

containsTest :: forall i s. (i -> s -> Bool) -> i -> IndexedGetter i s Bool Source

Construct a `contains` check that uses an arbitrary test.

containsLookup :: forall i s a. (i -> s -> Maybe a) -> i -> IndexedGetter i s Bool Source

Construct a `contains` check that uses an arbitrary `lookup` function.

# Deprecated

_at :: Ixed f m => Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source

Deprecated: use `ix`. This function will be removed after GHC 7.8 is released.

Deprecated aliases for `ix`.

resultAt :: Ixed f m => Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source

Deprecated: use `ix`. This function will be removed after GHC 7.8 is released.

Deprecated aliases for `ix`.