#compiler #prolog #traits

chalk-ir

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

83 breaking releases

0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.92.0 Jun 18, 2023
0.19.0 Jul 26, 2020

#126 in Rust patterns

Download history 8553/week @ 2024-07-23 9107/week @ 2024-07-30 8922/week @ 2024-08-06 8062/week @ 2024-08-13 8390/week @ 2024-08-20 8196/week @ 2024-08-27 8008/week @ 2024-09-03 9824/week @ 2024-09-10 10168/week @ 2024-09-17 10695/week @ 2024-09-24 10485/week @ 2024-10-01 12236/week @ 2024-10-08 10730/week @ 2024-10-15 12216/week @ 2024-10-22 11321/week @ 2024-10-29 8282/week @ 2024-11-05

44,601 downloads per month
Used in 28 crates (5 directly)

MIT/Apache

290KB
6K 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
~19K SLoC