├── .gitignore ├── .npmignore ├── LICENSE ├── README.md ├── examples ├── package.json ├── src │ ├── Identity.ts │ ├── builtins.ts │ └── static-land.ts ├── tsconfig.json └── yarn.lock ├── package.json ├── src ├── generics.ts ├── index.test.ts ├── index.ts ├── kinds.ts └── witness.ts ├── tsconfig.json └── yarn.lock /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | node_modules 3 | .vscode 4 | -------------------------------------------------------------------------------- /.npmignore: -------------------------------------------------------------------------------- 1 | target/*.test.* 2 | src 3 | node_modules 4 | .vscode -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/README.md -------------------------------------------------------------------------------- /examples/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/package.json -------------------------------------------------------------------------------- /examples/src/Identity.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/src/Identity.ts -------------------------------------------------------------------------------- /examples/src/builtins.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/src/builtins.ts -------------------------------------------------------------------------------- /examples/src/static-land.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/src/static-land.ts -------------------------------------------------------------------------------- /examples/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/tsconfig.json -------------------------------------------------------------------------------- /examples/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/examples/yarn.lock -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/package.json -------------------------------------------------------------------------------- /src/generics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/src/generics.ts -------------------------------------------------------------------------------- /src/index.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/src/index.test.ts -------------------------------------------------------------------------------- /src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/src/index.ts -------------------------------------------------------------------------------- /src/kinds.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/src/kinds.ts -------------------------------------------------------------------------------- /src/witness.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/src/witness.ts -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/tsconfig.json -------------------------------------------------------------------------------- /yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strax/tshkt/HEAD/yarn.lock --------------------------------------------------------------------------------