typedbyte / effet Goto Github PK
View Code? Open in Web Editor NEWAn effect system based on type classes, written in Haskell.
License: BSD 3-Clause "New" or "Revised" License
An effect system based on type classes, written in Haskell.
License: BSD 3-Clause "New" or "Revised" License
The capability library has multiple examples of single-file programs. This library, on the other hand, walks through a sample implementation in the README, but has no example programs; it would be nicer to have a whole example laid out in a single file instead of having to stitch together the README's code in order to run it.
As far as I know, it is currently not possible to include Haddock documentation in the code generated by Template Haskell (see the related ticket). As a consequence, declarations generated by functions like makeTaggedEffect
, makeTagger
and makeUntagged
currently have no documentation. This is no big problem, since the documentation is usually attached to the tagged counterparts of the generated declarations, but it is a situation that can be improved nonetheless.
For single declarations generated by makeUntagged
, one can currently document them like this ...
-- | The untagged version of 'runLocalFileSystem''.
makeUntagged ['runLocalFileSystem']
... but in the future, I would like to copy the documentation over from the original tagged declarations, which means that no manual handiwork is needed. Guess we have to wait until the related ticket is resolved.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.