[][src]Crate canrun_collections

Canrun collections and related goal functions.

NOTE: These are not very battle tested and may have some pathological

performance characteristics.

Unifying large or complex collections may involve forking the state for every possible combination of values. Also, the inherent complexity of specifying and implementing these operations correctly means that they could be flat out wrong. More testing, benchmarking and refinement is required.

Modules

example

Example domains for Canrun collections

lmap

A HashMap-like data structure with LVar keys and values.

lvec

A Vec-like data structure with LVar values.

Macros

lmap

Create an LMap with automatic key/value IntoVal wrapping.

lvec

Create an LVec<T> with automatic value IntoVal wrapping.