aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Added module for color computations.Eduardo Julian2017-08-211-0/+306
|
* - Renamed "model" to "opaque".Eduardo Julian2017-08-216-37/+37
|
* - "program:" now evaluates its body within an implicit IO monad.Eduardo Julian2017-08-195-30/+49
| | | | | - Fixed a bug with the types of actors and messages. - Added Functor for queues. - Small refactorings and fixes.
* - Small refactorings and fixes.Eduardo Julian2017-08-103-65/+124
|
* - Added poly/eq support for time types and unit types.Eduardo Julian2017-08-061-34/+49
|
* - Moved "codec" from lux/data/text/lexer to lux/control/parser.Eduardo Julian2017-08-057-27/+26
|
* - Now, spaces automatically remove dead subscriptions after discovering them.Eduardo Julian2017-08-031-19/+25
|
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-031-0/+150
|
* - Some refactoring and small bug fixes.Eduardo Julian2017-08-031-108/+121
|
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-025-623/+615
|
* - Removed polytipic text-encoders.Eduardo Julian2017-08-015-490/+146
| | | - Simplified a lot of polytypism.
* - Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian2017-08-014-893/+735
| | | - Re-implemented JSON parsing in terms of lux/control/parser.
* - Added formatters for JSON, XML and time types.Eduardo Julian2017-07-318-143/+147
|
* - Extended duration and date with Order and Codec implementations.Eduardo Julian2017-07-312-2/+209
|
* - Fixed a bug when calculating the month of a date.Eduardo Julian2017-07-291-1/+1
|
* - Added more structures for instants and dates.Eduardo Julian2017-07-292-17/+179
|
* - Added Eq, Order and Enum structures for unit types.Eduardo Julian2017-07-291-1/+25
|
* - Re-implemented Tainted using models.Eduardo Julian2017-07-292-25/+26
|
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-291-3/+22
|
* - 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-292-33/+34
| | | | 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-262-44/+119
|
* - 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-251-0/+143
| | | | 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-243-125/+202
|
* - Added models as a mechanism to encode nominal types.Eduardo Julian2017-07-241-0/+188
|
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-232-4/+5
|
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-231-12/+14
| | | - 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-231-0/+295
| | | | 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-2239-391/+378
|
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian2017-07-221-306/+0
| | | | with the relevant signatures.
* - Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian2017-07-221-344/+0
| | | | finally-tagless approach.
* - Changed inheritance syntax for interfaces and classes to make it more ↵Eduardo Julian2017-07-221-2/+2
| | | | homogeneous.
* - Renamed Chan to Channel.Eduardo Julian2017-07-223-53/+53
|
* - Some utility functions.Eduardo Julian2017-07-222-1/+14
|
* - Small refactorings and bug fixes.Eduardo Julian2017-07-226-79/+83
|
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-162-60/+131
|
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-1529-113/+160
| | | - Minor refactorings.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0220-373/+154
|
* - Lexers now carry an offset which they use to figure out where to extract ↵Eduardo Julian2017-07-014-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.
* - Text no longer has a codec (because the decoding didn't handle unicode ↵Eduardo Julian2017-07-016-54/+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-019-218/+218
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 01:44:26 +0000