[Haskell-cafe] Representation of lenses

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Tue Jan 27 17:53:48 UTC 2015

On Tue, Jan 27, 2015 at 05:50:44PM +0000, David Turner wrote:
> Notice that Const s is not an Applicative (e.g. pure :: () -> Const
> Void () doesn't exist) which is why (forall f. Applicative f => (s ->
> f s) -> a -> f a) proscribes getting your hands on the getter.

Right, unless `s` is a `Monoid` in which case you can "get" out of a
`Traversal` by combining all the targets :)

More information about the Haskell-Cafe mailing list