Compiler.MLIR.IR.BuiltinTypes

For internal spidr use only.

Definitions

data FloatType : Type

Totality: total
Visibility: public export
Constructor: 

MkFloatType : GCAnyPtr -> FloatType

Hint: 

Cast FloatType Type_

prim__deleteFloatType : AnyPtr -> PrimIO ()

data FunctionType : Type

Totality: total
Visibility: public export
Constructor: 

MkFunctionType : GCAnyPtr -> FunctionType

get : HasIO io => MLIRContext -> TypeRange -> TypeRange -> io FunctionType

Totality: total
Visibility: export

data RankedTensorType : Type

Totality: total
Visibility: public export
Constructor: 

MkRankedTensorType : GCAnyPtr -> RankedTensorType

Hints:

Cast RankedTensorType ShapedType

Cast RankedTensorType Type_

get : HasIO io => List Nat -> Type_ -> io RankedTensorType

Totality: total
Visibility: export