Spidr.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 ()

get : HasIO io => MLIRContext -> io FloatType

Totality: total
Visibility: export

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 IntegerType : Type

Totality: total
Visibility: public export
Constructor: 

MkIntegerType : GCAnyPtr -> IntegerType

Hint: 

Cast IntegerType Type_

prim__deleteIntegerType : AnyPtr -> PrimIO ()

data SignednessSemantics : Type

Totality: total
Visibility: public export
Constructors:

Signless : SignednessSemantics

Signed : SignednessSemantics

Unsigned : SignednessSemantics

Hint: 

Cast SignednessSemantics Int

get : HasIO io => MLIRContext -> Nat -> SignednessSemantics -> io IntegerType

Totality: total
Visibility: export

data RankedTensorType : Type

Totality: total
Visibility: public export
Constructor: 

MkRankedTensorType : GCAnyPtr -> RankedTensorType

Hint: 

Cast RankedTensorType Type_

unsafeCastToRankedTensorType : Type_ -> RankedTensorType

Visibility: export

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

Totality: total
Visibility: export

getShape : HasIO io => RankedTensorType -> io (Array Int64)

Totality: total
Visibility: export

clone : HasIO io => RankedTensorType -> Array Int64 -> io RankedTensorType

Totality: total
Visibility: export