haskell functional-programming lenses

haskell - Lentes funcionales



functional-programming lenses (2)

¿Podría alguien explicarme lentes funcionales? Es un tema sorprendentemente difícil para google y no he hecho ningún progreso. Todo lo que sé es que proporcionan una funcionalidad get / set similar a la de OO.



Una lente consta de dos funciones, un captador y un colocador:

data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }

Por ejemplo, podríamos tener lentes para la primera y la segunda parte de un par:

fstLens :: Lens (a, b) a fstLens = Lens fst $ /x (a, b) -> (x, b) sndLens :: Lens (a, b) b sndLens = Lens snd $ /x (a, b) -> (a, x)

La verdadera conveniencia de los lentes es que componen:

compose :: Lens b c -> Lens a b -> Lens a c compose f g = Lens (getter f . getter g) $ /c a -> setter g (setter f c (getter g a)) a

Y se convierten mecánicamente a transiciones de State :

lensGet :: MonadState s m => Lens s a -> m a lensGet = gets . getter lensSet :: MonadState s m => Lens s b -> b -> m () lensSet f = modify . setter f lensMod :: MonadState s m => Lens s b -> (b -> b) -> m () lensMod f g = modify $ setter f =<< g . getter f (+=) :: (MonadState s m, Num b) => Lens s b -> b -> m () f += x = lensMod f (+ x)