Idris2Doc
: js
Index
Default
Alternative
Black & White
Package js - Namespaces
JS
JS.Any
JS.Array
Primitive Javascript arrays. This offers an alternative to the functionality provided by `Data.IOArray.Prims` from base.
JS.Attribute
JS.Boolean
JS.ByteString
JS.Buffer
JS.Callback
JS.Date
JS.Inheritance
JS.Marshall
JS.Nullable
JS.Number
JS.Object
A Javascript `Object` is primarily a mapping from string to values, and we can use them exactly as such. However, objects can also be used as an intermediary representation for encoding data from and to JSON.
JS.Promise
JS.Record
JS.Undefined
JS.Union
Union types (= sum types) in the FFI.
JS.Util
Javascript utilities. If these prove to be useful in applications, they should eventually go into their own package.
JS.VarArg