idris2-dom
idris2-dom copied to clipboard
stefan-hoeck
Javascript DOM bindings for Idris2
In `Web.Raw.Fetch`, there are lots of methods operating on `Request`s and `Response`s, but I haven't found a way to actually initiate a `Request`. I think this would need the following...
I haven't managed to find an `implementation Monad Promise` in the package, and in fact it is a bit tricky because it seems in JS a `Promise`'s `.then()` callback can...
I see there is some SVG implementation in the library, but looking at https://github.com/stefan-hoeck/idris2-dom/blob/f717866b5e0e39b6bdaf33ee8f1c0d57f6617724/src/Web/Dom.idr#L294 there is no way to use `createElement` on SVG element types. Was this intentional? If so,...
https://webaudio.github.io/web-audio-api/ For my particular use case, I'd like to use the `AudioContext` to decode the contents of a file I `get` (e.g. MP3) and then get access to its metadata...
I'm experimenting with compile-time slow downs when using idris2-dom, possibly due to too many `public export`s. A considerable amount of those come from the `JSType` implementations, which must be publicly...
How to conveniently loop over a type which implements the ArrayLike interface, e.g. NodeList? As far as I can see, the only possible way to loop over it, is by...
I extended idris2-dom with the Types/Prims API for WebRTC, but now I am stuck because many of the APIs are returning a Promise. Actually the first API where I encounter...
