| Copyright | (C) 2012-16 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Control.Lens.At
Description
- class Ixed m => At m where
- sans :: At m => Index m -> m -> m
- iat :: At m => Index m -> IndexedLens' (Index m) m (Maybe (IxValue m))
- type family Index (s :: *) :: *
- type family IxValue (m :: *) :: *
- class Ixed m where
- ixAt :: At m => Index m -> Traversal' m (IxValue m)
- iix :: Ixed m => Index m -> IndexedTraversal' (Index m) m (IxValue m)
- class Contains m where
- icontains :: Contains m => Index m -> IndexedLens' (Index m) m Bool
At
class Ixed m => 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:
ixk ≡atk.traverse
Minimal complete definition
Methods
iat :: At m => Index m -> IndexedLens' (Index m) m (Maybe (IxValue m)) Source #
An indexed version of at.
>>>Map.fromList [(1,"world")] ^@. iat 1(1,Just "world")
>>>iat 1 %@~ (\i x -> if odd i then Just "hello" else Nothing) $ Map.emptyfromList [(1,"hello")]
>>>iat 2 %@~ (\i x -> if odd i then Just "hello" else Nothing) $ Map.emptyfromList []
Ixed
type family Index (s :: *) :: * Source #
Instances
type family IxValue (m :: *) :: * Source #
Instances
This simple Traversal 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 -> Traversal' m (IxValue m) Source #
This simple Traversal 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
at 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 %~ ffromList [a,b,f c,d]
>>>Seq.fromList [a,b,c,d] & ix 2 .~ efromList [a,b,e,d]
>>>Seq.fromList [a,b,c,d] ^? ix 2Just c
>>>Seq.fromList [] ^? ix 2Nothing
ix :: (Applicative f, At m) => Index m -> LensLike' f m (IxValue m) Source #
This simple Traversal 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
at 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 %~ ffromList [a,b,f c,d]
>>>Seq.fromList [a,b,c,d] & ix 2 .~ efromList [a,b,e,d]
>>>Seq.fromList [a,b,c,d] ^? ix 2Just c
>>>Seq.fromList [] ^? ix 2Nothing
Instances
| Ixed ByteString Source # | |
| Ixed ByteString Source # | |
| Ixed IntSet Source # | |
| Ixed Text Source # | |
| Ixed Text Source # | |
| Ixed [a] Source # | |
| Ixed (Maybe a) Source # | |
| Ixed (Identity a) Source # | |
| Ixed (NonEmpty a) Source # | |
| Ixed (IntMap a) Source # | |
| Ixed (Tree a) Source # | |
| Ixed (Seq a) Source # | |
| Ord k => Ixed (Set k) Source # | |
| (Eq k, Hashable k) => Ixed (HashSet k) Source # | |
| Ixed (Vector a) Source # | |
| Storable a => Ixed (Vector a) Source # | |
| Unbox a => Ixed (Vector a) Source # | |
| Prim a => Ixed (Vector a) Source # | |
| Eq e => Ixed (e -> a) Source # | |
| (~) * a a2 => Ixed (a, a2) Source # | |
| (IArray UArray e, Ix i) => Ixed (UArray i e) Source # | arr |
| Ix i => Ixed (Array i e) Source # | arr |
| Ord k => Ixed (Map k a) Source # | |
| (Eq k, Hashable k) => Ixed (HashMap k a) Source # | |
| ((~) * a a2, (~) * a a3) => Ixed (a, a2, a3) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4) => Ixed (a, a2, a3, a4) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4, (~) * a a5) => Ixed (a, a2, a3, a4, a5) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4, (~) * a a5, (~) * a a6) => Ixed (a, a2, a3, a4, a5, a6) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4, (~) * a a5, (~) * a a6, (~) * a a7) => Ixed (a, a2, a3, a4, a5, a6, a7) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4, (~) * a a5, (~) * a a6, (~) * a a7, (~) * a a8) => Ixed (a, a2, a3, a4, a5, a6, a7, a8) Source # | |
| ((~) * a a2, (~) * a a3, (~) * a a4, (~) * a a5, (~) * a a6, (~) * a a7, (~) * a a8, (~) * a a9) => Ixed (a, a2, a3, a4, a5, a6, a7, a8, a9) Source # | |
iix :: Ixed m => Index m -> IndexedTraversal' (Index m) m (IxValue m) Source #
An indexed version of ix.
>>>Seq.fromList [a,b,c,d] & iix 2 %@~ f'fromList [a,b,f' 2 c,d]
>>>Seq.fromList [a,b,c,d] & iix 2 .@~ hfromList [a,b,h 2,d]
>>>Seq.fromList [a,b,c,d] ^@? iix 2Just (2,c)
>>>Seq.fromList [] ^@? iix 2Nothing
Contains
class Contains m where Source #
This class provides a simple Lens that lets you view (and modify)
information about whether or not a container contains a given Index.
Minimal complete definition
icontains :: Contains m => Index m -> IndexedLens' (Index m) m Bool Source #
An indexed version of contains.
>>>IntSet.fromList [1,2,3,4] ^@. icontains 3(3,True)
>>>IntSet.fromList [1,2,3,4] ^@. icontains 5(5,False)
>>>IntSet.fromList [1,2,3,4] & icontains 3 %@~ \i x -> if odd i then not x else xfromList [1,2,4]
>>>IntSet.fromList [1,2,3,4] & icontains 3 %@~ \i x -> if even i then not x else xfromList [1,2,3,4]