mlir-hs-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

MLIR.AST

Documentation

type Name = ByteString Source #

type UInt = Word Source #

data Signedness Source #

Constructors

Signed 
Unsigned 
Signless 

Instances

Instances details
Eq Signedness Source # 
Instance details

Defined in MLIR.AST

Methods

(==) :: Signedness -> Signedness -> Bool #

(/=) :: Signedness -> Signedness -> Bool #

data Type Source #

Constructors

BFloat16Type 
Float16Type 
Float32Type 
Float64Type 
Float80Type 
Float128Type 
ComplexType Type 
IndexType 
IntegerType Signedness UInt 
TupleType [Type] 
NoneType 
FunctionType [Type] [Type] 
MemRefType 

Fields

RankedTensorType 

Fields

VectorType 

Fields

UnrankedMemRefType 

Fields

UnrankedTensorType 

Fields

OpaqueType 

Fields

forall t.(Typeable t, Eq t, FromAST t Type) => DialectType t 

Instances

Instances details
Eq Type Source # 
Instance details

Defined in MLIR.AST

Methods

(==) :: Type -> Type -> Bool #

(/=) :: Type -> Type -> Bool #

FromAST Type Type Source # 
Instance details

Defined in MLIR.AST

Methods

fromAST :: Context -> ValueAndBlockMapping -> Type -> IO Type0 Source #

data Location Source #

Constructors

UnknownLocation 
FileLocation 

Fields

NameLocation 

Fields

FusedLocation 

Fields

CallSiteLocation 
OpaqueLocation 

Instances

Instances details
FromAST Location Location Source # 
Instance details

Defined in MLIR.AST

Methods

fromAST :: Context -> ValueAndBlockMapping -> Location -> IO Location0 Source #

data Binding Source #

Constructors

Bind [Name] Operation 

pattern Do :: Operation -> Binding Source #

pattern (:=) :: Name -> Operation -> Binding Source #

pattern (::=) :: [Name] -> Operation -> Binding Source #

data Block Source #

Constructors

Block 

Fields

Instances

Instances details
FromAST Block Block Source # 
Instance details

Defined in MLIR.AST

Methods

fromAST :: Context -> ValueAndBlockMapping -> Block -> IO Block0 Source #

data Region Source #

Constructors

Region [Block] 

Instances

Instances details
FromAST Region Region Source # 
Instance details

Defined in MLIR.AST

Methods

fromAST :: Context -> ValueAndBlockMapping -> Region -> IO Region0 Source #

data Attribute Source #

Constructors

ArrayAttr [Attribute] 
DictionaryAttr (Map Name Attribute) 
FloatAttr Type Double 
IntegerAttr Type Int 
BoolAttr Bool 
StringAttr ByteString 
TypeAttr Type 
AffineMapAttr Map 
UnitAttr 
DenseArrayAttr DenseElements 
DenseElementsAttr Type DenseElements 
AsmTextAttr ByteString 
forall t.(Typeable t, Eq t, Show t, FromAST t Attribute) => DialectAttr t 

Instances

Instances details
Eq Attribute Source # 
Instance details

Defined in MLIR.AST

Methods

(==) :: Attribute -> Attribute -> Bool #

(/=) :: Attribute -> Attribute -> Bool #

data DenseElements Source #

Constructors

forall i.(Show i, Ix i) => DenseUInt8 (IStorableArray i Word8) 
forall i.(Show i, Ix i) => DenseInt8 (IStorableArray i Int8) 
forall i.(Show i, Ix i) => DenseUInt32 (IStorableArray i Word32) 
forall i.(Show i, Ix i) => DenseInt32 (IStorableArray i Int32) 
forall i.(Show i, Ix i) => DenseUInt64 (IStorableArray i Word64) 
forall i.(Show i, Ix i) => DenseInt64 (IStorableArray i Int64) 
forall i.(Show i, Ix i) => DenseFloat (IStorableArray i Float) 
forall i.(Show i, Ix i) => DenseDouble (IStorableArray i Double) 

Instances

Instances details
Eq DenseElements Source # 
Instance details

Defined in MLIR.AST

Methods

(==) :: DenseElements -> DenseElements -> Bool #

(/=) :: DenseElements -> DenseElements -> Bool #

data ResultTypes Source #

Constructors

Explicit [Type] 
Inferred 

type NamedAttributes = Map Name Attribute Source #

data AbstractOperation operand Source #

Constructors

Operation 

Fields

Instances

Instances details
FromAST Operation Operation Source # 
Instance details

Defined in MLIR.AST

Methods

fromAST :: Context -> ValueAndBlockMapping -> Operation -> IO Operation0 Source #

type Operation = AbstractOperation Name Source #

pattern NoAttrs :: Map Name Attribute Source #

namedAttribute :: Name -> Attribute -> NamedAttributes Source #

pattern ModuleOp :: Block -> Operation Source #

pattern FuncAttrs :: Name -> Type -> Map Name Attribute Source #

pattern FuncOp :: Location -> Name -> Type -> Region -> Operation Source #

inline_c_ffi_6989586621679084158 :: IO Attribute Source #

inline_c_ffi_6989586621679084176 :: Context -> CIntPtr -> Ptr Location -> Attribute -> IO Location Source #

inline_c_ffi_6989586621679083910 :: Context -> IO Type Source #

inline_c_ffi_6989586621679083918 :: Context -> IO Type Source #

inline_c_ffi_6989586621679083926 :: Context -> IO Type Source #

inline_c_ffi_6989586621679083934 :: Context -> IO Type Source #

inline_c_ffi_6989586621679083944 :: Type -> IO Type Source #

