This library provides wrappers around libcurl's easy interfaces
that are very close to the C interface but also reasonably type-safe.
For example, we provide safe types for the curl_easy_setopt
function that has a dependently typed parameter type.
Use idris2 --install curl.ipkg which will install the package
to your IDRIS2_PREFIX. We also provide some nix derivation, but
you probably want to adapt those to your needs.
Check test/Main.idr on example usage.
This is in very early development. Play around, but don't use it for anything important. If you run into issues, open an issue on Github.
The interface for callbacks is still not figured out, so you'll have to do without it for the moment.