Crate rain_lang

rain is an implementation of an RVSDG with a concept of lifetimes, inspired by (and implemented in) Rust.

Modules

• graph
  The rain graph, and associated utilities (e.g. hash-consing, region management, etc.)
• parser
  A simple parser, AST and prettyprinter for a textual representation of rain programs
• util
  Miscellaneous utilities
• value
  The rain intermediate representation directed acyclic graph

Macros

• assert_jeq
  Assert two values are judgementally equal
• sexpr_judgemental_equality
  Implemented judgemental equality with Sexpr from JEq<ValueEnum>
• trivial_judgemental_equality
  Set judgemental equality between two types to be the same as PartialEq
• value_judgemental_equality
  Implement judgemental equality with ValueEnum, and ValId from JEq<ValueEnum>