diff --git a/Control-Lens-At.html b/Control-Lens-At.html index 959983294..8f46b6abb 100644 --- a/Control-Lens-At.html +++ b/Control-Lens-At.html @@ -5,7 +5,7 @@
class Functor f => Contains f m whereSource
contains :: Index m -> IndexedLensLike' (Index m) f m BoolSource
This simple IndexedTraversal
lets you view (and sometimes modify) whether
or not a map (or set) contains a given key.
>>>
IntSet.fromList [1,2,3,4] ^. contains 3 @@ -19,9 +19,9 @@
containsAt :: (Gettable f, At m) => Index m -> IndexedLensLike' (Index m) f m BoolSource
containsLength :: forall i s. (Ord i, Num i) => (s -> i) -> i -> IndexedGetter i s BoolSource
containsTest :: forall i s. (i -> s -> Bool) -> i -> IndexedGetter i s BoolSource
containsLookup :: forall i s a. (i -> s -> Maybe a) -> i -> IndexedGetter i s BoolSource
class (Functor f, Contains (Accessor (Value m)) m) => Ixed f m whereSource
This simple IndexedTraversal
lets you traverse
the value at a given
+
class (Functor f, Contains (Accessor (IxValue m)) m) => Ixed f m whereSource
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
.
-
ix :: Index m -> IndexedLensLike' (Index m) f m (Value m)Source
This simple IndexedTraversal
lets you traverse
the value at a given
+
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.
@@ -40,20 +40,20 @@
arr!
i ≡ arr^.
ix
i arr//
[(i,e)] ≡ix
i.~
e$
arr -
ixAt :: (Applicative f, At m) => Index m -> IndexedLensLike' (Index m) f m (Value m)Source
A definition of ix
for types with an At
instance. This is the default
+
ixAt :: (Applicative f, At m) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)Source
ixEach :: (Applicative f, Eq (Index m), Each f m m (Value m) (Value m)) => Index m -> IndexedLensLike' (Index m) f m (Value m)Source
ixEach :: (Applicative f, Eq (Index m), Each f m m (IxValue m) (IxValue m)) => Index m -> IndexedLensLike' (Index m) f m (IxValue m)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
at :: Index m -> IndexedLens' (Index m) m (Maybe (Value m))Source