Idris2Doc : Spidr.Compiler.Stablehlo.Dialect.ChloOps

Spidr.Compiler.Stablehlo.Dialect.ChloOps

For internal spidr use only.

Definitions

loadDialectChloDialect : HasIO io => MLIRContext -> io ()
Totality: total
Visibility: export
data AcosOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAcosOp : GCAnyPtr -> AcosOp

Hint: 
Op AcosOp
create : HasIO io => OpBuilder -> Location -> Value -> io AcosOp
Totality: total
Visibility: export
data AcoshOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAcoshOp : GCAnyPtr -> AcoshOp

Hint: 
Op AcoshOp
create : HasIO io => OpBuilder -> Location -> Value -> io AcoshOp
Totality: total
Visibility: export
data AsinOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAsinOp : GCAnyPtr -> AsinOp

Hint: 
Op AsinOp
create : HasIO io => OpBuilder -> Location -> Value -> io AsinOp
Totality: total
Visibility: export
data AsinhOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAsinhOp : GCAnyPtr -> AsinhOp

Hint: 
Op AsinhOp
create : HasIO io => OpBuilder -> Location -> Value -> io AsinhOp
Totality: total
Visibility: export
data AtanOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAtanOp : GCAnyPtr -> AtanOp

Hint: 
Op AtanOp
create : HasIO io => OpBuilder -> Location -> Value -> io AtanOp
Totality: total
Visibility: export
data AtanhOp : Type
Totality: total
Visibility: public export
Constructor: 
MkAtanhOp : GCAnyPtr -> AtanhOp

Hint: 
Op AtanhOp
create : HasIO io => OpBuilder -> Location -> Value -> io AtanhOp
Totality: total
Visibility: export
data CoshOp : Type
Totality: total
Visibility: public export
Constructor: 
MkCoshOp : GCAnyPtr -> CoshOp

Hint: 
Op CoshOp
create : HasIO io => OpBuilder -> Location -> Value -> io CoshOp
Totality: total
Visibility: export
data SinhOp : Type
Totality: total
Visibility: public export
Constructor: 
MkSinhOp : GCAnyPtr -> SinhOp

Hint: 
Op SinhOp
create : HasIO io => OpBuilder -> Location -> Value -> io SinhOp
Totality: total
Visibility: export
data ErfOp : Type
Totality: total
Visibility: public export
Constructor: 
MkErfOp : GCAnyPtr -> ErfOp

Hint: 
Op ErfOp
create : HasIO io => OpBuilder -> Location -> Value -> io ErfOp
Totality: total
Visibility: export
data ErfInvOp : Type
Totality: total
Visibility: public export
Constructor: 
MkErfInvOp : GCAnyPtr -> ErfInvOp

Hint: 
Op ErfInvOp
create : HasIO io => OpBuilder -> Location -> Value -> io ErfInvOp
Totality: total
Visibility: export
data SquareOp : Type
Totality: total
Visibility: public export
Constructor: 
MkSquareOp : GCAnyPtr -> SquareOp

Hint: 
Op SquareOp
create : HasIO io => OpBuilder -> Location -> Value -> io SquareOp
Totality: total
Visibility: export