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 missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedWednesday, January 19th, 2022 5:35:41pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/jsmaniac/delay-pure.git#main919a52ef1897db51eb2c0c1307d7149db40ccfd6
    Last checkedFriday, January 27th, 2023 7:16:03pm (UTC)
    Last editedThursday, March 4th, 2021 8:12:42pm (UTC)
    Date addedSunday, February 28th, 2021 1:32:37am (UTC)
    Modules
    • delay-pure/private/immutable-struct-constructor.rkt
    • delay-pure/test/test-pure-function.rkt
    • delay-pure/test/test-immutable-struct-constructor.rkt
    • delay-pure/test/test-pure-safe.rkt
    • delay-pure/main.rkt
    • delay-pure/private/pure-function.rkt
    • delay-pure/test/test-unsafe.rkt
    • delay-pure/test/test-immutable-struct-constructor-mod2.rkt
    • delay-pure/scribblings/delay-pure.scrbl
    • delay-pure/private/pure-exception.rkt
    • delay-pure/private/pure-safe.rkt
    • delay-pure/private/pure-unsafe.rkt
    • delay-pure/test/test-pure-lifted.rkt
    • delay-pure/test/test-immutable-struct-constructor-mod.rkt
    • delay-pure/test/test-external-mutation.rkt
    • delay-pure/private/fully-expanded-grammar-no-set.rkt