https://github.com/suzannesoy/typed-struct-props

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.
https://github.com/suzannesoy/typed-struct-props

racket-library

Last synced: 3 months ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/suzannesoy/typed-struct-props
• Owner: SuzanneSoy
• License: cc0-1.0
• Created: 2016-09-04T19:56:14.000Z (almost 9 years ago)
• Default Branch: main
• Last Pushed: 2021-04-04T14:29:37.000Z (over 4 years ago)
• Last Synced: 2025-01-30T11:42:08.532Z (5 months ago)
• Topics: racket-library
• Language: Racket
• Homepage: http://docs.racket-lang.org/typed-struct-props/
• Size: 25.4 KB
• Stars: 2
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-more.md

Awesome Lists containing this project

README

        
[![Build Status,](https://img.shields.io/travis/jsmaniac/typed-struct-props/main.svg)](https://travis-ci.org/jsmaniac/typed-struct-props)

[![Coverage Status,](https://img.shields.io/codecov/c/github/jsmaniac/typed-struct-props/main.svg)](https://codecov.io/gh/jsmaniac/typed-struct-props)

[![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/typed-struct-props)

[![Online Documentation,](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/typed-struct-props/)

[![Maintained as of 2018,](https://img.shields.io/maintenance/yes/2018.svg)](https://github.com/jsmaniac/typed-struct-props/issues)

[![License: CC0 v1.0.](https://img.shields.io/badge/license-CC0-blue.svg)](https://creativecommons.org/publicdomain/zero/1.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