https://github.com/alexknauth/typed-racket-datatype

Algebraic Datatypes for Typed Racket
https://github.com/alexknauth/typed-racket-datatype

Last synced: about 1 month ago
JSON representation

Algebraic Datatypes for Typed Racket

• Host: GitHub
• URL: https://github.com/alexknauth/typed-racket-datatype
• Owner: AlexKnauth
• License: other
• Created: 2020-04-30T23:59:14.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-09-01T17:42:48.000Z (over 3 years ago)
• Last Synced: 2024-11-21T03:49:05.055Z (about 2 months ago)
• Language: Racket
• Size: 13.7 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
typed-racket-datatype

=====================

Algebraic Datatypes for Typed Racket

[_Documentation_](https://docs.racket-lang.org/typed-racket-datatype/index.html).

```

(require typed-racket-datatype)

```

Provides `define-datatype`, a form for defining Algebraic Data Types in Typed Racket.

```

(define-datatype header (variant-id field ...) ...)

  header = name-id

         | (name-id param-id ...)

   field = [field-id : field-type]

```

Defines `name-id` as an Algebraic Data Type with the given `variant-id`s defined as structs with their respective `field`s.

---

The repository contains 2 packages:

 - `typed-racket-datatype-lib` has just the implementation

 - `typed-racket-datatype` adds tests and documentation

For the Racket Package Server, they have the package sources:

 - `git://github.com/AlexKnauth/typed-racket-datatype.git?path=typed-racket-datatype-lib`

 - `git://github.com/AlexKnauth/typed-racket-datatype.git?path=typed-racket-datatype`