Expand description
The rain intermediate representation directed acyclic graph
Modules§
- cons
- Hash-consing of
rainvalues - error
- Rain graph errors and error handling
- eval
- Evaluation and normalization of
rainvalues - expr
- Expression nodes
- judgement
- Judgemental equality and typing judgements
- lambda
- Lambda functions and associated utilities
- primitive
- Primitive
raintypes and values
Structs§
- Value
Data - The data associated with a rain value
Enums§
- Dependencies
- An iterator over the dependencies of a rain value
- Value
Enum - A
rainvalue
Traits§
- Value
- A trait implemented by
rainvalues - Value
Desc - A trait implemented by representations of
rainvalues