typed-map

Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, April 1st, 2025 1:42:08pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://gitea.suzanne.soy/suzanne.soy/typed-map.git?path=typed-map#main7a70650b6f8e1222fe1e4ebd2fb6b9b2489301e2
Last checkedTuesday, April 1st, 2025 7:40:03pm (UTC)
Last editedTuesday, March 25th, 2025 2:08:10am (UTC)
Date addedTuesday, March 25th, 2025 2:06:46am (UTC)
Modules
  • typed-map/typed-map-test/typed-map/test/test-map.rkt
  • typed-map/typed-map-doc/typed-map/scribblings/typed-map.scrbl
  • typed-map/typed-map-test/typed-map/test/gh-bug-2.rkt
  • typed-map/typed-map-lib/typed-map/main.rkt