fluture-sanctuary-types
Fluture type definitions for Sanctuary.
$ npm install --save fluture sanctuary-def fluture-sanctuary-typesUsage
import $ from 'sanctuary-def';
import {env} from 'fluture-sanctuary-types';
$.create ({checkTypes: true, env: $.env.concat (env)});
FutureType :: Type -> Type -> Type
The binary type constructor for members of Future.
> $.test (env)
. (FutureType ($.String) ($.Number))
. (Future['fantasy-land/of'] (1));
true
ConcurrentFutureType :: Type -> Type -> Type
The binary type constructor for members of ConcurrentFuture.
> $.test (env)
. (ConcurrentFutureType ($.String) ($.Number))
. (Par['fantasy-land/of'] (1));
true
env :: Array Type
An Array containing all types applied to $.Unknown for
direct use as a Sanctuary environment, as shown in Usage.
![greenkeeper[bot]](https://avatars.githubusercontent.com/u/23040076?size=120)
