Documentation

type Getter s t a b = forall p. Phantom p => p a b -> p s t Source #

to :: Profunctor p => (s -> a) -> Optic p s b a b Source #

to' :: (s -> a) -> Getter s t a b Source #

to'' :: (s -> a) -> Optic (Forget r) s t a b Source #

view :: Optic (Forget a) s t a b -> s -> a Source #

views :: Optic (Forget a) s t a b -> (a -> a') -> s -> a' Source #

like :: a -> Getter s t a b Source #

(^.) :: s -> Optic (Forget a) s t a b -> a infixl 8 Source #