aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-0412-148/+147
|
* - Added HTML-generation module.Eduardo Julian2017-08-301-3/+9
| | | - Added CSS-generation module.
* - Implemented a file-system library.Eduardo Julian2017-08-221-0/+162
|
* - Implemented a blob (binary large object) library.Eduardo Julian2017-08-221-0/+107
|
* - Small refactorings.Eduardo Julian2017-08-211-2/+2
|
* - Added module for color computations.Eduardo Julian2017-08-211-0/+96
|
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-032-0/+25
|
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-022-17/+12
|
* - Removed polytipic text-encoders.Eduardo Julian2017-08-012-56/+1
| | | - Simplified a lot of polytypism.
* - Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian2017-08-011-35/+34
| | | - Re-implemented JSON parsing in terms of lux/control/parser.
* - Added formatters for JSON, XML and time types.Eduardo Julian2017-07-311-1/+1
|
* - Extended duration and date with Order and Codec implementations.Eduardo Julian2017-07-312-4/+59
|
* - Added more structures for instants and dates.Eduardo Julian2017-07-293-1/+99
|
* - Re-implemented Tainted using models.Eduardo Julian2017-07-291-1/+2
|
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-291-5/+35
|
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian2017-07-293-24/+24
| | | | lux/data/lazy.
* - Added dates, and the capacity to calculate week-days.Eduardo Julian2017-07-261-2/+2
|
* - Added units of measurement as a feature to decorate Int values for safer ↵Eduardo Julian2017-07-251-1/+2
| | | | calculations.
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-244-69/+133
|
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-232-7/+7
|
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-231-23/+5
| | | - There are still some corner cases where decoding fails. MUST FIX.
* - Added module for time (Codec has currently been tested only for time after ↵Eduardo Julian2017-07-232-0/+87
| | | | epoch).
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-2261-76/+76
|
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian2017-07-222-102/+1
| | | | with the relevant signatures.
* - Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian2017-07-222-74/+1
| | | | finally-tagless approach.
* - Changed inheritance syntax for interfaces and classes to make it more ↵Eduardo Julian2017-07-221-4/+4
| | | | homogeneous.
* - Renamed Chan to Channel.Eduardo Julian2017-07-221-10/+10
|
* - Small refactorings and bug fixes.Eduardo Julian2017-07-221-9/+9
|
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-162-5/+19
|
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-157-9/+22
| | | - Minor refactorings.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0216-164/+100
|
* - Lexers now carry an offset which they use to figure out where to extract ↵Eduardo Julian2017-07-011-15/+15
| | | | | 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-011-13/+0
| | | | escaping).
* - Remove the suffixes of "lift" functions for monad transformers.Eduardo Julian2017-07-016-8/+7
|
* - Miscellaneous refactoring.Eduardo Julian2017-06-261-3/+3
|
* - Messages are now defined outside of the actor definition.Eduardo Julian2017-06-261-16/+23
|
* - Implemented single-inheritance.Eduardo Julian2017-06-262-38/+73
| | | - 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-243-94/+95
| | | | | | the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings.
* - Added Fold structure for rose trees.Eduardo Julian2017-06-231-20/+31
|
* - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2017-06-232-11/+122
| | | - 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-212-4/+4
| | | - Also did argument swapping for lux/type;application.
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-216-320/+267
|
* - In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian2017-06-1962-2851/+2851
|
* - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]).Eduardo Julian2017-06-192-112/+105
| | | - Lexers now rely only on Text, instead of also relying on Char.
* - Implemented functional object-oriented programming.Eduardo Julian2017-06-172-0/+49
|
* - Small refactorings and name-changes.Eduardo Julian2017-06-171-3/+3
|
* - Small refactorings.Eduardo Julian2017-05-291-2/+2
|
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-8/+8
|
* - Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian2017-05-231-0/+7
|