Compiler.Xla.XlaData

For internal spidr use only.

Definitions

interface Primitive : Type -> Type

Parameters: dtype
Methods:

xlaIdentifier : Int

Implementations:

Primitive PRED

Primitive S32

Primitive S64

Primitive U32

Primitive U64

Primitive F32

Primitive F64

xlaIdentifier : Primitive dtype => Int

Totality: total
Visibility: export

data PRED : Type

Totality: total
Visibility: export
Hints:

Eq PRED

LiteralRW PRED Bool

Primitive PRED

PrimitiveRW PRED Bool

data S32 : Type

Totality: total
Visibility: export
Hints:

Abs S32

Eq S32

Integral S32

LiteralRW S32 Int32

Neg S32

Num S32

Ord S32

Primitive S32

PrimitiveRW S32 Int32

data S64 : Type

Totality: total
Visibility: export
Hints:

Abs S64

Eq S64

Integral S64

Neg S64

Num S64

Ord S64

Primitive S64

data U32 : Type

Totality: total
Visibility: export
Hints:

Eq U32

Integral U32

LiteralRW U32 Nat

Num U32

Ord U32

Primitive U32

PrimitiveRW U32 Nat

data U64 : Type

Totality: total
Visibility: export
Hints:

Eq U64

Integral U64

LiteralRW U64 Nat

Num U64

Ord U64

Primitive U64

PrimitiveRW U64 Nat

data F32 : Type

Totality: total
Visibility: export
Hints:

Abs F32

Eq F32

Fractional F32

Neg F32

Num F32

Ord F32

Primitive F32

data F64 : Type

Totality: total
Visibility: export
Hints:

Abs F64

Eq F64

Fractional F64

LiteralRW F64 Double

Neg F64

Num F64

Ord F64

Primitive F64

PrimitiveRW F64 Double

data DotDimensionNumbers : Type

Totality: total
Visibility: public export
Constructor: 

MkDotDimensionNumbers : GCAnyPtr -> DotDimensionNumbers

delete : HasIO io => AnyPtr -> io ()

Totality: total
Visibility: export

allocDotDimensionNumbers : HasIO io => io DotDimensionNumbers

Totality: total
Visibility: export

addLhsContractingDimensions : HasIO io => DotDimensionNumbers -> Nat -> io ()

Totality: total
Visibility: export

addRhsContractingDimensions : HasIO io => DotDimensionNumbers -> Nat -> io ()

Totality: total
Visibility: export

addLhsBatchDimensions : HasIO io => DotDimensionNumbers -> Nat -> io ()

Totality: total
Visibility: export

addRhsBatchDimensions : HasIO io => DotDimensionNumbers -> Nat -> io ()

Totality: total
Visibility: export