Lib.rs

› Algorithms › Chalk
#compiler #traits #prolog

chalk-ir

Chalk’s internal representation of types, goals, and clauses

by Rust Compiler Team, Chalk developers. Owned by Jack Huey, Niko Matsakis, rust-lang-chalk-publish-bot, rust-lang:wg-traits.

57 breaking releases

0.72.0 Oct 10, 2021
0.70.0 Aug 1, 2021
0.69.0 Jun 6, 2021
0.63.0 Mar 28, 2021
0.19.0 Jul 26, 2020

#135 in Algorithms

Download history 10002/week @ 2021-07-07 10451/week @ 2021-07-14 10260/week @ 2021-07-21 11633/week @ 2021-07-28 11344/week @ 2021-08-04 12348/week @ 2021-08-11 12309/week @ 2021-08-18 12786/week @ 2021-08-25 11668/week @ 2021-09-01 13582/week @ 2021-09-08 13036/week @ 2021-09-15 12152/week @ 2021-09-22 12385/week @ 2021-09-29 14238/week @ 2021-10-06 12092/week @ 2021-10-13 11128/week @ 2021-10-20

51,772 downloads per month
Used in 23 crates (5 directly)

Apache-2.0/MIT

290KB
6.5K SLoC

A rust type library for chalk.

See Github for up-to-date information.

lib.rs:

Defines the IR for types and logical predicates.

Dependencies

~0.4–0.9MB
~20K SLoC