Witchcraft v0.5.0 Witchcraft.Monad.Property

Properties to help ensure that your defimpl is sane

Summary

Functions

spotcheck_right_identity(value, fun)

Macros

spotcheck_associativity(value, f, g)
spotcheck_left_identity(value, fun)