Optics.At

This module provides optics for Map and Set-like containers, including an AffineTraversal to traverse a key in a map or an element of a sequence:

>>> preview (ix 1) ['a','b','c']
Just 'b'

a Lens to get, set or delete a key in a map:

>>> set (at 0) (Just 'b') (Map.fromList [(0, 'a')])
fromList [(0,'b')]

and a Lens to insert or remove an element of a set:

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

This module includes the core definitions from Optics.At.Core along with extra (orphan) instances.

Type families

type family Index s :: Type

Type family that takes a key-value container type and returns the type of keys (indices) into the container, for example Index (Map k a) ~ k. This is shared by Ixed, At and Contains.

Instances

type Index ByteString

Defined in Optics.At

type Index ByteString = Int64

type Index ByteString

Defined in Optics.At

type Index ByteString = Int

type Index IntSet

Defined in Optics.At.Core

type Index IntSet = Int

type Index Text

Defined in Optics.At

type Index Text = Int64

type Index Text

Defined in Optics.At

type Index Text = Int

type Index [a]

Defined in Optics.At.Core

type Index [a] = Int

type Index (Maybe a)

Defined in Optics.At.Core

type Index (Maybe a) = ()

type Index (Complex a)

Defined in Optics.At.Core

type Index (Complex a) = Int

type Index (Identity a)

Defined in Optics.At.Core

type Index (Identity a) = ()

type Index (NonEmpty a)

Defined in Optics.At.Core

type Index (NonEmpty a) = Int

type Index (IntMap a)

Defined in Optics.At.Core

type Index (IntMap a) = Int

type Index (Tree a)

Defined in Optics.At.Core

type Index (Tree a) = [Int]

type Index (Seq a)

Defined in Optics.At.Core

type Index (Seq a) = Int

type Index (Set a)

Defined in Optics.At.Core

type Index (Set a) = a

type Index (HashSet a)

Defined in Optics.At

type Index (HashSet a) = a

type Index (Vector a)

Defined in Optics.At

type Index (Vector a) = Int

type Index (Vector a)

Defined in Optics.At

type Index (Vector a) = Int

type Index (Vector a)

Defined in Optics.At

type Index (Vector a) = Int

type Index (Vector a)

Defined in Optics.At

type Index (Vector a) = Int

type Index (e -> a)

Defined in Optics.At.Core

type Index (e -> a) = e

type Index (a, b)

Defined in Optics.At.Core

type Index (a, b) = Int

type Index (UArray i e)

Defined in Optics.At.Core

type Index (UArray i e) = i

type Index (Array i e)

Defined in Optics.At.Core

type Index (Array i e) = i

type Index (Map k a)

Defined in Optics.At.Core

type Index (Map k a) = k

type Index (HashMap k a)

Defined in Optics.At

type Index (HashMap k a) = k

type Index (a, b, c)

Defined in Optics.At.Core

type Index (a, b, c) = Int

type Index (a, b, c, d)

Defined in Optics.At.Core

type Index (a, b, c, d) = Int

type Index (a, b, c, d, e)

Defined in Optics.At.Core

type Index (a, b, c, d, e) = Int

type Index (a, b, c, d, e, f)

Defined in Optics.At.Core

type Index (a, b, c, d, e, f) = Int

type Index (a, b, c, d, e, f, g)

Defined in Optics.At.Core

type Index (a, b, c, d, e, f, g) = Int

type Index (a, b, c, d, e, f, g, h)

Defined in Optics.At.Core

type Index (a, b, c, d, e, f, g, h) = Int

type Index (a, b, c, d, e, f, g, h, i)

Defined in Optics.At.Core

type Index (a, b, c, d, e, f, g, h, i) = Int

type family IxValue m :: Type

Type family that takes a key-value container type and returns the type of values stored in the container, for example IxValue (Map k a) ~ a. This is shared by both Ixed and At.

Instances

type IxValue ByteString

Defined in Optics.At

type IxValue ByteString = Word8

type IxValue ByteString

Defined in Optics.At

type IxValue ByteString = Word8

type IxValue IntSet

Defined in Optics.At.Core

type IxValue IntSet = ()

type IxValue Text

Defined in Optics.At

type IxValue Text = Char

type IxValue Text

Defined in Optics.At

type IxValue Text = Char

type IxValue [a]

Defined in Optics.At.Core

type IxValue [a] = a

type IxValue (Maybe a)

Defined in Optics.At.Core

