Specialized to to Folds.

Author: zrho

src/Data/Lens/Getter.purs

@@ -16,7 +16,7 @@ import Data.Tuple (Tuple (..))
 import Control.Monad.State.Class (MonadState, gets)
 
 import Data.Lens.Internal.Forget (Forget (..), runForget)
-import Data.Lens.Types (Getter(), Optic())
+import Data.Lens.Types (Getter(), Fold(), Optic())
 import Data.Lens.Types (IndexedGetter(), Indexed (..))
 import Data.Lens.Types (IndexedFold())
 
@@ -35,8 +35,8 @@ iview l = runForget (l (Indexed $ Forget id))
 (^.) s l = view l s
 
 -- | Convert a function into a getter.
-to :: forall s t a p. (Profunctor p) => (s -> a) -> Optic p s t a t
-to = lmap
+to :: forall r s t a b. (s -> a) -> Fold r s t a b
+to f p = Forget (runForget p <<< f)
 
 -- | View the focus of a `Getter` in the state of a monad.
 use :: forall s t a b m. (MonadState s m) => Getter s t a b -> m a