Resource[A, E]: a cached value with resources, refreshed by hand or
on a schedule.
The value is acquired once on creation; get reads the cached outcome
(a failed acquisition fails every get until a refresh succeeds).
refresh acquires anew and swaps the new value in, releasing the old
one; a failed refresh keeps the cached value. auto refreshes on a
schedule until the scope that made it closes.
Classes#
On This Page
Classes