Packages tagged safe

5 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (5), apache (2), bsd3 (2), arithmetic (1), data (1), list (1), memory (1), mpl (1), numeric (1), program (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
gdp192.04Reason about invariants and preconditions with ghosts of departed proofs. (bsd3, library, program, safe)2019-11-130.0.3.0mnoonan
lawful160.01Assert the lawfulness of your typeclass instances. (bsd3, library, safe)2018-06-150.1.0.0mnoonan
listsafe240.08Safe wrappers for partial list functions, supporting MonadThrow. (apache, data, library, list, safe)2015-05-130.1.0.1jtapolczai, jtapolczai2
membrain112.250Type-safe memory units (library, memory, mpl, safe)2020-05-110.0.0.2shersh, vrom911
safe-numeric70.00Safe arithmetic operations. (apache, arithmetic, library, numeric, safe)2021-04-210.1infinity0