type IxValue (Maybe a) = a

type IxValue (Identity a)

Defined in Optics.At.Core

type IxValue (Identity a) = a

type IxValue (NonEmpty a)

Defined in Optics.At.Core

type IxValue (NonEmpty a) = a

type IxValue (IntMap a)

Defined in Optics.At.Core

type IxValue (IntMap a) = a

type IxValue (Tree a)

Defined in Optics.At.Core

type IxValue (Tree a) = a

type IxValue (Seq a)

Defined in Optics.At.Core

type IxValue (Seq a) = a

type IxValue (Set k)

Defined in Optics.At.Core

type IxValue (Set k) = ()

type IxValue (HashSet k)

Defined in Optics.At

type IxValue (HashSet k) = ()

type IxValue (Vector a)

Defined in Optics.At

type IxValue (Vector a) = a

type IxValue (Vector a)

Defined in Optics.At

type IxValue (Vector a) = a

type IxValue (Vector a)

Defined in Optics.At

type IxValue (Vector a) = a

type IxValue (Vector a)

Defined in Optics.At

type IxValue (Vector a) = a

type IxValue (e -> a)

Defined in Optics.At.Core

type IxValue (e -> a) = a

type IxValue (a0, a2)

ix :: Int -> AffineTraversal' (a, a) a

Defined in Optics.At.Core

type IxValue (a0, a2) = a0

type IxValue (UArray i e)

Defined in Optics.At.Core

type IxValue (UArray i e) = e

type IxValue (Array i e)

Defined in Optics.At.Core

type IxValue (Array i e) = e

type IxValue (Map k a)

Defined in Optics.At.Core

type IxValue (Map k a) = a

type IxValue (HashMap k a)

Defined in Optics.At

type IxValue (HashMap k a) = a

type IxValue (a0, a1, a2)

ix :: Int -> AffineTraversal' (a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2) = a0

type IxValue (a0, a1, a2, a3)

ix :: Int -> AffineTraversal' (a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3) = a0

type IxValue (a0, a1, a2, a3, a4)

ix :: Int -> AffineTraversal' (a, a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3, a4) = a0

type IxValue (a0, a1, a2, a3, a4, a5)

ix :: Int -> AffineTraversal' (a, a, a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3, a4, a5) = a0

type IxValue (a0, a1, a2, a3, a4, a5, a6)

ix :: Int -> AffineTraversal' (a, a, a, a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3, a4, a5, a6) = a0

type IxValue (a0, a1, a2, a3, a4, a5, a6, a7)

ix :: Int -> AffineTraversal' (a, a, a, a, a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3, a4, a5, a6, a7) = a0

type IxValue (a0, a1, a2, a3, a4, a5, a6, a7, a8)

ix :: Int -> AffineTraversal' (a, a, a, a, a, a, a, a, a) a

Defined in Optics.At.Core

type IxValue (a0, a1, a2, a3, a4, a5, a6, a7, a8) = a0

Ixed

class Ixed m where

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

Minimal complete definition

Nothing

Associated Types

type IxKind m :: OpticKind

Type family that takes a key-value container type and returns the kind of optic to index into it. For most containers, it's An_AffineTraversal, Representable (Naperian) containers it is A_Lens, and multi-maps would have A_Traversal.

Methods

ix :: Index m -> Optic' (IxKind m) NoIx m (IxValue m)

NB: Setting the value of this AffineTraversal will only set the value in at if it is already present.

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

>>> [1,2,3,4] & ix 2 %~ (*10)
[1,2,30,4]

>>> "abcd" & ix 2 .~ 'e'
"abed"

>>> "abcd" ^? ix 2
Just 'c'

>>> [] ^? ix 2
Nothing

Instances

Ixed ByteString

Defined in Optics.At

Associated Types

type IxKind ByteString :: OpticKind

Methods

ix :: Index ByteString -> Optic' (IxKind ByteString) NoIx ByteString (IxValue ByteString)

Ixed ByteString

Defined in Optics.At

Associated Types

type IxKind ByteString :: OpticKind

Methods

ix :: Index ByteString -> Optic' (IxKind ByteString) NoIx ByteString (IxValue ByteString)

Ixed IntSet

Defined in Optics.At.Core

Associated Types

type IxKind IntSet :: OpticKind

Methods

ix :: Index IntSet -> Optic' (IxKind IntSet) NoIx IntSet (IxValue IntSet)

Ixed Text

Defined in Optics.At

