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.