Add Lens as a Category.

fsprojects / FSharpPlus

Extensions for F#

https://fsprojects.github.io/FSharpPlus

Apache License 2.0

857 stars 95 forks source link

Add Lens as a Category. #3

Closed gusty closed 9 years ago

mausch commented 11 years ago

Actually, the latest Haskell lens package composes lens with the standard function composition operator from the Prelude (previous implementations had to use the generalized composition from Category). ( https://github.com/ekmett/lens/wiki/Overview ). I need to look deeper into its implementation (which seems quite complex!). It may be possible to port this quite directly with the tools FsControl provides.

gusty commented 11 years ago

Profunctor, Arrow, MonadState, Comonad? True, that's not straightforward. A good exercise with no doubt.

gusty commented 9 years ago

Implemented ! Not as complete as the one in the link but it's just a matter of adding more functions and some more types.