Device

Defines `Device`, an abstraction for logical (as opposed to physical) runtime devices.

Definitions

data Device : Type

  A PJRT "device". These are required to run spidr graphs, and are provided by your plugin.
  You won't need to construct one yourself unless you're writing a plugin.

Totality: total
Visibility: public export
Constructor: 

MkDevice : PjrtApi -> PjrtClient -> Device