Comments (2)
I've separated them out into a different type, but I can't figure out how to distinguish any compound type containing an aggregate Soda function from those that don't because it is represented by the last type in the compound GADT.
I think this will have to be a runtime check for now. This bug will track that and then to see if anyone can determine for sure whether this is practically feasible with Haskell.
from haskell-soda.
If you created a whole duplicate set of GADTs related to something similar, but different from SodaExpr without the SodaAgg type, then I suppose it could work. However, then all of the functions and operators would have different names which seems very unpleasant and inconsistent. Unless there's some way to make the functions and operators more consistent between the two sets of GADTs, I doubt that, that is a very tenable solution.
from haskell-soda.
Related Issues (20)
- Create functionality to specify response with record type
- Customize Req response exceptions
- Make the type for the "Case" SodaFunc constructor less restrictive HOT 1
- Account for the fact that all datatypes have a null value HOT 1
- Make a supertypeclass for SodaType
- Make it clearer what the return type of most binary operators will be. HOT 3
- SodaFunc parameters are both not restrictive enough, and too restrictive at the same time. HOT 1
- Create functionality for subquery parameters HOT 1
- Make paging data simpler with helper functions or something.
- Add ability to include API token. HOT 1
- Figure out how to handle the millisecond precision representation with Timestamp.
- Improve the README HOT 1
- Upload the package to Hackage
- Determine what actually needs to be exported and how to do it
- Write more tests
- List of boilerplate to get rid of or simplify HOT 5
- Create a better complex example
- Double isn't interpreted in the response
- Improve the return types of some of the binary operators HOT 1
- Use maps instead of lists of tuples for returned data HOT 1
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 haskell-soda.