mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 08:42:11 +03:00
0d363c9732
Added several functions for `Dec`. The set of functions and names are picked consistently with `Maybe`: * `isNothing` -> `isNo` * `isJust` -> `isYes` * `IsJust` -> `IsYes` * `isItJust` -> `isItYes` This is follow-up to #942 |
||
---|---|---|
.. | ||
base | ||
contrib | ||
network | ||
prelude |