delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.

Build status: ok passing tests

Documentation README Download
Authors
Documentation
Tags
Last updatedSaturday, February 27th, 2021 5:26:13pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jsmaniac/delay-pure.git#main3a8ff62a3137eace1105333c110ed31519df0eb7
Last checkedThursday, March 4th, 2021 12:22:47pm (UTC)
Last editedWednesday, March 3rd, 2021 7:23:00pm (UTC)
Date addedSunday, February 28th, 2021 1:32:37am (UTC)
Modules
  • delay-pure/main.rkt
  • delay-pure/private/pure-exception.rkt
  • delay-pure/test/test-immutable-struct-constructor-mod.rkt
  • delay-pure/private/pure-safe.rkt
  • delay-pure/scribblings/delay-pure.scrbl
  • delay-pure/private/pure-function.rkt
  • delay-pure/test/test-external-mutation.rkt
  • delay-pure/test/test-pure-safe.rkt
  • delay-pure/test/test-immutable-struct-constructor-mod2.rkt
  • delay-pure/private/fully-expanded-grammar-no-set.rkt
  • delay-pure/test/test-pure-function.rkt
  • delay-pure/private/immutable-struct-constructor.rkt
  • delay-pure/private/pure-unsafe.rkt
  • delay-pure/test/test-unsafe.rkt
  • delay-pure/test/test-immutable-struct-constructor.rkt
  • delay-pure/test/test-pure-lifted.rkt