inline_c_ffi_6989586621679083966 :: Context -> CIntPtr -> Ptr Type -> CIntPtr -> Ptr Type -> IO Type Source #

inline_c_ffi_6989586621679083974 :: Context -> IO Type Source #

inline_c_ffi_6989586621679083987 :: Context -> CUInt -> IO Type Source #

inline_c_ffi_6989586621679083997 :: Context -> CUInt -> IO Type Source #

inline_c_ffi_6989586621679084007 :: Context -> CUInt -> IO Type Source #

inline_c_ffi_6989586621679084052 :: Type -> CIntPtr -> Ptr Int64 -> Attribute -> Attribute -> IO Type Source #

inline_c_ffi_6989586621679084060 :: Context -> IO Type Source #

inline_c_ffi_6989586621679084083 :: CIntPtr -> Ptr Int64 -> Type -> Attribute -> IO Type Source #

inline_c_ffi_6989586621679084098 :: Context -> CIntPtr -> Ptr Type -> IO Type Source #

inline_c_ffi_6989586621679084112 :: Type -> Attribute -> IO Type Source #

inline_c_ffi_6989586621679084122 :: Type -> IO Type Source #

inline_c_ffi_6989586621679084140 :: CIntPtr -> Ptr Int64 -> Type -> IO Type Source #

inline_c_ffi_6989586621679083897 :: IO Region Source #

inline_c_ffi_6989586621679083871 :: Region -> Block -> IO () Source #

inline_c_ffi_6989586621679083891 :: CIntPtr -> Ptr Type -> Ptr Location -> IO Block Source #

inline_c_ffi_6989586621679083800 :: Block -> Operation -> IO () Source #

inline_c_ffi_6989586621679083810 :: Block -> IO CIntPtr Source #

inline_c_ffi_6989586621679083824 :: CIntPtr -> Ptr Value -> Block -> IO () Source #

inline_c_ffi_6989586621679083833 :: Operation -> IO CIntPtr Source #

inline_c_ffi_6989586621679083847 :: CIntPtr -> Ptr Value -> Operation -> IO () Source #

inline_c_ffi_6989586621679083457 :: Context -> CIntPtr -> Ptr Attribute -> IO Attribute Source #

inline_c_ffi_6989586621679083472 :: Context -> CIntPtr -> Ptr NamedAttribute -> IO Attribute Source #

inline_c_ffi_6989586621679083489 :: Context -> Type -> CDouble -> IO Attribute Source #

inline_c_ffi_6989586621679083503 :: Type -> Int64 -> IO Attribute Source #

inline_c_ffi_6989586621679083515 :: Context -> CInt -> IO Attribute Source #

inline_c_ffi_6989586621679083530 :: Context -> Ptr CChar -> CSize -> IO Attribute Source #

inline_c_ffi_6989586621679083545 :: Context -> Ptr CChar -> CSize -> IO Attribute Source #

inline_c_ffi_6989586621679083555 :: Type -> IO Attribute Source #

inline_c_ffi_6989586621679083565 :: AffineMap -> IO Attribute Source #

inline_c_ffi_6989586621679083573 :: Context -> IO Attribute Source #

inline_c_ffi_6989586621679083589 :: Context -> CIntPtr -> Ptr Int8 -> IO Attribute Source #

inline_c_ffi_6989586621679083604 :: Context -> CIntPtr -> Ptr Int32 -> IO Attribute Source #

inline_c_ffi_6989586621679083619 :: Context -> CIntPtr -> Ptr Int64 -> IO Attribute Source #

inline_c_ffi_6989586621679083635 :: Context -> CIntPtr -> Ptr CFloat -> IO Attribute Source #

inline_c_ffi_6989586621679083651 :: Context -> CIntPtr -> Ptr CDouble -> IO Attribute Source #

inline_c_ffi_6989586621679083669 :: Type -> CIntPtr -> Ptr Word8 -> IO Attribute Source #

inline_c_ffi_6989586621679083684 :: Type -> CIntPtr -> Ptr Int8 -> IO Attribute Source #

inline_c_ffi_6989586621679083699 :: Type -> CIntPtr -> Ptr Word32 -> IO Attribute Source #

inline_c_ffi_6989586621679083714 :: Type -> CIntPtr -> Ptr Int32 -> IO Attribute Source #

inline_c_ffi_6989586621679083729 :: Type -> CIntPtr -> Ptr Word64 -> IO Attribute Source #

inline_c_ffi_6989586621679083744 :: Type -> CIntPtr -> Ptr Int64 -> IO Attribute Source #

inline_c_ffi_6989586621679083760 :: Type -> CIntPtr -> Ptr CFloat -> IO Attribute Source #

inline_c_ffi_6989586621679083776 :: Type -> CIntPtr -> Ptr CDouble -> IO Attribute Source #

inline_c_ffi_6989586621679083437 :: Ptr CChar -> CSize -> Location -> CBool -> CIntPtr -> Ptr Type -> CIntPtr -> Ptr Value -> CIntPtr -> Ptr Region -> CIntPtr -> Ptr Block -> CIntPtr -> Ptr NamedAttribute -> IO Operation Source #

packNamedAttrs :: Context -> ValueAndBlockMapping -> Map Name Attribute -> ContT r IO (CIntPtr, Ptr NamedAttribute) Source #

inline_c_ffi_6989586621679084192 :: IO CSize Source #

inline_c_ffi_6989586621679084199 :: IO CSize Source #

inline_c_ffi_6989586621679084221 :: Ptr NamedAttribute -> CInt -> Identifier -> Attribute -> IO () Source #

pattern CTrue :: CBool Source #

pattern CFalse :: CBool Source #

notImplemented :: forall a. a Source #