Compiler.Eval

For internal spidr use only.

Definitions

data Err : Type

Totality: total
Visibility: export
Constructors:

OutOfBounds : Nat -> Nat -> Err

ValueNotFound : Nat -> Err

PjrtErr : PjrtError -> Err

Hint: 

Show Err

0 ErrIO : Type -> Type

Totality: total
Visibility: public export

execute : Device -> Fn 0 -> Vect outputs Shape -> ErrIO (Vect outputs Literal)

  It is up to the caller to free the `Literal`s.

Visibility: export