Merge pull request #6 from phadej/0.2.0

0.2.0

README.md

@@ -55,6 +55,15 @@ var foo = typify("foo :: number -> number.. -> number", function (a) {
 
 ## Documentation
 
+### API
+
+- `typify(functionSpec, fun)` - decorate function with run-time type check
+- `typify.create()` - create new typify environment
+- `typify.type(typename, checkFun)` - add new type with user-supplied existence check
+- `typify.record(typename, recordspec)` - add new record type
+- `typify.alias(typename, typespec)` - give name to the compound type
+- `typify.check(typename, value) -> bool` - check membership of value in the type
+
 ### Checkable type
 
 *Checkable* means, that given an object you can check whether an object is or isn't of the particular type.
@@ -102,6 +111,15 @@ console.log(add(1, 2)); // ok
 console.log(add("foo", "bar")); // throws TypeError
 ```
 
+#### Formal syntax of function type declaration:
+
+- *function type* λ ::= ν μ | ν Γ (σ `->`)* ρ σ
+- *action* μ ::= `->` τ
+- *context* Γ ::= α `:` Σ (`,` α `:` Σ)* `=>` | ε
+- *typeset* Σ ::= σ_poly (`|` σ_poly)*
+- *rest parameters* ρ ::= σ `...` `->` | `...` `->` | ε
+- *function name* ν ::= *identifier* `::` | ε
+
 ### New types
 
 New types can be added with `typify.type` method:
@@ -136,7 +154,6 @@ typ.record("bst", {
 });
 ```
 
-
 ### Hygiene usage
 
 If you don't want to use global type database, you can create your own instance of *typify*:
@@ -154,22 +171,19 @@ var myTypify = typify.create();
 var typify = require("typify").create();
 ```
 
-#### Formal syntax of function type declaration:
-
-- *function type* λ ::= ν μ | ν Γ (σ `->`)* ρ σ
-- *action* μ ::= `->` τ
-- *context* Γ ::= α `:` Σ (`,` α `:` Σ)* `=>` | ε
-- *typeset* Σ ::= σ_poly (`|` σ_poly)*
-- *rest parameters* ρ ::= σ `...` `->` | `...` `->` | ε
-- *function name* ν ::= *identifier* `::` | ε
-
 ## Contributing
 In lieu of a formal styleguide, take care to maintain the existing coding style. Add unit tests for any new or changed functionality. Lint and test your code using [Grunt](http://gruntjs.com/).
 
 - You can use `grunt jasmine-build` to generate `_SpecRunner.html` to run tests in your browser of choice.
 
 ## Release History
 
+- 0.2.0
+    - Recursive record types
+    - Recursive aliases
+    - Intersection types
+    - Hygiene type environments
+
 - 0.1.1
     - Record type
     - Fixed typos in README.md

bower.json

@@ -1,7 +1,7 @@
 {
   "name": "typify",
   "description": "Runtime type-checking for JavaScript.",
-  "version": "0.1.1",
+  "version": "0.2.0",
   "homepage": "https://github.com/phadej/typify",
   "author": "Oleg Grenrus <[email protected]>",
   "repository": {

package.json

@@ -1,7 +1,7 @@
 {
   "name": "typify",
   "description": "Runtime type-checking for JavaScript.",
-  "version": "0.1.1",
+  "version": "0.2.0",
   "homepage": "https://github.com/phadej/typify",
   "author": {
     "name": "Oleg Grenrus",