Network.OAuth.MuLens

Tiny, Control.Lens compatibility layer.

Basics

type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t

view :: MonadReader s m => ((a -> Constant a a) -> s -> Constant a s) -> m a

use :: MonadState s m => ((a -> Constant a a) -> s -> Constant a s) -> m a

preview :: ((a -> Constant (First a) a) -> s -> Constant (First a) s) -> s -> Maybe a

set :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> t

Generalizations

over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t

foldMapOf :: ((a -> Constant r b) -> s -> Constant r t) -> (a -> r) -> s -> r

Building

lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b

Tools

zoom :: Monad m => Lens s s t t -> StateT t m a -> StateT s m a

Convenience

(<&>) :: Functor f => f a -> (a -> b) -> f b

(&) :: b -> (b -> c) -> c

(^.) :: s -> ((a -> Constant a a) -> s -> Constant a s) -> a

(.~) :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> t

(%~) :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t

(<~) :: MonadState s m => ((a -> Identity b) -> s -> Identity s) -> m b -> m ()