rebellion
rebellion copied to clipboard
jackfirth
A collection of core libraries for Racket
It would be nice if values in Rebellion are `write`/`read`-friendly. `absent`, for instance, would be written as `#` which is not readable.
Adds `#:guard-maker` arguments for tuple, wrapper and record types, as well as `-guard-maker/c` macros for creating these from contracts. Since these are all implemented in terms of just the tuple...
This PR adds default `prop:flat-contract` implementations to singleton and enum types, allowing singleton instances and enum constants to be used as contracts. Implements #426.
Installing resyntax with an old rebellion already installed gives a spectacular number of errors during `raco pkg install`. Here is one of the many errors: ``` raco setup: error: during...
Like how functions can be renamed with `procedure-rename`, any object type created by `define-object-type` should have a renaming function. So `(define-object-type foo (...))` should create a `foo-rename` function. Such a...
Similar to `struct-out`, there should be provide transformers for exporting the constructor/predicate/accessors created by `define-record-type`, `define-wrapper-type`, etc. However, note that `contract-out` has special support for struct types that can't be...
If the values created by `define-enum-type` and `define-singleton-type` implement `prop:flat-contract`, then they can be easily used with `or/c` in the same way that symbols often are. This lets people move...
Draft, not yet ready. Stashing here for now.