suzanne.soy/typed-struct-props
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Makes a small subset of struct type properties available in Typed/Racket. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.
34 Commits 2 Branches 0 Tags 61 KiB
Racket 100%
main
Go to file
Suzanne Soy 5512b7f4c9 Renamed main branch
2021-04-04 07:23:14 +01:00
scribblings Changed my name :) 2021-03-04 20:38:19 +00:00
test Added test for the use of struct-copy within the properties. 2016-09-14 22:13:33 +02:00
.gitignore Created package typed-struct-props 2016-09-04 21:57:02 +02:00
.travis.yml Turn off coverage in older versions: fixed typo 2021-03-05 14:26:16 +00:00
info.rkt Fixed syntax 2021-03-04 21:31:44 +00:00
LICENSE-more.md Changed my name :) 2021-03-04 20:38:19 +00:00
LICENSE.txt Switched to CC0 license 2017-03-31 16:33:05 +02:00
main.rkt Fix struct property typechecking 2019-11-06 13:23:01 -05:00
README.md Renamed main branch 2021-04-04 07:23:14 +01:00

README.md

Build Status, Coverage Status, Build Stats, Online Documentation, Maintained as of 2018, License: CC0 v1.0.

Structure type properties for Typed/Racket

This library allows a safer use of some struct type properties with Typed/Racket.

  • Functions and values supplied to #:property prop:some-prop value-here are typechecked. Their type is computed by this library, and depends on the property.

  • The API should hopefully remain stable, even if struct type properties become supported (this library will then become a wrapper) or forbidden in Typed/Racket (this library will then use typed/racket/unsafe tricks).

Currently, the following properties are supported:

  • prop:custom-write
  • prop:equal+hash