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 |
|---|---|---|---|---|---|---|---|---|
| gdp | 20 | 2.25 | 4 | Reason about invariants and preconditions with ghosts of departed proofs. | (bsd3, library, program, safe) | 2019-11-13 | 0.0.3.0 | mnoonan |
| lawful | 17 | 0.0 | 1 | Assert the lawfulness of your typeclass instances. | (bsd3, library, safe) | 2018-06-15 | 0.1.0.0 | mnoonan |
| listsafe | 28 | 0.0 | 9 | Safe wrappers for partial list functions, supporting MonadThrow. | (apache, data, library, list, safe) | 2015-05-13 | 0.1.0.1 | jtapolczai, jtapolczai2 |
| membrain | 14 | 2.25 | 0 | Type-safe memory units | (library, memory, mpl, safe) | 2020-05-11 | 0.0.0.2 | vrom911 |
| safe-numeric | 8 | 0.0 | 0 | Safe arithmetic operations. | (apache, arithmetic, library, numeric, safe) | 2021-04-21 | 0.1 | infinity0 |