Associated Types

type IxKind Text :: OpticKind

Methods

ix :: Index Text -> Optic' (IxKind Text) NoIx Text (IxValue Text)

Ixed Text

Defined in Optics.At

Associated Types

type IxKind Text :: OpticKind

Methods

ix :: Index Text -> Optic' (IxKind Text) NoIx Text (IxValue Text)

Ixed [a]

Defined in Optics.At.Core

Associated Types

type IxKind [a] :: OpticKind

Methods

ix :: Index [a] -> Optic' (IxKind [a]) NoIx [a] (IxValue [a])

Ixed (Maybe a)

Defined in Optics.At.Core

Associated Types

type IxKind (Maybe a) :: OpticKind

Methods

ix :: Index (Maybe a) -> Optic' (IxKind (Maybe a)) NoIx (Maybe a) (IxValue (Maybe a))

Ixed (Identity a)

Defined in Optics.At.Core

Associated Types

type IxKind (Identity a) :: OpticKind

Methods

ix :: Index (Identity a) -> Optic' (IxKind (Identity a)) NoIx (Identity a) (IxValue (Identity a))

Ixed (NonEmpty a)

Defined in Optics.At.Core

Associated Types

type IxKind (NonEmpty a) :: OpticKind

Methods

ix :: Index (NonEmpty a) -> Optic' (IxKind (NonEmpty a)) NoIx (NonEmpty a) (IxValue (NonEmpty a))

Ixed (IntMap a)

Defined in Optics.At.Core

Associated Types

type IxKind (IntMap a) :: OpticKind

Methods

ix :: Index (IntMap a) -> Optic' (IxKind (IntMap a)) NoIx (IntMap a) (IxValue (IntMap a))

Ixed (Tree a)

Defined in Optics.At.Core

Associated Types

type IxKind (Tree a) :: OpticKind

Methods

ix :: Index (Tree a) -> Optic' (IxKind (Tree a)) NoIx (Tree a) (IxValue (Tree a))

Ixed (Seq a)

Defined in Optics.At.Core

Associated Types

type IxKind (Seq a) :: OpticKind

Methods

ix :: Index (Seq a) -> Optic' (IxKind (Seq a)) NoIx (Seq a) (IxValue (Seq a))

Ord k => Ixed (Set k)

Defined in Optics.At.Core

Associated Types

type IxKind (Set k) :: OpticKind

Methods

ix :: Index (Set k) -> Optic' (IxKind (Set k)) NoIx (Set k) (IxValue (Set k))

(Eq k, Hashable k) => Ixed (HashSet k)

Defined in Optics.At

Associated Types

type IxKind (HashSet k) :: OpticKind

Methods

ix :: Index (HashSet k) -> Optic' (IxKind (HashSet k)) NoIx (HashSet k) (IxValue (HashSet k))

Unbox a => Ixed (Vector a)

Defined in Optics.At

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Storable a => Ixed (Vector a)

Defined in Optics.At

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Prim a => Ixed (Vector a)

Defined in Optics.At

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Ixed (Vector a)

Defined in Optics.At

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Eq e => Ixed (e -> a)

Defined in Optics.At.Core

Associated Types

type IxKind (e -> a) :: OpticKind

Methods

ix :: Index (e -> a) -> Optic' (IxKind (e -> a)) NoIx (e -> a) (IxValue (e -> a))

a0 ~ a1 => Ixed (a0, a1)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1) :: OpticKind

Methods

ix :: Index (a0, a1) -> Optic' (IxKind (a0, a1)) NoIx (a0, a1) (IxValue (a0, a1))

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

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

Defined in Optics.At.Core

Associated Types

type IxKind (UArray i e) :: OpticKind

Methods

ix :: Index (UArray i e) -> Optic' (IxKind (UArray i e)) NoIx (UArray i e) (IxValue (UArray i e))

Ix i => Ixed (Array i e)

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

Defined in Optics.At.Core

Associated Types

type IxKind (Array i e) :: OpticKind

Methods

ix :: Index (Array i e) -> Optic' (IxKind (Array i e)) NoIx (Array i e) (IxValue (Array i e))

Ord k => Ixed (Map k a)

Defined in Optics.At.Core

Associated Types

type IxKind (Map k a) :: OpticKind

Methods

ix :: Index (Map k a) -> Optic' (IxKind (Map k a)) NoIx (Map k a) (IxValue (Map k a))

(Eq k, Hashable k) => Ixed (HashMap k a)

