Control.Lens.Getter

Documentation

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

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

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

foldOf :: Getter s a -> s -> a

to :: (s -> a) -> Getting r s a

(^.) :: b -> Getter b c -> c infixl 8

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

newtype Accessor r a

Constructors

Accessor

Fields

runAccessor :: r

Instances

Functor (Accessor r)

Eq r => Eq (Accessor r a)

Ord r => Ord (Accessor r a)

Read r => Read (Accessor r a)

Show r => Show (Accessor r a)