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

Documentation README Download
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 checkedSaturday, July 12th, 2025 7:20:07am (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