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
Description
Tags
Last U/L
Maintainer
gdp232.0Reason about invariants and preconditions with ghosts of departed proofs. (bsd3, library, program, safe)2019-11-13mnoonan
lawful110.0Assert the lawfulness of your typeclass instances. (bsd3, library, safe)2018-06-15mnoonan
listsafe170.0Safe wrappers for partial list functions, supporting MonadThrow. (apache, data, library, list, safe)2015-05-13jtapolczai, jtapolczai2
membrain172.25Type-safe memory units (library, memory, mpl, safe)2020-05-11shersh, vrom911
safe-numeric50.0Safe arithmetic operations. (apache, arithmetic, library, numeric, safe)2021-04-21infinity0