LLVM.AST.Typed

Querying the type of LLVM expressions

Documentation

class Typed a where

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => a -> m (Either String Type)

Instances

Typed Constant

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => Constant -> m (Either String Type)

Typed SomeFloat

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => SomeFloat -> m (Either String Type)

Typed Global

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => Global -> m (Either String Type)

Typed Parameter

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => Parameter -> m (Either String Type)

Typed CallableOperand

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => CallableOperand -> m (Either String Type)

Typed Operand

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => Operand -> m (Either String Type)

Typed [Int32]

Defined in LLVM.AST.Typed

Methods

typeOf :: (HasCallStack, MonadModuleBuilder m) => [Int32] -> m (Either String Type)

getElementType :: Type -> Either String Type

indexTypeByConstants :: (HasCallStack, MonadModuleBuilder m) => Type -> [Constant] -> m (Either String Type)

Index into a type using a list of Constant values. Returns a pointer type whose referent is the indexed type, or an error message if indexing was not possible.

indexTypeByOperands :: (HasCallStack, MonadModuleBuilder m) => Type -> [Operand] -> m (Either String Type)

Index into a type using a list of Operand values. Returns a pointer type whose referent is the indexed type, or an error message if indexing was not possible.

extractValueType :: (HasCallStack, MonadModuleBuilder m) => [Word32] -> Type -> m (Either String Type)