suzanne.soy/typed-struct-props
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
29d7c76a2f
typed-struct-props/README.md
Georges Dupéron 29d7c76a2f Switched to CC0 license
2017-03-31 16:33:05 +02:00

1.3 KiB
Raw Blame History

Build Status, Coverage Status, Build Stats, Online Documentation, 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