Lines Matching refs:ALens
66 , ALens, ALens'
181 type ALens s t a b = LensLike (Pretext (->) a b) s t a b type
186 type ALens' s a = ALens s s a a function
225 ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
227 withLens :: ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r
375 inside :: Corepresentable p => ALens s t a b -> Lens (p e s) (p e t) (p e a) (p e b)
493 cloneLens :: ALens s t a b -> Lens s t a b
499 cloneIndexPreservingLens :: ALens s t a b -> IndexPreservingLens s t a b
1182 (<<~) :: MonadState s m => ALens s s a b -> m b -> m b
1349 (^#) :: s -> ALens s t a b -> a
1357 storing :: ALens s t a b -> b -> s -> t
1365 (#~) :: ALens s t a b -> b -> s -> t
1373 (#%~) :: ALens s t a b -> (a -> b) -> s -> t
1381 (#%%~) :: Functor f => ALens s t a b -> (a -> f b) -> s -> f t
1386 (#=) :: MonadState s m => ALens s s a b -> b -> m ()
1391 (#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m ()
1399 (<#%~) :: ALens s t a b -> (a -> b) -> s -> (b, t)
1404 (<#%=) :: MonadState s m => ALens s s a b -> (a -> b) -> m b
1409 (#%%=) :: MonadState s m => ALens s s a b -> (a -> (r, b)) -> m r
1425 (<#~) :: ALens s t a b -> b -> s -> (b, t)
1430 (<#=) :: MonadState s m => ALens s s a b -> b -> m b