libretto-core
API
Generated with
libretto-core/libretto/CoreLib/LeasePool

LeasePool

libretto.CoreLib.LeasePool
object LeasePool

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LeasePool.type

Members list

Value members

Concrete methods

def allocate(n: Int): Done -⚬ LeasePool
def createUnfold[S](f: S -⚬ Done |*| Maybe[S]): S -⚬ LeasePool

Creates a pool from S with as many leases as are unfolded from S via f.

Creates a pool from S with as many leases as are unfolded from S via f.

Attributes

Generated with