bravo - v2.1.0

bravo/oset

This module provides functions to work with OSets

Types

OSet

opaque </>

An ordered set. Keys may only occur once per table, and objects are ordered (this comes at a performance cost).

In order for a lookup match to occur, entries must coerce into the same value. Two values may match even if they have different types.

pub opaque type OSet(t)

Functions

delete

</> 
pub fn delete(oset: OSet(a)) -> Bool

Deletes a OSet.

Table lifetime is static, and memory is only freed when the owner process is killed! Don’t forget to call this function!

delete_all_objects

</> 
pub fn delete_all_objects(oset: OSet(a)) -> Nil

Deletes all objects in the OSet. This is atomic and isolated.

delete_key

</> 
pub fn delete_key(oset: OSet(a), key: b) -> Nil

Deletes the object addressed by key, if it exists. If it doesn’t, this does nothing.

delete_object

</> 
pub fn delete_object(oset: OSet(a), object: a) -> Nil

Deletes a specific object in the OSet. This is more useful in Bags and DBags.

insert

</> 
pub fn insert(oset: OSet(a), objects: List(a)) -> Bool

Inserts a list of tuples into a OSet.

Returns a Bool representing if the inserting succeeded.

  • If True, all objects in the list were inserted.
  • If False, none of the objects in the list were inserted. This may occur if the size of the tuple is less than the OSet’s size.

If an object with the same key already exists, then the old object will be overwritten with the new one.

lookup

</> 
pub fn lookup(oset: OSet(a), key: b) -> Option(a)

Gets an object from a OSet.

Returns an Option containing the object, if it exists.

new

</> 
pub fn new(
  name: String,
  keypos: Int,
  access: Access,
) -> Result(OSet(a), Option(ErlangError))

Creates a new ETS table configured as an ordered set: keys may only occur once per table, and objects are ordered (this comes at a performance cost).

name: An atom representing the name of the OSet. There may only be one ETS table associated with an atom. keypos: The index (1-indexed) that represents the key position of the object. This function fails if this is less than 1. access: Determines how visible the table is to other processes.

  • Public: Any process can read or write to the OSet.
  • Protected: Any process can read the OSet. Only the owner process can write to it.
  • Private: Only the parent process can read or write to the OSet.

Returns a result of the created OSet, which can be used by other functions in this module. If this function errors with None, then you likely put in an illegal keypos value. Otherwise, something went wrong in the FFI layer and an error occured in Erlang land.

✨ Search Document