Idris2Doc : Spidr.Compiler.DType

Spidr.Compiler.DType

For internal spidr use only.

Definitions

numBits : DType -> Bits16
Totality: total
Visibility: export
isSigned : DType -> Bool
Totality: total
Visibility: export
mlirType : HasIO io => MLIRContext -> DType -> io Type_
Totality: total
Visibility: export