define-with-spec

Allows for function definitions with simple specifications that are enforced by checks at each call site. Functionality pales in comparison to racket/contract, but error messages w/ source info are provided for same-module violations of specifications.

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedMonday, March 13th, 2023 4:24:47pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/pnwamk/define-with-spec.gita3f3bd8ad3edceb351790ccd93d1b1d266d18512
Last checkedTuesday, May 28th, 2024 4:03:34pm (UTC)
Last editedFriday, January 12th, 2018 7:28:28pm (UTC)
Date addedN/A
Modules
  • define-with-spec/scribblings/define-with-spec.scrbl
  • define-with-spec/tests/tests.rkt
  • define-with-spec/main.rkt