Defined in Optics.At

Associated Types

type IxKind (HashMap k a) :: OpticKind

Methods

ix :: Index (HashMap k a) -> Optic' (IxKind (HashMap k a)) NoIx (HashMap k a) (IxValue (HashMap k a))

(a0 ~ a1, a0 ~ a2) => Ixed (a0, a1, a2)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2) :: OpticKind

Methods

ix :: Index (a0, a1, a2) -> Optic' (IxKind (a0, a1, a2)) NoIx (a0, a1, a2) (IxValue (a0, a1, a2))

(a0 ~ a1, a0 ~ a2, a0 ~ a3) => Ixed (a0, a1, a2, a3)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3) -> Optic' (IxKind (a0, a1, a2, a3)) NoIx (a0, a1, a2, a3) (IxValue (a0, a1, a2, a3))

(a0 ~ a1, a0 ~ a2, a0 ~ a3, a0 ~ a4) => Ixed (a0, a1, a2, a3, a4)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3, a4) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3, a4) -> Optic' (IxKind (a0, a1, a2, a3, a4)) NoIx (a0, a1, a2, a3, a4) (IxValue (a0, a1, a2, a3, a4))

(a0 ~ a1, a0 ~ a2, a0 ~ a3, a0 ~ a4, a0 ~ a5) => Ixed (a0, a1, a2, a3, a4, a5)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3, a4, a5) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3, a4, a5) -> Optic' (IxKind (a0, a1, a2, a3, a4, a5)) NoIx (a0, a1, a2, a3, a4, a5) (IxValue (a0, a1, a2, a3, a4, a5))

(a0 ~ a1, a0 ~ a2, a0 ~ a3, a0 ~ a4, a0 ~ a5, a0 ~ a6) => Ixed (a0, a1, a2, a3, a4, a5, a6)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3, a4, a5, a6) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3, a4, a5, a6) -> Optic' (IxKind (a0, a1, a2, a3, a4, a5, a6)) NoIx (a0, a1, a2, a3, a4, a5, a6) (IxValue (a0, a1, a2, a3, a4, a5, a6))

(a0 ~ a1, a0 ~ a2, a0 ~ a3, a0 ~ a4, a0 ~ a5, a0 ~ a6, a0 ~ a7) => Ixed (a0, a1, a2, a3, a4, a5, a6, a7)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3, a4, a5, a6, a7) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3, a4, a5, a6, a7) -> Optic' (IxKind (a0, a1, a2, a3, a4, a5, a6, a7)) NoIx (a0, a1, a2, a3, a4, a5, a6, a7) (IxValue (a0, a1, a2, a3, a4, a5, a6, a7))

(a0 ~ a1, a0 ~ a2, a0 ~ a3, a0 ~ a4, a0 ~ a5, a0 ~ a6, a0 ~ a7, a0 ~ a8) => Ixed (a0, a1, a2, a3, a4, a5, a6, a7, a8)

Defined in Optics.At.Core

Associated Types

type IxKind (a0, a1, a2, a3, a4, a5, a6, a7, a8) :: OpticKind

Methods

ix :: Index (a0, a1, a2, a3, a4, a5, a6, a7, a8) -> Optic' (IxKind (a0, a1, a2, a3, a4, a5, a6, a7, a8)) NoIx (a0, a1, a2, a3, a4, a5, a6, a7, a8) (IxValue (a0, a1, a2, a3, a4, a5, a6, a7, a8))

ixAt :: At m => Index m -> AffineTraversal' m (IxValue m)

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

At

class (Ixed m, IxKind m ~ An_AffineTraversal) => At m where

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 % _Just

Methods

at :: Index m -> Lens' m (Maybe (IxValue m))

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

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

Note: Usage of this function might introduce space leaks if you're not careful to make sure that values put inside the Just constructor are evaluated. To force the values and avoid such leaks, use at' instead.

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

Instances

At IntSet

Defined in Optics.At.Core

Methods

at :: Index IntSet -> Lens' IntSet (Maybe (IxValue IntSet))

At (Maybe a)

Defined in Optics.At.Core

Methods

at :: Index (Maybe a) -> Lens' (Maybe a) (Maybe (IxValue (Maybe a)))

At (IntMap a)

Defined in Optics.At.Core

Methods

at :: Index (IntMap a) -> Lens' (IntMap a) (Maybe (IxValue (IntMap a)))

Ord k => At (Set k)

