Lib.rs

› Development tools › Chalk
#compiler #traits #prolog

chalk-ir

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

by Niko Matsakis, Jack Huey, Rust Compiler Team, Chalk developers (48 contributors). Co-owned by rust-lang-chalk-publish-bot, rust-lang:wg-traits.

24 breaking releases

new 0.34.0 Oct 18, 2020
0.32.0 Oct 7, 2020
0.19.0 Jul 26, 2020

#58 in Development tools

Download history 10717/week @ 2020-06-28 13557/week @ 2020-07-05 14778/week @ 2020-07-12 12795/week @ 2020-07-19 11818/week @ 2020-07-26 11631/week @ 2020-08-02 11891/week @ 2020-08-09 11839/week @ 2020-08-16 10845/week @ 2020-08-23 11915/week @ 2020-08-30 11427/week @ 2020-09-06 11248/week @ 2020-09-13 10918/week @ 2020-09-20 11149/week @ 2020-09-27 11925/week @ 2020-10-04 10764/week @ 2020-10-11

48,822 downloads per month
Used in 12 crates (5 directly)

Apache-2.0/MIT

245KB
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.5–1MB
~22K SLoC