Comments (4)
I like this idea! We were recently lamenting the fact that TH can't
generate haddocks. We could probably have some sort of half decent
generated docs (maybe even describing why the lens is polymorphic in the
fashion that it is!)
It also ensures that the code generator doesn't unexpectedly change its
behavior and output something with an incompatible type (not something we
anticipate happening, but could happen).
On Mon, Oct 1, 2012 at 1:35 PM, Matvey B. Aksenov <[email protected]
wrote:
In the following code snippet it would be convenient to generate lenses
without explicit type signatures for the purpose of documentation:data A = A { _a ∷ Int, _b ∷ Int }
makeLensesNoTypeSignatures ''ASo we can have nice haddocks:
-- | Lens 'a'a ∷ Lens A A Int Int
-- | Lens 'b'b ∷ Lens A A Int Int—
Reply to this email directly or view it on GitHubhttps://github.com//issues/65.
from lens.
I recall you (or someone else) asking for this on the Haskell channel, but I forgot to make an issue.
I definitely have no problem with adding this.
It is a clean solution to a messy problem.
from lens.
Yes, it was me on #haskell
Thanks, guys.
from lens.
With 3.0.2, you should now be able to do:
makeLensesWith (lensRules % generateSignatures .~ False) ''A
from lens.
Related Issues (20)
- Add `toAlternativeOf`? HOT 7
- Declare Fields with Nested Records of types defined in same Splice HOT 1
- Replace the creately diagram
- HLint fails in master HOT 2
- cloneGetter HOT 2
- Improving documentation HOT 11
- Deprecate 'lifted'? HOT 1
- Build failure with `template-haskell-2.21` (GHC 9.8) HOT 2
- trying to understand some accesssor stuff HOT 2
- Censor & listen
- Separate Each into own package HOT 3
- Order dependence for `makeFields` HOT 10
- Improve `rewriteM` docs
- Skillsmatter video is not online anymore? HOT 9
- Wiki Derivation: Make example types more consistent HOT 2
- Application of `view` to a lens does not always type check. HOT 4
- Document that application of `view` to a term of type `Lens` does not always type check.
- Where is the `Iso' Text String`? HOT 5
- `is` should not require a prism — a fold should be fine. HOT 2
- New operators not exported by Control.Lens.Operators HOT 7
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lens.