Spidr.Compiler.MLIR.IR.Types

For internal spidr use only.

Definitions

data Type_ : Type

Totality: total
Visibility: public export
Constructor: 

MkType_ : GCAnyPtr -> (AnyPtr -> Bits64 -> GCAnyPtr -> PrimIO ()) -> Type_

Hints:

Cast FloatType Type_

Cast IntegerType Type_

Cast RankedTensorType Type_

sizeofType : Bits64

prim__deleteType : AnyPtr -> PrimIO ()

prim__setArrayType : AnyPtr -> Bits64 -> GCAnyPtr -> PrimIO ()