Control.Effect.Optics.Indexed

Indexed reader operations

iview :: forall k (is :: IxList) i r (sig :: (Type -> Type) -> Type -> Type) m a. (Is k A_Getter, HasSingleIndex is i, Has (Reader r) sig m) => Optic' k is r a -> m (i, a)

View the index and value of an indexed getter into the current environment as a pair.

iviews :: forall k (is :: IxList) i r (sig :: (Type -> Type) -> Type -> Type) m a b. (Is k A_Getter, HasSingleIndex is i, Has (Reader r) sig m) => Optic' k is r a -> (i -> a -> m b) -> m b

View the index and value of an indexed getter into the current environment and pass them to the provided function.

ilocally :: forall s (sig :: (Type -> Type) -> Type -> Type) m (is :: IxList) i k a1 b a2. (Has (Reader s) sig m, HasSingleIndex is i, Is k A_Setter) => Optic k is s s a1 b -> (i -> a1 -> b) -> m a2 -> m a2

Given a monadic argument, evaluate it in a context modified by applying the provided function to the index and target of the provided indexed Setter, Lens, or Traversal.

Indexed state operations

iuse :: forall k (is :: IxList) i s (sig :: (Type -> Type) -> Type -> Type) m a. (Is k A_Getter, HasSingleIndex is i, Has (State s) sig m) => Optic' k is s a -> m (i, a)

Extract the index and target of an indexed getter in the current state as a pair.

iuses :: forall k (is :: IxList) i s (sig :: (Type -> Type) -> Type -> Type) m a b. (Is k A_Getter, HasSingleIndex is i, Has (State s) sig m) => Optic' k is s a -> (i -> a -> m b) -> m b

Extract the index and target of an indexed getter in the current state and pass them to the provided function.