Packages tagged safe

4 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
gdp1092.0Reason about invariants and preconditions with ghosts of departed proofs. (bsd3, library, program, safe)2019-11-13mnoonan
lawful670.0Assert the lawfulness of your typeclass instances. (bsd3, library, safe)2018-06-15mnoonan
listsafe830.0Safe wrappers for partial list functions, supporting MonadThrow. (apache, data, library, list, safe)2015-05-13jtapolczai, jtapolczai2
membrain792.25Type-safe memory units (library, memory, mpl, safe)2020-02-10shersh, vrom911