Control.Lens

Documentation

type Lens α β a b = forall f. Functor f => (a -> f b) -> α -> f β

type Traversal α β a b = forall f. Applicative f => (a -> f b) -> α -> f β

type Iso α β a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p α (f β)

lens :: (α -> a) -> (b -> α -> β) -> Lens α β a b

iso :: (α -> a) -> (b -> β) -> Iso α β a b

get :: ((a -> Const a b) -> α -> Const a β) -> α -> a

set :: ((a -> Identity b) -> α -> Identity β) -> b -> α -> β

modify :: ((a -> Identity b) -> α -> Identity β) -> (a -> b) -> α -> β

mapping :: (Functor f, Functor g) => AnIso α β a b -> Iso (f α) (g β) (f a) (g b)

toListOf :: Getting (Endo [a]) α β a b -> α -> [a]

foldrOf :: Getting (Endo c) α β a b -> (a -> c -> c) -> c -> α -> c

foldlOf :: Getting (Dual (Endo c)) α β a b -> (c -> a -> c) -> c -> α -> c

mapAccumLOf :: ((a -> Backwards (State c) b) -> α -> Backwards (State c) β) -> (c -> a -> (c, b)) -> c -> α -> (c, β)

mapAccumROf :: ((a -> State c b) -> α -> State c β) -> (a -> c -> (c, b)) -> c -> α -> (c, β)

fstL :: Lens (a, c) (b, c) a b

sndL :: Lens (a, b) (a, c) b c

swapL :: Iso (a, b) (c, d) (b, a) (d, c)

unitL :: Lens α α () ()

bitL :: Bits a => Int -> Lens a a Bool Bool