Idris2Doc : JS

JS

(source)
Reexports
import public Control.Monad.Either
import public Data.IOArray.Prims
import public Data.List.Elem
import public Data.Maybe
import public Data.SOP
import public JS.Any
import public JS.Attribute
import public JS.Array
import public JS.ByteString
import public JS.Boolean
import public JS.Buffer
import public JS.Callback
import public JS.Inheritance
import public JS.Marshall
import public JS.Nullable
import public JS.Number
import public JS.Object
import public JS.Promise
import public JS.Record
import public JS.Undefined
import public JS.Union
import public JS.Util
import public JS.VarArg