Compiler.MLIR.IR.Types

For internal spidr use only.

Definitions

data Type_ : Type

Totality: total
Visibility: public export
Constructor: 

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

Hints:

Cast FloatType Type_

Cast RankedTensorType Type_

data TypeArray : Type

Totality: total
Visibility: public export
Constructor: 

MkTypeArray : GCAnyPtr -> TypeArray

mkTypeArray : HasIO io => List Type_ -> io TypeArray

Totality: total
Visibility: export