typify type parser
Type signature parser for typify
Turns (foo, bar 42) -> quux
into
"type": "function" "arg": "type": "product" "args": "type": "ident" "value": "foo" "type": "application" "callee": "type": "ident" "value": "bar" "args": "type": "number" "value": 42 "result": "type": "ident" "value": "quux"
Synopsis
var parser = ; // Example from abovevar t = ; // Free varsp; // ['bar', 'foo', 'quux']p // ['a']