Defined in Optics.At.Core

Methods

at :: Index (Set k) -> Lens' (Set k) (Maybe (IxValue (Set k)))

(Eq k, Hashable k) => At (HashSet k)

Defined in Optics.At

Methods

at :: Index (HashSet k) -> Lens' (HashSet k) (Maybe (IxValue (HashSet k)))

Ord k => At (Map k a)

Defined in Optics.At.Core

Methods

at :: Index (Map k a) -> Lens' (Map k a) (Maybe (IxValue (Map k a)))

(Eq k, Hashable k) => At (HashMap k a)

Defined in Optics.At

Methods

at :: Index (HashMap k a) -> Lens' (HashMap k a) (Maybe (IxValue (HashMap k a)))

at' :: At m => Index m -> Lens' m (Maybe (IxValue m))

Version of at strict in the value inside the Just constructor.

Example:

>>> (at () .~ Just (error "oops") $ Nothing) `seq` ()
()

>>> (at' () .~ Just (error "oops") $ Nothing) `seq` ()
*** Exception: oops
...

>>> view (at ()) (Just $ error "oops") `seq` ()
()

>>> view (at' ()) (Just $ error "oops") `seq` ()
*** Exception: oops
...

It also works as expected for other data structures:

>>> (at 1 .~ Just (error "oops") $ Map.empty) `seq` ()
()

>>> (at' 1 .~ Just (error "oops") $ Map.empty) `seq` ()
*** Exception: oops
...

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

Delete the value associated with a key in a Map-like container

sans k = at k .~ Nothing

Contains

class Contains m where

This class provides a simple Lens that lets you view (and modify) information about whether or not a container contains a given Index. Instances are provided for Set-like containers only.

Methods

contains :: Index m -> Lens' m Bool

>>> 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

Contains IntSet

Defined in Optics.At.Core

Methods

contains :: Index IntSet -> Lens' IntSet Bool

Ord a => Contains (Set a)

Defined in Optics.At.Core

Methods

contains :: Index (Set a) -> Lens' (Set a) Bool

(Eq a, Hashable a) => Contains (HashSet a)

Defined in Optics.At

Methods

contains :: Index (HashSet a) -> Lens' (HashSet a) Bool

Orphan instances

Ixed ByteString

Associated Types

type IxKind ByteString :: OpticKind

Methods

ix :: Index ByteString -> Optic' (IxKind ByteString) NoIx ByteString (IxValue ByteString)

Ixed ByteString

Associated Types

type IxKind ByteString :: OpticKind

Methods

ix :: Index ByteString -> Optic' (IxKind ByteString) NoIx ByteString (IxValue ByteString)

Ixed Text

Associated Types

type IxKind Text :: OpticKind

Methods

ix :: Index Text -> Optic' (IxKind Text) NoIx Text (IxValue Text)

Ixed Text

Associated Types

type IxKind Text :: OpticKind

Methods

ix :: Index Text -> Optic' (IxKind Text) NoIx Text (IxValue Text)

(Eq a, Hashable a) => Contains (HashSet a)

Methods

contains :: Index (HashSet a) -> Lens' (HashSet a) Bool

(Eq k, Hashable k) => Ixed (HashSet k)

Associated Types

type IxKind (HashSet k) :: OpticKind

Methods

ix :: Index (HashSet k) -> Optic' (IxKind (HashSet k)) NoIx (HashSet k) (IxValue (HashSet k))

Unbox a => Ixed (Vector a)

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Storable a => Ixed (Vector a)

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Prim a => Ixed (Vector a)

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

Ixed (Vector a)

Associated Types

type IxKind (Vector a) :: OpticKind

Methods

ix :: Index (Vector a) -> Optic' (IxKind (Vector a)) NoIx (Vector a) (IxValue (Vector a))

(Eq k, Hashable k) => At (HashSet k)

Methods

at :: Index (HashSet k) -> Lens' (HashSet k) (Maybe (IxValue (HashSet k)))

(Eq k, Hashable k) => Ixed (HashMap k a)

Associated Types

type IxKind (HashMap k a) :: OpticKind

Methods

ix :: Index (HashMap k a) -> Optic' (IxKind (HashMap k a)) NoIx (HashMap k a) (IxValue (HashMap k a))

(Eq k, Hashable k) => At (HashMap k a)

Methods

at :: Index (HashMap k a) -> Lens' (HashMap k a) (Maybe (IxValue (HashMap k a)))