Documentation

type Getting r s a = (a -> Accessor r a) -> s -> Accessor r s Source

type Getter s a = forall r. Getting r s a Source

folded :: (Foldable f, Monoid r) => Getting r (f a) a Source

views :: MonadReader s m => Getting r s a -> (a -> r) -> m r Source

view :: MonadReader s m => Getting a s a -> m a Source

foldMapOf :: Getting r s a -> (a -> r) -> s -> r Source

foldOf :: Getting a s a -> s -> a Source

to :: (s -> a) -> Getter s a Source

(^.) :: s -> Getting a s a -> a infixl 8 Source

uses :: MonadState s m => Getter s a -> (a -> r) -> m r Source

use :: MonadState s m => Getter s a -> m a Source

newtype Accessor r a Source