Module canrun::collections::lvec

A Vec-like data structure with Value values.

Structs

Get

Create a Goal that attempts to unify a Value<T> with the item at a specific index in a LVec<T>. Create with get.

LVec

A Vec-like data structure with Value values.

Member

A Goal that attempts to unify a Value<T> with any of the items in a LVec<T>. Create with member.

Slice

A Goal that attempts to unify an LVec<T> with a slice from another LVec<T> defined by a [‘Range’]. Create with slice().

Subset

Assert that LVec a is a subset of LVec b. Create with subset.

Functions

get

Create a Goal that attempts to unify a Value<T> with the item at a specific index in a LVec<T>.

member

Create a Goal that attempts to unify a Value<T> with any of the items in a LVec<T>.

slice

Create a Goal that attempts to unify an LVec<T> with a slice from another LVec<T> defined by a [‘Range’].

subset

Assert that LVec a is a subset of LVec b.