Name: purescript-hello
Owner: SlamData, Inc.
Description: null
Created: 2016-02-05 19:20:55.0
Updated: 2016-02-05 19:23:20.0
Pushed: 2017-03-20 15:41:48.0
Homepage: null
Size: 11
Language: PureScript
GitHub Committers
| User | Most Recent Commit | # Commits |
|---|
Other Committers
| User | Most Recent Commit | # Commits |
|---|
This library provides minimal PureScript bindings for hello.js.
A few notes:
Asynchronous methods (such as hello.login and hello.logout) have been
exposed through Aff; however, because hello.js uses the irreparably broken
Promises/A+ semantics for asynchronous operations, there may be abstraction
leakage.
We expose an improved API for subscriptions that uses an abstract type to
represent subscription tokens (where hello.js uses the symbolic/reference
identity of JavaScript functions).
Rather than provide a fully-typed treatment of the syntax of requests and options (which would be quite difficult), we expose these in our interface as unconstrained records. Therefore, the correctness of the passed arguments is an extrinsic verification condition. Separately, a more advanced library might be made to wrap this one which ensured correctness using purely syntactic means.