Spidr.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

MlirPassError : String -> Err

InvalidHloError : String -> Err

Hint: 

Show Err

0 ErrIO : Type -> Type

Totality: total
Visibility: public export

data TensorData : (Shape -> DType -> Type) -> Shape -> DType -> Type

Totality: total
Visibility: public export
Constructor: 

MkTensorData : f shape dtype -> TensorData f shape dtype

execute : Device -> Fn 0 -> All2 (TensorData (\{_:9523}, {_:9526} => ())) shapes dtypes -> ErrIO (All2 (TensorData (\{_:9535} => Array . idrisType)) shapes dtypes)

Visibility: export