Base.Extra [0.0.3]
Miscellaneous Extra Functions and Helpers for Idris2
Base.Extra
Base.Extra is an Idris2 package that adds a variety of nice-to-have functions for core data types from Idris2.
Installation
Simply add Base.Extra=^0.0.1 to Inigo.toml and run inigo prod fetch-deps.
Buffer
NodeJS bindings for reading from Buffers and converting to and from Base64.
Debug
Debug functions-- currently just a simple log command which returns its argument after printing it. E.g.
myFunc v = -- v will be printed whenever this is evaulated case Debug.log v: v of ...
Contributing
Feel free to make a PR or raise an issue. The goal of this library is to incorporate functions that do not necessarily belong in the prelude, but are likely to be reused through a variety of projects.
License
This code is licensed under the MIT license. All contributors must release all code under this same license.
Versions
* 0.0.3
* 0.0.2
* 0.0.1
Link
https://github.com/inigo/tree/master/Base/Extra
License
MIT