├── .gitattributes ├── .gitignore ├── .prettierignore ├── .prettierrc ├── LICENSE ├── README.md ├── examples ├── abstract │ ├── functor.ts │ ├── monad.ts │ └── nullable.ts ├── pattern-matching │ ├── adt.ts │ ├── either.ts │ ├── list.ts │ └── maybe.ts └── proof-of-concept.ts ├── index.ts ├── lib ├── abstract │ ├── functor.ts │ └── monad.ts └── data │ ├── either.ts │ ├── option.ts │ └── unit.ts ├── match.ts ├── package.json ├── tests ├── harness.ts ├── match.test.ts ├── tsconfig.json └── types.ts ├── tsconfig.json ├── tslint.json └── typeprops.d.ts /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode 2 | .build 3 | node_modules 4 | -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/.prettierignore -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/.prettierrc -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/README.md -------------------------------------------------------------------------------- /examples/abstract/functor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/abstract/functor.ts -------------------------------------------------------------------------------- /examples/abstract/monad.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/abstract/monad.ts -------------------------------------------------------------------------------- /examples/abstract/nullable.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/abstract/nullable.ts -------------------------------------------------------------------------------- /examples/pattern-matching/adt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/pattern-matching/adt.ts -------------------------------------------------------------------------------- /examples/pattern-matching/either.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/pattern-matching/either.ts -------------------------------------------------------------------------------- /examples/pattern-matching/list.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/pattern-matching/list.ts -------------------------------------------------------------------------------- /examples/pattern-matching/maybe.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/pattern-matching/maybe.ts -------------------------------------------------------------------------------- /examples/proof-of-concept.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/examples/proof-of-concept.ts -------------------------------------------------------------------------------- /index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/index.ts -------------------------------------------------------------------------------- /lib/abstract/functor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/lib/abstract/functor.ts -------------------------------------------------------------------------------- /lib/abstract/monad.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/lib/abstract/monad.ts -------------------------------------------------------------------------------- /lib/data/either.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/lib/data/either.ts -------------------------------------------------------------------------------- /lib/data/option.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/lib/data/option.ts -------------------------------------------------------------------------------- /lib/data/unit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/lib/data/unit.ts -------------------------------------------------------------------------------- /match.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/match.ts -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/package.json -------------------------------------------------------------------------------- /tests/harness.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tests/harness.ts -------------------------------------------------------------------------------- /tests/match.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tests/match.test.ts -------------------------------------------------------------------------------- /tests/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tests/tsconfig.json -------------------------------------------------------------------------------- /tests/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tests/types.ts -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tsconfig.json -------------------------------------------------------------------------------- /tslint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/tslint.json -------------------------------------------------------------------------------- /typeprops.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SimonMeskens/TypeProps/HEAD/typeprops.d.ts --------------------------------------------------------------------------------