2016-01-05 19:01:04 -08:00
|
|
|
Methods
|
|
|
|
|
-------
|
|
|
|
|
get(uid) - Gets the record with the UID, if there is one.
|
|
|
|
|
effects() - An iterator for the effect records, indexed by UID
|
|
|
|
|
insert(record) - Inserts a record, returns the UID
|
|
|
|
|
delete(uid) - Deletes the record with that UID, if it exists
|
|
|
|
|
size() - Gets the number of effects
|
|
|
|
|
with_index("index_name", index) - Gets a set of all UIDs with that index.
|
|
|
|
|
|
|
|
|
|
Other functions
|
|
|
|
|
---------------
|
|
|
|
|
effectset.new_set() - Makes a new effectset
|
2016-01-05 22:59:12 -08:00
|
|
|
effectset.serialize(effectset) - Serializes the effectset
|
|
|
|
|
effectset.deserialize(effectset) - Deserializes
|
2016-01-05 19:01:04 -08:00
|
|
|
effectset.intersect - Intersects two effectsets (not much use yet)
|
2016-01-05 22:59:12 -08:00
|
|
|
effectset.union - Unions two effectsets (not much use yet)
|
|
|
|
|
|
|
|
|
|
Tables
|
|
|
|
|
------
|
|
|
|
|
These can be used with with_index
|
|
|
|
|
|
|
|
|
|
player - Player names an effect applies to
|
|
|
|
|
tag - Tags an effect has
|
|
|
|
|
monoid - Monoids an effect belongs to
|
|
|
|
|
name - The name of an effect
|
|
|
|
|
perm - Whether the effect is permanent
|
