[][src]Module rain_lang::value

The rain intermediate representation directed acyclic graph

Modules

cons

Hash-consing of rain values

error

Rain graph errors and error handling

eval

Evaluation and normalization of rain values

expr

Expression nodes

judgement

Judgemental equality and typing judgements

lambda

Lambda functions and associated utilities

primitive

Primitive rain types and values

Structs

ValueData

The data associated with a rain value

Enums

Dependencies

An iterator over the dependencies of a rain value

ValueEnum

A rain value

Traits

Value

A trait implemented by rain values

ValueDesc

A trait implemented by representations of rain values

Type Definitions

ValId

A value ID: a node pointing to value data

WeakId

A weak value ID: a weak node optionally pointing to value data