├── .gitignore ├── LICENSE.md ├── README.md ├── bsconfig.json ├── bundle └── index.js ├── doc ├── Abduction.md ├── Diff.md ├── Erasure.md ├── SumOperations.md ├── TypeCheckingStyp.md ├── TypeCheckingTypes.md ├── UnionExtension.md ├── array.png ├── diffA1A2.png ├── diffB.png ├── inference.png ├── singleton.png └── union.png ├── fastpack.json ├── index-fastpack.html ├── index-parcel.html ├── index-rollup.html ├── index-webpack.html ├── opinionated.css ├── package.json ├── react-treeview.css ├── rollup.config.browser.js ├── src ├── Component1.js ├── Component1.re ├── Demo.js ├── Demo.re ├── Diff.js ├── Diff.re ├── DynTypedJson.js ├── DynTypedJson.re ├── Index.js ├── Index.re ├── Samples.js ├── Samples.re ├── Samples.rei ├── Serialize.js ├── Serialize.re ├── Serialize.rei ├── Styp.js ├── Styp.re ├── TypeCheck.js ├── TypeCheck.re ├── UI.js └── UI.re └── webpack.config.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/README.md -------------------------------------------------------------------------------- /bsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/bsconfig.json -------------------------------------------------------------------------------- /bundle/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/bundle/index.js -------------------------------------------------------------------------------- /doc/Abduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/Abduction.md -------------------------------------------------------------------------------- /doc/Diff.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/Diff.md -------------------------------------------------------------------------------- /doc/Erasure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/Erasure.md -------------------------------------------------------------------------------- /doc/SumOperations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/SumOperations.md -------------------------------------------------------------------------------- /doc/TypeCheckingStyp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/TypeCheckingStyp.md -------------------------------------------------------------------------------- /doc/TypeCheckingTypes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/TypeCheckingTypes.md -------------------------------------------------------------------------------- /doc/UnionExtension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/UnionExtension.md -------------------------------------------------------------------------------- /doc/array.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/array.png -------------------------------------------------------------------------------- /doc/diffA1A2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/diffA1A2.png -------------------------------------------------------------------------------- /doc/diffB.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/diffB.png -------------------------------------------------------------------------------- /doc/inference.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/inference.png -------------------------------------------------------------------------------- /doc/singleton.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/singleton.png -------------------------------------------------------------------------------- /doc/union.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/doc/union.png -------------------------------------------------------------------------------- /fastpack.json: -------------------------------------------------------------------------------- 1 | { 2 | "entryPoints": ["src/Index.js"] 3 | } -------------------------------------------------------------------------------- /index-fastpack.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/index-fastpack.html -------------------------------------------------------------------------------- /index-parcel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/index-parcel.html -------------------------------------------------------------------------------- /index-rollup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/index-rollup.html -------------------------------------------------------------------------------- /index-webpack.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/index-webpack.html -------------------------------------------------------------------------------- /opinionated.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/opinionated.css -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/package.json -------------------------------------------------------------------------------- /react-treeview.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/react-treeview.css -------------------------------------------------------------------------------- /rollup.config.browser.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/rollup.config.browser.js -------------------------------------------------------------------------------- /src/Component1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Component1.js -------------------------------------------------------------------------------- /src/Component1.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Component1.re -------------------------------------------------------------------------------- /src/Demo.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Demo.js -------------------------------------------------------------------------------- /src/Demo.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Demo.re -------------------------------------------------------------------------------- /src/Diff.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Diff.js -------------------------------------------------------------------------------- /src/Diff.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Diff.re -------------------------------------------------------------------------------- /src/DynTypedJson.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/DynTypedJson.js -------------------------------------------------------------------------------- /src/DynTypedJson.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/DynTypedJson.re -------------------------------------------------------------------------------- /src/Index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Index.js -------------------------------------------------------------------------------- /src/Index.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Index.re -------------------------------------------------------------------------------- /src/Samples.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Samples.js -------------------------------------------------------------------------------- /src/Samples.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Samples.re -------------------------------------------------------------------------------- /src/Samples.rei: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Samples.rei -------------------------------------------------------------------------------- /src/Serialize.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Serialize.js -------------------------------------------------------------------------------- /src/Serialize.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Serialize.re -------------------------------------------------------------------------------- /src/Serialize.rei: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Serialize.rei -------------------------------------------------------------------------------- /src/Styp.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Styp.js -------------------------------------------------------------------------------- /src/Styp.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/Styp.re -------------------------------------------------------------------------------- /src/TypeCheck.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/TypeCheck.js -------------------------------------------------------------------------------- /src/TypeCheck.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/TypeCheck.re -------------------------------------------------------------------------------- /src/UI.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/UI.js -------------------------------------------------------------------------------- /src/UI.re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/src/UI.re -------------------------------------------------------------------------------- /webpack.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cristianoc/REInfer/HEAD/webpack.config.js --------------------------------------------------------------------------------