Commit Graph

367 Commits

Author SHA1 Message Date
Tony Garnock-Jones cff1a3d318 Exploration of TypeScript typed Records 2021-02-22 12:51:17 +01:00
Tony Garnock-Jones a69297c3ba Folds 2021-02-17 20:55:22 +01:00
Tony Garnock-Jones 407e8778a1 Split out values.ts; this makes circular dependencies worse, so I will likely pull it all back together again soon 2021-02-17 16:52:01 +01:00
Tony Garnock-Jones 83b09d9406 Improve ergonomics of Double/Single and floatValue 2021-02-17 15:34:31 +01:00
Tony Garnock-Jones 95c04bd5d5 Float.unwrap 2021-01-29 16:06:00 +01:00
Tony Garnock-Jones 1743756097 Fix parameter ordering and defaults 2021-01-29 15:35:07 +01:00
Tony Garnock-Jones 013c5f4dae Bump Rust version 2021-01-29 13:53:49 +01:00
Tony Garnock-Jones 6fd06cec98 Require that domain toing and froing be total 2021-01-29 13:42:17 +01:00
Tony Garnock-Jones 532e811894 Introduce pointers 2021-01-29 12:03:28 +01:00
Tony Garnock-Jones 6bf49874b7 Correct testwatch script 2021-01-28 08:59:02 +01:00
Tony Garnock-Jones abca13e260 Idempotent Map/Set extensions 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 0bb61d260f Adjust packaging 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones a5d4098e29 Strict tsconfig 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones d8a041a647 Reuse buffers during encoding, where safe to do so; in particular, during simple canonicalization 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 320215dca0 Add missing toString on Preserves Set 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones b4d5334a1a Repair silly mistake 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 329cee7bd6 Much better duck typing 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 10351b5369 type: module in package.json 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 3f62d68bab union, intersect, subtract 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones b0ed7e914b Better collections; package types 2021-01-23 22:54:28 +01:00
Tony Garnock-Jones 55db55b42b Ignore dist/ 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones f7b7f29a3b Load index.js by default 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 98e981dccf Custom util inspectors for Set and Dictionary too 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 66cac324e0 Rollup 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 44f142d86b Update JavaScript implementation and port to TypeScript 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 2c5ed693f5 Tool works on multiple inputs now 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones a1a604aee8 Update Rust implementation 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones ca2276d268 Update python implementation 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 8459521db5 No more `StreamingTest`s 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 749747ca05 Remove #:read-annotations?, to ensure a consistent output format from the reader 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 77fd8e86bf Ah, of course a 0-byte integer has value 0 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 85fe7b3b07 Update Racket implementation 2021-01-23 22:54:27 +01:00
Tony Garnock-Jones 5d719c2c6f MUCH simpler binary format, inspired by Syrup; alterations to text format 2021-01-23 22:54:22 +01:00
Tony Garnock-Jones ccf4f97ed8 Repair CSS problem exposed by recent Firefox update 2020-12-28 21:52:47 +01:00
Tony Garnock-Jones 2391722a25 Closes #14 2020-12-28 09:43:24 +01:00
Tony Garnock-Jones 3c6bff6646 Note in TODO.md 2020-10-26 14:15:03 +01:00
Tony Garnock-Jones 137aa308e3 Update mocha dependency 2020-10-26 14:14:54 +01:00
Tony Garnock-Jones 3c059a573c Browser doesn't have util 2020-08-05 12:47:49 +02:00
Tony Garnock-Jones 8d3146cf30 Bump Rust version 2020-07-10 17:01:21 +02:00
Tony Garnock-Jones 7cc7bd783d Adjust internal trait API 2020-07-10 16:59:54 +02:00
Tony Garnock-Jones 9f83756931 Remove decoder/encoder; undoes performance regression 2020-07-08 15:44:06 +02:00
Tony Garnock-Jones 28101cc7d1 Refactor to extract packed format from general traits. Regression in encode performance? 2020-07-08 15:44:06 +02:00
Tony Garnock-Jones 3f76049f13 Drastically improve quoting.v - including a much better main theorem 2020-06-18 23:57:42 +02:00
Tony Garnock-Jones 95cdd84db4 Bump rust version 2020-06-17 13:43:11 +02:00
Tony Garnock-Jones 70a305458a Avoid some copying 2020-06-17 11:01:44 +02:00
Tony Garnock-Jones 24afca5d32 Avoid expensive setup 2020-06-17 11:01:31 +02:00
Tony Garnock-Jones b1c7fe8c04 Remove unnecessary Cow 2020-06-17 09:35:09 +02:00
Tony Garnock-Jones 046a2ad999 Better varint reader 2020-06-17 04:11:27 +02:00
Tony Garnock-Jones 6cfb474a6f Avoid running the slow benchmark tests during regular testing 2020-06-17 03:05:32 +02:00
Tony Garnock-Jones 89c3171758 Autodelete benches/testdata.bin 2020-06-17 02:42:44 +02:00