generic-lens-1.1.0.0: Generically derive traversals, lenses and prisms.

Copyright(C) 2018 Csongor Kiss
LicenseBSD3
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Generics.Internal.VL.Lens

Description

Internal lens helpers. Only exported for Haddock

Synopsis

Documentation

type Lens' s a = Lens s s a a Source #

Type alias for lens

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

view :: ((a -> Const a a) -> s -> Const a s) -> s -> a Source #

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

Getting

(.~) :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> t infixr 4 Source #

set :: Lens s t a b -> b -> s -> t Source #

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

lens2lensvl :: ALens a b s t -> Lens s t a b Source #

ravel :: (ALens a b a b -> ALens a b s t) -> Lens s t a b Source #

lens :: (s -> a) -> ((s, b) -> t) -> Lens s t a b Source #