Predecessible
This is a typeclass to represent things which are countable down. Note that it is important that a value prev(t)
is always less than t
. Note that prev
returns Option
because this class comes with the notion that some items may reach a minimum key, which is None
.
Documentation Help
We’d love your help fleshing out this documentation! You can edit this page in your browser by clicking this link. These links might be helpful: