Idris2Doc : Node.JS.IO

Node.JS.IO

(source)
JSIO based on idris2-dom JSIO utilities, which is adjusted to this library.

Reexports

import public Control.Monad.Either

Definitions

JSIO : Type -> Type
Visibility: public export
runJSIO : JSIO a -> IO (Either Error a)
Visibility: export
catchIO : IO a -> JSIO a
Visibility: export