Compiler.Xla.XlaData

For internal spidr use only.

Definitions

interface Primitive : Type -> Type

Parameters: dtype
Methods:

repr : String

numBits : Bits16

isSigned : Bool

xlaIdentifier : Int

mlirType : HasIO io => MLIRContext -> io Type_

Implementations:

Primitive PRED

Primitive S32

Primitive S64

Primitive U32

Primitive U64

Primitive F64

repr : Primitive dtype => String

Totality: total
Visibility: export

numBits : Primitive dtype => Bits16

Totality: total
Visibility: export

isSigned : Primitive dtype => Bool

Totality: total
Visibility: export

xlaIdentifier : Primitive dtype => Int

Totality: total
Visibility: export

mlirType : Primitive dtype => HasIO io => MLIRContext -> io Type_

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

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