aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-09-04- Simplified code for JSON format.Eduardo Julian4-399/+364
- Moved JSON polytypism to the lux/macro/poly/* branch.
2017-09-04- Simple types are no longer matched by their names, but by the types ↵Eduardo Julian4-39/+39
themselves.
2017-09-04- $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian1-6/+12
($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
2017-09-04- Renamed "Log" to "Writer".Eduardo Julian1-15/+15
2017-09-04- Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian3-0/+234
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian20-417/+417
2017-08-30- Added HTML-generation module.Eduardo Julian2-0/+145
- Added CSS-generation module.
2017-08-22- Small fixes and refactorings.Eduardo Julian1-1/+1
2017-08-22- Improved naming convention for quotient types.Eduardo Julian1-4/+4
2017-08-22- Added context/config variables, and their parsers (a.k.a. properties).Eduardo Julian2-0/+81
- Added a way to obtain a program's environment variables.
2017-08-22- Implemented a file-system library.Eduardo Julian1-0/+120
2017-08-22- Implemented a blob (binary large object) library.Eduardo Julian1-0/+138
2017-08-21- Small refactorings.Eduardo Julian2-7/+26
2017-08-21- Added module for color computations.Eduardo Julian1-0/+306
2017-08-21- Renamed "model" to "opaque".Eduardo Julian6-37/+37
2017-08-19- "program:" now evaluates its body within an implicit IO monad.Eduardo Julian5-30/+49
- Fixed a bug with the types of actors and messages. - Added Functor for queues. - Small refactorings and fixes.
2017-08-10- Small refactorings and fixes.Eduardo Julian3-65/+124
2017-08-06- Added poly/eq support for time types and unit types.Eduardo Julian1-34/+49
2017-08-05- Moved "codec" from lux/data/text/lexer to lux/control/parser.Eduardo Julian7-27/+26
2017-08-03- Now, spaces automatically remove dead subscriptions after discovering them.Eduardo Julian1-19/+25
2017-08-03- Implemented Agent-Oriented Programming.Eduardo Julian1-0/+150
2017-08-03- Some refactoring and small bug fixes.Eduardo Julian1-108/+121
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian5-623/+615
2017-08-01- Removed polytipic text-encoders.Eduardo Julian5-490/+146
- Simplified a lot of polytypism.
2017-08-01- Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian4-893/+735
- Re-implemented JSON parsing in terms of lux/control/parser.
2017-07-31- Added formatters for JSON, XML and time types.Eduardo Julian8-143/+147
2017-07-31- Extended duration and date with Order and Codec implementations.Eduardo Julian2-2/+209
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 Julian2-17/+179
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 Julian2-25/+26
2017-07-29- Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian1-3/+22
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 Julian2-33/+34
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 Julian2-44/+119
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 Julian1-0/+143
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 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