aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian7-640/+627
2017-08-01- Removed polytipic text-encoders.Eduardo Julian7-546/+147
- Simplified a lot of polytypism.
2017-08-01- Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian5-928/+769
- Re-implemented JSON parsing in terms of lux/control/parser.
2017-07-31- Added formatters for JSON, XML and time types.Eduardo Julian9-144/+148
2017-07-31- Extended duration and date with Order and Codec implementations.Eduardo Julian4-6/+268
2017-07-29- Fixed a bug when calculating the month of a date.Eduardo Julian1-1/+1
2017-07-29- Added more structures for instants and dates.Eduardo Julian5-18/+278
2017-07-29- Added Eq, Order and Enum structures for unit types.Eduardo Julian1-1/+25
2017-07-29- Re-implemented Tainted using models.Eduardo Julian3-26/+28
2017-07-29- Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2-8/+57
2017-07-29- Fuxed a bug when generating module code, where the type-vars were not ↵Eduardo Julian1-1/+1
getting included in the synthesized #;Host type.
2017-07-29- Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian5-57/+58
lux/data/lazy.
2017-07-29- Added "month" function and improved "day" function.Eduardo Julian1-5/+12
2017-07-29- Small improvement to overlap testing for intervals.Eduardo Julian1-16/+16
2017-07-29- Added annotation support to units and models.Eduardo Julian2-2/+7
2017-07-26- Added dates, and the capacity to calculate week-days.Eduardo Julian3-46/+121
2017-07-25- Improved re-scaling logic and added some SI units.Eduardo Julian1-14/+26
2017-07-25- Added units of measurement as a feature to decorate Int values for safer ↵Eduardo Julian2-1/+145
calculations.
2017-07-25- Models now only rely on normal (inline) casting functions. Hopefully, in ↵Eduardo Julian1-16/+8
the future, they will be completely optimized away.
2017-07-24- No longer defining hidden casting functions. Instead, inline functions are ↵Eduardo Julian1-35/+18
used (they are easier to optimize away).
2017-07-24- Refactored Time into Instant and Duration.Eduardo Julian7-194/+335
2017-07-24- Added models as a mechanism to encode nominal types.Eduardo Julian1-0/+188
2017-07-23- Relocated the "object" and "concatenative" modules.Eduardo Julian4-11/+12
2017-07-23- Codec now works on negative times (with respect to the epoch).Eduardo Julian2-35/+19
- There are still some corner cases where decoding fails. MUST FIX.
2017-07-23- Improved reporting on tests.Eduardo Julian1-6/+5
2017-07-23- Added module for time (Codec has currently been tested only for time after ↵Eduardo Julian3-0/+382
epoch).
2017-07-22- Merged the submodules of lux/paradigm/object into their parent module.Eduardo Julian5-396/+334
2017-07-22- Removed the "M" suffix from monadic functions.Eduardo Julian100-467/+454
2017-07-22- Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian3-408/+1
with the relevant signatures.
2017-07-22- Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian3-418/+1
finally-tagless approach.
2017-07-22- Changed inheritance syntax for interfaces and classes to make it more ↵Eduardo Julian2-6/+6
homogeneous.
2017-07-22- Renamed Chan to Channel.Eduardo Julian4-63/+63
2017-07-22- Some utility functions.Eduardo Julian2-1/+14
2017-07-22- Small refactorings and bug fixes.Eduardo Julian7-88/+92
2017-07-16- Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian4-65/+150
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian36-122/+182
- Minor refactorings.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian36-537/+254
2017-07-01- Lexers now carry an offset which they use to figure out where to extract ↵Eduardo Julian5-162/+150
parts of the whole input, instead of having to clip the input as they lex. thereby doing a lot of unnecessary text allocations. - Some refactoring.
2017-07-01- Text no longer has a codec (because the decoding didn't handle unicode ↵Eduardo Julian7-67/+35
escaping).
2017-07-01- The bodies of actor messages are run within the Task monad.Eduardo Julian1-1/+3
2017-07-01- Remove the suffixes of "lift" functions for monad transformers.Eduardo Julian15-226/+225
2017-06-26- Added module for concatenative (stack-based) programming.Eduardo Julian1-0/+333
2017-06-26- Some refactoring.Eduardo Julian2-25/+25
2017-06-26- Forgot to commit some of the sub-modules for lux/paradigm/object.Eduardo Julian4-0/+351
2017-06-26- Miscellaneous refactoring.Eduardo Julian8-28/+37
2017-06-26- Messages are now defined outside of the actor definition.Eduardo Julian2-145/+232
2017-06-26- Implemented single-inheritance.Eduardo Julian3-208/+291
- Fixed some bugs.
2017-06-24- Forgot to update the tests for ordered collections.Eduardo Julian1-4/+4
2017-06-24- Re-designed actors so that their messages are now functions with access to ↵Eduardo Julian8-322/+311
the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings.
2017-06-23- Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".Eduardo Julian1-6/+6