libretto-examples
API
Generated with
libretto-examples/libretto.examples/PoolingMicroscopes/Microscopes

Microscopes

libretto.examples.PoolingMicroscopes.Microscopes
opaque object Microscopes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object BorrowedMicroscope

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class Name(value: String)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

type BorrowedMicroscope = Microscope dsl.|*| dsl.-[Microscope]
opaque type Microscope

Value members

Concrete methods

def destroyMicroscope: Microscope dsl.-⚬ Done
def newMicroscope: dsl.Val[Name] dsl.-⚬ Microscope

Givens

Givens

Generated with