Packages tagged safe

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (3), bsd3 (2), apache (1), data (1), list (1), program (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
gdp230.0Reason about invariants and preconditions with ghosts of departed proofs. (bsd3, library, program, safe)2018-06-18mnoonan
lawful230.0Assert the lawfulness of your typeclass instances. (bsd3, library, safe)2018-06-15mnoonan
listsafe240.0Safe wrappers for partial list functions, supporting MonadThrow. (apache, data, library, list, safe)2015-05-13jtapolczai, jtapolczai2