aboutsummaryrefslogtreecommitdiff
path: root/stdlib (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-292-8/+57
|
* - Fuxed a bug when generating module code, where the type-vars were not ↵Eduardo Julian2017-07-291-1/+1
| | | | getting included in the synthesized #;Host type.
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian2017-07-295-57/+58
| | | | lux/data/lazy.
* - Added "month" function and improved "day" function.Eduardo Julian2017-07-291-5/+12
|
* - Small improvement to overlap testing for intervals.Eduardo Julian2017-07-291-16/+16
|
* - Added annotation support to units and models.Eduardo Julian2017-07-292-2/+7
|
* - Added dates, and the capacity to calculate week-days.Eduardo Julian2017-07-263-46/+121
|
* - Improved re-scaling logic and added some SI units.Eduardo Julian2017-07-251-14/+26
|
* - Added units of measurement as a feature to decorate Int values for safer ↵Eduardo Julian2017-07-252-1/+145
| | | | calculations.
* - Models now only rely on normal (inline) casting functions. Hopefully, in ↵Eduardo Julian2017-07-251-16/+8
| | | | the future, they will be completely optimized away.
* - No longer defining hidden casting functions. Instead, inline functions are ↵Eduardo Julian2017-07-241-35/+18
| | | | used (they are easier to optimize away).
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-247-194/+335
|
* - Added models as a mechanism to encode nominal types.Eduardo Julian2017-07-241-0/+188
|
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-234-11/+12
|
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-232-35/+19
| | | - There are still some corner cases where decoding fails. MUST FIX.
* - Improved reporting on tests.Eduardo Julian2017-07-231-6/+5
|
* - Added module for time (Codec has currently been tested only for time after ↵Eduardo Julian2017-07-233-0/+382
| | | | epoch).
* - Merged the submodules of lux/paradigm/object into their parent module.Eduardo Julian2017-07-225-396/+334
|
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-22100-467/+454
|
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian2017-07-223-408/+1
| | | | with the relevant signatures.
* - Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian2017-07-223-418/+1
| | | | finally-tagless approach.
* - Changed inheritance syntax for interfaces and classes to make it more ↵Eduardo Julian2017-07-222-6/+6
| | | | homogeneous.
* - Renamed Chan to Channel.Eduardo Julian2017-07-224-63/+63
|
* - Some utility functions.Eduardo Julian2017-07-222-1/+14
|
* - Small refactorings and bug fixes.Eduardo Julian2017-07-227-88/+92
|
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-164-65/+150
|
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-1536-122/+182
| | | - Minor refactorings.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0236-537/+254
|
* - Lexers now carry an offset which they use to figure out where to extract ↵Eduardo Julian2017-07-015-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.
* - Text no longer has a codec (because the decoding didn't handle unicode ↵Eduardo Julian2017-07-017-67/+35
| | | | escaping).
* - The bodies of actor messages are run within the Task monad.Eduardo Julian2017-07-011-1/+3
|
* - Remove the suffixes of "lift" functions for monad transformers.Eduardo Julian2017-07-0115-226/+225
|
* - Added module for concatenative (stack-based) programming.Eduardo Julian2017-06-261-0/+333
|
* - Some refactoring.Eduardo Julian2017-06-262-25/+25
|
* - Forgot to commit some of the sub-modules for lux/paradigm/object.Eduardo Julian2017-06-264-0/+351
|
* - Miscellaneous refactoring.Eduardo Julian2017-06-268-28/+37
|
* - Messages are now defined outside of the actor definition.Eduardo Julian2017-06-262-145/+232
|
* - Implemented single-inheritance.Eduardo Julian2017-06-263-208/+291
| | | - Fixed some bugs.
* - Forgot to update the tests for ordered collections.Eduardo Julian2017-06-241-4/+4
|
* - Re-designed actors so that their messages are now functions with access to ↵Eduardo Julian2017-06-248-322/+311
| | | | | | the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings.
* - Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".Eduardo Julian2017-06-231-6/+6
|
* - Added #compiler-name back to Compiler-Info.Eduardo Julian2017-06-231-10/+16
|
* - Added Fold structure for rose trees.Eduardo Julian2017-06-232-22/+41
|
* - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2017-06-234-170/+436
| | | - Created ordered dictionary implementation, and based the set implementation upon it.
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-219-180/+163
| | | - Also did argument swapping for lux/type;application.
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-2133-1627/+1252
|
* - Added Task type, as a promise that can fail.Eduardo Julian2017-06-211-0/+51
|
* - More detailed testing resporting.Eduardo Julian2017-06-191-72/+61
|
* - In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian2017-06-1963-2896/+2896
|
* - Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian2017-06-191-6/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 10:12:26 +0000