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>