Module ra_lol

Data Types

abstract datatype: cont()

gt_fun() = fun((Item, Item) -> boolean())

abstract datatype: state()

append/2	append an item that is greater than the last appended item.
from_list/1	initialise from a list sorted in ascending order.
from_list/2
len/1
new/0
search/2
takewhile/2
to_list/1

append(Item, State::state()) -> state() | out_of_order

append an item that is greater than the last appended item

from_list(List::list()) -> state()

initialise from a list sorted in ascending order

from_list(GtFun::gt_fun(), List::list()) -> state()

len(X1::state()) -> non_neg_integer()

new() -> state()

search(SearchFun::fun((term()) -> higher | lower | equal), Rows::state() | cont()) -> {term(), cont()} | undefined

takewhile(Fun::fun((Item) -> boolean()), State::state()) -> {[Item], state()}

to_list(X1::state()) -> list()

Generated by EDoc