bravo/uset
This module provides functions to work with USet
s
Types
Functions
pub fn delete(uset: USet(a)) -> Bool
Deletes a USet
.
Table lifetime is static, and memory is only freed when the owner process is killed! Don’t forget to call this function!
pub fn delete_all_objects(uset: USet(a)) -> Nil
Deletes all objects in the USet
. This is atomic and isolated.
pub fn delete_key(uset: USet(a), key: b) -> Nil
Deletes the object addressed by key
, if it exists. If it doesn’t, this does nothing.
pub fn delete_object(uset: USet(a), object: a) -> Nil
Deletes a specific object in the USet
. This is more useful in Bag
s and DBag
s.
pub fn file2tab(
filename: String,
verify: Bool,
decoder: fn(Dynamic) -> Result(a, b),
) -> Result(USet(a), BravoError)
Creates a USet
from file filename
that was previously created by tab2file
.
For type safety reasons, a dynamic decoder must be provided, and the decoder must not fail for all objects in the table.
If the flag verify
is set, then checks are performed to ensure the data is correct. This can be slow if tab2file
was ran with md5sum
enabled.
Size-1 tuples are handled uniquely internally and are treated as non-tuples when saved to disk, so you must decode the non-tuple version of the type.
Can have error types DecodeFailure
and ErlangError
.
pub fn first(uset: USet(a)) -> Option(b)
Returns the first key (not the object!) in the table, if it exists.
USet
s are unordered, so the order of keys is unknown.
pub fn insert(uset: USet(a), objects: List(a)) -> Bool
Inserts a list of tuples into a USet
.
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 thekeypos
of theUSet
is greater than the object tuple size or if the input list is empty.
If an object with the same key already exists, then the old object will be overwritten with the new one.
pub fn insert_new(uset: USet(a), objects: List(a)) -> Bool
Inserts a list of tuples into a USet
. Unlike insert
, this cannot overwrite objects and will return false if it tries to do so.
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 thekeypos
of theUSet
is greater than the object tuple size or if the input list is empty.
pub fn last(uset: USet(a)) -> Option(b)
Returns the last key (not the object!) in the table, if it exists.
USet
s are unordered, so the order of keys is unknown.
pub fn lookup(uset: USet(a), key: b) -> Option(a)
Gets an object from a USet
.
Returns an Option
containing the object, if it exists.
pub fn member(uset: USet(a), key: b) -> Bool
Returns whether a USet
contains an object at key
.
pub fn new(
name: String,
keypos: Int,
access: Access,
) -> Result(USet(a), BravoError)
Creates a new ETS table configured as a set: keys may only occur once per table, and objects are unordered.
name
: An atom representing the name of the USet
. 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 theUSet
.Protected
: Any process can read theUSet
. Only the owner process can write to it.Private
: Only the parent process can read or write to theUSet
.
Returns a result of the created USet
, which can be used by other functions in this module.
Can have error types ErlangError
and NonPositiveKeypos
.
pub fn next(uset: USet(a), key: b) -> Option(b)
Given a key, returns the next key (not the object!) after it in the table, if it exists.
USet
s are unordered, so the order of keys is unknown.
pub fn prev(uset: USet(a), key: b) -> Option(b)
Given a key, returns the previous key (not the object!) before it in the table, if it exists.
USet
s are unordered, so the order of keys is unknown.
pub fn tab2file(
uset: USet(a),
filename: String,
object_count: Bool,
md5sum: Bool,
sync: Bool,
) -> Result(Nil, BravoError)
Saves a USet
as file filename
that can later be read back into memory using file2tab
.
There are three configuration flags with this function:
object_count
: Stores the number of objects in the table in the footer. This can detect truncation.md5sum
: Stores a md5 checksum of the table and its objects. This can detect even single bitflips, but is computationally expensive.sync
: Blocks the process until the file has been successfully written.
Can have error type ErlangError
.
pub fn tab2list(uset: USet(a)) -> List(a)
Returns a list containing all of the objects in the USet
.