├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .rustfmt.toml ├── Cargo.toml ├── README.md ├── rust-toolchain ├── src ├── lib.rs ├── tbool.rs ├── tcore.rs ├── test_utils.rs ├── tlist.rs └── tnum.rs ├── tests ├── security.rs └── session_types.rs └── tyrade-macro ├── .gitignore ├── Cargo.toml └── src ├── lib.rs ├── macro_utils.rs └── trans.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- 1 | tab_spaces = 2 -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/README.md -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/tbool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/tbool.rs -------------------------------------------------------------------------------- /src/tcore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/tcore.rs -------------------------------------------------------------------------------- /src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/test_utils.rs -------------------------------------------------------------------------------- /src/tlist.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/tlist.rs -------------------------------------------------------------------------------- /src/tnum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/src/tnum.rs -------------------------------------------------------------------------------- /tests/security.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tests/security.rs -------------------------------------------------------------------------------- /tests/session_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tests/session_types.rs -------------------------------------------------------------------------------- /tyrade-macro/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /tyrade-macro/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tyrade-macro/Cargo.toml -------------------------------------------------------------------------------- /tyrade-macro/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tyrade-macro/src/lib.rs -------------------------------------------------------------------------------- /tyrade-macro/src/macro_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tyrade-macro/src/macro_utils.rs -------------------------------------------------------------------------------- /tyrade-macro/src/trans.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/willcrichton/tyrade/HEAD/tyrade-macro/src/trans.rs --------------------------------------------------------------------------------