aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-07-24- Refactored Time into Instant and Duration.Eduardo Julian3-125/+202
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 Julian2-4/+5
2017-07-23- Codec now works on negative times (with respect to the epoch).Eduardo Julian1-12/+14
- 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 Julian1-0/+295
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 Julian39-391/+378
2017-07-22- Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian1-306/+0
with the relevant signatures.
2017-07-22- Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian1-344/+0
finally-tagless approach.
2017-07-22- Changed inheritance syntax for interfaces and classes to make it more ↵Eduardo Julian1-2/+2
homogeneous.
2017-07-22- Renamed Chan to Channel.Eduardo Julian3-53/+53
2017-07-22- Some utility functions.Eduardo Julian2-1/+14
2017-07-22- Small refactorings and bug fixes.Eduardo Julian6-79/+83
2017-07-16- Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2-60/+131
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian29-113/+160
- Minor refactorings.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian20-373/+154
2017-07-01- Lexers now carry an offset which they use to figure out where to extract ↵Eduardo Julian4-147/+135
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 Julian6-54/+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 Julian9-218/+218
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 Julian7-25/+34
2017-06-26- Messages are now defined outside of the actor definition.Eduardo Julian1-129/+209
2017-06-26- Implemented single-inheritance.Eduardo Julian1-170/+218
- Fixed some bugs.
2017-06-24- Re-designed actors so that their messages are now functions with access to ↵Eduardo Julian5-228/+216
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
2017-06-23- Added #compiler-name back to Compiler-Info.Eduardo Julian1-10/+16
2017-06-23- Added Fold structure for rose trees.Eduardo Julian1-2/+10
2017-06-23- Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2-159/+314
- Created ordered dictionary implementation, and based the set implementation upon it.
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian7-176/+159
- Also did argument swapping for lux/type;application.
2017-06-21- CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian27-1307/+985
2017-06-21- Added Task type, as a promise that can fail.Eduardo Julian1-0/+51
2017-06-19- More detailed testing resporting.Eduardo Julian1-72/+61
2017-06-19- In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian1-45/+45
2017-06-19- Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian1-6/+6
2017-06-19- JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]).Eduardo Julian4-334/+277
- Lexers now rely only on Text, instead of also relying on Char.
2017-06-19- Codecs no longer take into account underscore "_" separators for digits..Eduardo Julian1-5/+0
2017-06-19- Split "lux/macro/syntax/common" into 2 other sub-modules ("reader" and ↵Eduardo Julian7-203/+225
"writer").
2017-06-19- Fixed a bug when generating the aliases of modules involving relative ↵Eduardo Julian1-3/+3
addressing ("." and "..").
2017-06-17- Implemented functional object-oriented programming.Eduardo Julian1-0/+178
2017-06-17- Small refactorings and name-changes.Eduardo Julian10-131/+152
2017-06-17- Changed the way lux/data/product;both works.Eduardo Julian1-4/+5
2017-06-14- Added Hash<Bool> and as-is macro..Eduardo Julian3-5/+16
2017-05-30- Re-implemented "every?" and "any?" for better performance.Eduardo Julian1-2/+14
2017-05-29- Small refactorings.Eduardo Julian1-4/+4
2017-05-24- Renamed ^=> to ^multi.Eduardo Julian10-111/+111
2017-05-23- Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian4-69/+141