Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.Operand

Description

A type to represent operands to LLVM Instructions

Synopsis

data DILocalVariable = LocalVariable {
- name :: ShortByteString
- scope :: MDRef DIScope
- file :: Maybe (MDRef DIFile)
- line :: Word32
- type' :: Maybe (MDRef DIType)
- flags :: [DIFlag]
- arg :: Word16
- alignInBits :: Word32
}
data DIGlobalVariable = GlobalVariable {
- name :: ShortByteString
- scope :: Maybe (MDRef DIScope)
- file :: Maybe (MDRef DIFile)
- line :: Word32
- type' :: Maybe (MDRef DIType)
- linkageName :: ShortByteString
- local :: Bool
- definition :: Bool
- staticDataMemberDeclaration :: Maybe (MDRef DIDerivedType)
- templateParams :: [MDRef DITemplateParameter]
- alignInBits :: Word32
}
data DIVariable
- = DIGlobalVariable DIGlobalVariable
- | DILocalVariable DILocalVariable
data DILexicalBlockBase
- = DILexicalBlock {
  - scope :: MDRef DILocalScope
  - file :: Maybe (MDRef DIFile)
  - line :: Word32
  - column :: Word16
  }
- | DILexicalBlockFile {
  - scope :: MDRef DILocalScope
  - file :: Maybe (MDRef DIFile)
  - discriminator :: Word32
  }
data DITemplateParameter
- = DITemplateTypeParameter {
  - name :: ShortByteString
  - type' :: Maybe (MDRef DIType)
  }
- | DITemplateValueParameter {
  - name :: ShortByteString
  - type' :: Maybe (MDRef DIType)
  - value :: Maybe Metadata
  - tag :: TemplateValueParameterTag
  }
data TemplateValueParameterTag
- = TemplateValueParameter
- | GNUTemplateTemplateParam
- | GNUTemplateParameterPack
data Encoding
- = AddressEncoding
- | BooleanEncoding
- | FloatEncoding
- | SignedEncoding
- | SignedCharEncoding
- | UnsignedEncoding
- | UnsignedCharEncoding
- | UTFEncoding
data DICompositeType
- = DIArrayType {
  - subscripts :: [DISubrange]
  - elementTy :: Maybe (MDRef DIType)
  - sizeInBits :: Word64
  - alignInBits :: Word32
  - flags :: [DIFlag]
  }
- | DIClassType {
  - scope :: Maybe (MDRef DIScope)
  - name :: ShortByteString
  - file :: Maybe (MDRef DIFile)
  - line :: Word32
  - flags :: [DIFlag]
  - derivedFrom :: Maybe (MDRef DIType)
  - elements :: [MDRef (Either DIDerivedType DISubprogram)]
  - vtableHolder :: Maybe (MDRef DIType)
  - templateParams :: [DITemplateParameter]
  - identifier :: ShortByteString
  - sizeInBits :: Word64
  - alignInBits :: Word32
  }
- | DIEnumerationType {
  - scope :: Maybe (MDRef DIScope)
  - name :: ShortByteString
  - file :: Maybe (MDRef DIFile)
  - line :: Word32
  - values :: [DIEnumerator]
  - baseType :: Maybe (MDRef DIType)
  - identifier :: ShortByteString
  - sizeInBits :: Word64
  - alignInBits :: Word32
  }
- | DIStructureType {
  - scope :: Maybe (MDRef DIScope)
  - name :: ShortByteString
  - file :: Maybe (MDRef DIFile)
  - line :: Word32
  - flags :: [DIFlag]
  - derivedFrom :: Maybe (MDRef DIType)
  - elements :: [MDRef (Either DIDerivedType DISubprogram)]
  - runtimeLang :: Word16
  - vtableHolder :: Maybe (MDRef DIType)
  - identifier :: ShortByteString
  - sizeInBits :: Word64
  - alignInBits :: Word32
  }
- | DIUnionType {
  - scope :: Maybe (MDRef DIScope)
  - name :: ShortByteString
  - file :: Maybe (MDRef DIFile)
  - line :: Word32
  - flags :: [DIFlag]
  - elements :: [MDRef (Either DIDerivedType DISubprogram)]
  - runtimeLang :: Word16
  - identifier :: ShortByteString
  - sizeInBits :: Word64
  - alignInBits :: Word32
  }
data DIDerivedType = DerivedType {
- tag :: DerivedTypeTag
- name :: ShortByteString
- file :: Maybe (MDRef DIFile)
- line :: Word32
- scope :: Maybe (MDRef DIScope)
- baseType :: Maybe (MDRef DIType)
- sizeInBits :: Word64
- alignInBits :: Word32
- offsetInBits :: Word64
- addressSpace :: Maybe Word32
- flags :: [DIFlag]
}
data DerivedTypeTag
- = Typedef
- | PointerType
- | PtrToMemberType
- | ReferenceType
- | RValueReferenceType
- | ConstType
- | VolatileType
- | RestrictType
- | AtomicType
- | Member
- | Inheritance
- | Friend
data DISubroutineType = SubroutineType {
- flags :: [DIFlag]
- cc :: Word8
- typeArray :: [Maybe (MDRef DIType)]
}
data DIBasicType = BasicType {
- name :: ShortByteString
- sizeInBits :: Word64
- alignInBits :: Word32
- encoding :: Maybe Encoding
- tag :: BasicTypeTag
- flags :: [DIFlag]
}
data DIType
- = DIBasicType DIBasicType
- | DICompositeType DICompositeType
- | DIDerivedType DIDerivedType
- | DISubroutineType DISubroutineType
data BasicTypeTag
- = BaseType
- | UnspecifiedType
data Virtuality
- = NoVirtuality
- | Virtual
- | PureVirtual
data DISubprogram = Subprogram {
- scope :: Maybe (MDRef DIScope)
- name :: ShortByteString
- linkageName :: ShortByteString
- file :: Maybe (MDRef DIFile)
- line :: Word32
- type' :: Maybe (MDRef DISubroutineType)
- localToUnit :: Bool
- definition :: Bool
- scopeLine :: Word32
- containingType :: Maybe (MDRef DIType)
- virtuality :: Virtuality
- virtualityIndex :: Word32
- thisAdjustment :: Int32
- flags :: [DIFlag]
- optimized :: Bool
- unit :: Maybe (MDRef DICompileUnit)
- templateParams :: [MDRef DITemplateParameter]
- declaration :: Maybe (MDRef DISubprogram)
- retainedNodes :: [MDRef DILocalVariable]
- thrownTypes :: [MDRef DIType]
}
data DILocalScope
- = DILexicalBlockBase DILexicalBlockBase
- | DISubprogram DISubprogram
data ChecksumKind
- = MD5
- | SHA1
data ChecksumInfo = ChecksumInfo {
- checksumKind :: ChecksumKind
- checksumValue :: ShortByteString
}
data DIFile = File {
- filename :: ShortByteString
- directory :: ShortByteString
- checksum :: Maybe ChecksumInfo
}
data DICompileUnit = CompileUnit {
- language :: Word32
- file :: MDRef DIFile
- producer :: ShortByteString
- optimized :: Bool
- flags :: ShortByteString
- runtimeVersion :: Word32
- splitDebugFileName :: ShortByteString
- emissionKind :: DebugEmissionKind
- enums :: [MDRef DICompositeType]
- retainedTypes :: [MDRef (Either DIType DISubprogram)]
- globals :: [MDRef DIGlobalVariableExpression]
- imports :: [MDRef DIImportedEntity]
- macros :: [MDRef DIMacroNode]
- dWOId :: Word64
- splitDebugInlining :: Bool
- debugInfoForProfiling :: Bool
- nameTableKind :: DebugNameTableKind
- debugBaseAddress :: Bool
}
data DebugNameTableKind
- = NameTableKindDefault
- | NameTableKindGNU
- | NameTableKindNone
data DebugEmissionKind
- = NoDebug
- | FullDebug
- | LineTablesOnly
data DINamespace = Namespace {
- name :: ShortByteString
- scope :: Maybe (MDRef DIScope)
- exportSymbols :: Bool
}
data DIModule = Module {
- scope :: Maybe (MDRef DIScope)
- name :: ShortByteString
- configurationMacros :: ShortByteString
- includePath :: ShortByteString
- isysRoot :: ShortByteString
}
data DIScope
- = DICompileUnit DICompileUnit
- | DIFile DIFile
- | DILocalScope DILocalScope
- | DIModule DIModule
- | DINamespace DINamespace
- | DIType DIType
data DICount
- = DICountConstant Int64
- | DICountVariable (MDRef DIVariable)
data DISubrange = Subrange {
- count :: DICount
- lowerBound :: Int64
}
data DIEnumerator = Enumerator {
- value :: Int64
- isUnsigned :: Bool
- name :: ShortByteString
}
data DIImportedEntity = ImportedEntity {
- tag :: ImportedEntityTag
- name :: ShortByteString
- scope :: MDRef DIScope
- entity :: Maybe (MDRef DINode)
- file :: Maybe (MDRef DIFile)
- line :: Word32
}
data ImportedEntityTag
- = ImportedModule
- | ImportedDeclaration
data DIObjCProperty = ObjCProperty {
- name :: ShortByteString
- file :: Maybe (MDRef DIFile)
- line :: Word32
- getterName :: ShortByteString
- setterName :: ShortByteString
- attributes :: Word32
- type' :: Maybe (MDRef DIType)
}
data DINode
- = DIEnumerator DIEnumerator
- | DIImportedEntity DIImportedEntity
- | DIObjCProperty DIObjCProperty
- | DIScope DIScope
- | DISubrange DISubrange
- | DITemplateParameter DITemplateParameter
- | DIVariable DIVariable
data DIMacroNode
- = DIMacro {
  - info :: DIMacroInfo
  - line :: Word32
  - name :: ShortByteString
  - value :: ShortByteString
  }
- | DIMacroFile {
  - line :: Word32
  - file :: MDRef DIFile
  - elements :: [MDRef DIMacroNode]
  }
data DIMacroInfo
- = Define
- | Undef
data DIFlag
- = Accessibility DIAccessibility
- | FwdDecl
- | AppleBlock
- | BlockByrefStruct
- | VirtualFlag
- | Artificial
- | Explicit
- | Prototyped
- | ObjcClassComplete
- | ObjectPointer
- | Vector
- | StaticMember
- | LValueReference
- | RValueReference
- | InheritanceFlag DIInheritance
- | IntroducedVirtual
- | BitField
- | NoReturn
- | MainSubprogram
data DIInheritance
- = SingleInheritance
- | MultipleInheritance
- | VirtualInheritance
data DIAccessibility
- = Private
- | Protected
- | Public
data DIGlobalVariableExpression = GlobalVariableExpression {
- var :: MDRef DIGlobalVariable
- expr :: MDRef DIExpression
}
data DIExpression = Expression {
- operands :: [DWOp]
}
data DILocation = Location {
- line :: Word32
- column :: Word16
- scope :: MDRef DILocalScope
}
data MDNode
- = MDTuple [Maybe Metadata]
- | DIExpression DIExpression
- | DIGlobalVariableExpression DIGlobalVariableExpression
- | DILocation DILocation
- | DIMacroNode DIMacroNode
- | DINode DINode
data DWOp
- = DwOpFragment DWOpFragment
- | DW_OP_StackValue
- | DW_OP_Swap
- | DW_OP_ConstU Word64
- | DW_OP_Lit0
- | DW_OP_PlusUConst Word64
- | DW_OP_Plus
- | DW_OP_Minus
- | DW_OP_Mul
- | DW_OP_Div
- | DW_OP_Mod
- | DW_OP_Not
- | DW_OP_Or
- | DW_OP_Xor
- | DW_OP_And
- | DW_OP_Shr
- | DW_OP_Shra
- | DW_OP_Shl
- | DW_OP_Dup
- | DW_OP_Deref
- | DW_OP_XDeref
data DWOpFragment = DW_OP_LLVM_Fragment {
- offset :: Word64
- size :: Word64
}
data MDRef a
- = MDRef MetadataNodeID
- | MDInline a
newtype MetadataNodeID = MetadataNodeID Word
data Metadata
- = MDString ShortByteString
- | MDNode (MDRef MDNode)
- | MDValue Operand
type CallableOperand = Either InlineAssembly Operand
data Operand
- = LocalReference Type Name
- | ConstantOperand Constant
- | MetadataOperand Metadata

Documentation

data DILocalVariable Source #

https://llvm.org/docs/LangRef.html#dilocalvariable

Constructors

LocalVariable
Fields name :: ShortByteString scope :: MDRef DIScope file :: Maybe (MDRef DIFile) line :: Word32 type' :: Maybe (MDRef DIType) flags :: [DIFlag] arg :: Word16 alignInBits :: Word32

Instances

Eq DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DILocalVariable -> DILocalVariable -> Bool # (/=) :: DILocalVariable -> DILocalVariable -> Bool #
Data DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocalVariable -> c DILocalVariable # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocalVariable # toConstr :: DILocalVariable -> Constr # dataTypeOf :: DILocalVariable -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocalVariable) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocalVariable) # gmapT :: (forall b. Data b => b -> b) -> DILocalVariable -> DILocalVariable # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocalVariable -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocalVariable -> r # gmapQ :: (forall d. Data d => d -> u) -> DILocalVariable -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocalVariable -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable #
Ord DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DILocalVariable -> DILocalVariable -> Ordering # (<) :: DILocalVariable -> DILocalVariable -> Bool # (<=) :: DILocalVariable -> DILocalVariable -> Bool # (>) :: DILocalVariable -> DILocalVariable -> Bool # (>=) :: DILocalVariable -> DILocalVariable -> Bool # max :: DILocalVariable -> DILocalVariable -> DILocalVariable # min :: DILocalVariable -> DILocalVariable -> DILocalVariable #
Read DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DILocalVariable # readList :: ReadS [DILocalVariable] # readPrec :: ReadPrec DILocalVariable # readListPrec :: ReadPrec [DILocalVariable] #
Show DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DILocalVariable -> ShowS # show :: DILocalVariable -> String # showList :: [DILocalVariable] -> ShowS #
Generic DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DILocalVariable :: Type -> Type # Methods from :: DILocalVariable -> Rep DILocalVariable x # to :: Rep DILocalVariable x -> DILocalVariable #
type Rep DILocalVariable Source #
Instance details Defined in LLVM.AST.Operand type Rep DILocalVariable = D1 (MetaData "DILocalVariable" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "LocalVariable" PrefixI True) (((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIScope))) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: ((S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType))) :: S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag])) :: (S1 (MetaSel (Just "arg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16) :*: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))

data DIGlobalVariable Source #

https://llvm.org/docs/LangRef.html#diglobalvariable

Constructors

GlobalVariable
Fields name :: ShortByteString scope :: Maybe (MDRef DIScope) file :: Maybe (MDRef DIFile) line :: Word32 type' :: Maybe (MDRef DIType) linkageName :: ShortByteString local :: Bool definition :: Bool staticDataMemberDeclaration :: Maybe (MDRef DIDerivedType) templateParams :: [MDRef DITemplateParameter] alignInBits :: Word32

Instances

Eq DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIGlobalVariable -> DIGlobalVariable -> Bool # (/=) :: DIGlobalVariable -> DIGlobalVariable -> Bool #
Data DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIGlobalVariable -> c DIGlobalVariable # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIGlobalVariable # toConstr :: DIGlobalVariable -> Constr # dataTypeOf :: DIGlobalVariable -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIGlobalVariable) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIGlobalVariable) # gmapT :: (forall b. Data b => b -> b) -> DIGlobalVariable -> DIGlobalVariable # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariable -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariable -> r # gmapQ :: (forall d. Data d => d -> u) -> DIGlobalVariable -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIGlobalVariable -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable #
Ord DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIGlobalVariable -> DIGlobalVariable -> Ordering # (<) :: DIGlobalVariable -> DIGlobalVariable -> Bool # (<=) :: DIGlobalVariable -> DIGlobalVariable -> Bool # (>) :: DIGlobalVariable -> DIGlobalVariable -> Bool # (>=) :: DIGlobalVariable -> DIGlobalVariable -> Bool # max :: DIGlobalVariable -> DIGlobalVariable -> DIGlobalVariable # min :: DIGlobalVariable -> DIGlobalVariable -> DIGlobalVariable #
Read DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIGlobalVariable # readList :: ReadS [DIGlobalVariable] # readPrec :: ReadPrec DIGlobalVariable # readListPrec :: ReadPrec [DIGlobalVariable] #
Show DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIGlobalVariable -> ShowS # show :: DIGlobalVariable -> String # showList :: [DIGlobalVariable] -> ShowS #
Generic DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIGlobalVariable :: Type -> Type # Methods from :: DIGlobalVariable -> Rep DIGlobalVariable x # to :: Rep DIGlobalVariable x -> DIGlobalVariable #
type Rep DIGlobalVariable Source #
Instance details Defined in LLVM.AST.Operand type Rep DIGlobalVariable = D1 (MetaData "DIGlobalVariable" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "GlobalVariable" PrefixI True) (((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope)))) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))) :: ((S1 (MetaSel (Just "linkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "local") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "definition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :: (S1 (MetaSel (Just "staticDataMemberDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIDerivedType))) :: (S1 (MetaSel (Just "templateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DITemplateParameter]) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))))

data DIVariable Source #

https://llvm.org/doxygen/classllvm_1_1DIVariable.html

Constructors

DIGlobalVariable DIGlobalVariable
DILocalVariable DILocalVariable

Instances

Eq DIVariable Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIVariable -> DIVariable -> Bool # (/=) :: DIVariable -> DIVariable -> Bool #
Data DIVariable Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIVariable -> c DIVariable # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIVariable # toConstr :: DIVariable -> Constr # dataTypeOf :: DIVariable -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIVariable) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIVariable) # gmapT :: (forall b. Data b => b -> b) -> DIVariable -> DIVariable # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIVariable -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIVariable -> r # gmapQ :: (forall d. Data d => d -> u) -> DIVariable -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIVariable -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable #
Ord DIVariable Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIVariable -> DIVariable -> Ordering # (<) :: DIVariable -> DIVariable -> Bool # (<=) :: DIVariable -> DIVariable -> Bool # (>) :: DIVariable -> DIVariable -> Bool # (>=) :: DIVariable -> DIVariable -> Bool # max :: DIVariable -> DIVariable -> DIVariable # min :: DIVariable -> DIVariable -> DIVariable #
Read DIVariable Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIVariable # readList :: ReadS [DIVariable] # readPrec :: ReadPrec DIVariable # readListPrec :: ReadPrec [DIVariable] #
Show DIVariable Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIVariable -> ShowS # show :: DIVariable -> String # showList :: [DIVariable] -> ShowS #
Generic DIVariable Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIVariable :: Type -> Type # Methods from :: DIVariable -> Rep DIVariable x # to :: Rep DIVariable x -> DIVariable #
type Rep DIVariable Source #
Instance details Defined in LLVM.AST.Operand type Rep DIVariable = D1 (MetaData "DIVariable" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DIGlobalVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIGlobalVariable)) :+: C1 (MetaCons "DILocalVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DILocalVariable)))

data DILexicalBlockBase Source #

https://llvm.org/doxygen/classllvm_1_1DILexicalBlockBase.html

Constructors

DILexicalBlock	https://llvm.org/docs/LangRef.html#dilexicalblock
Fields scope :: MDRef DILocalScope file :: Maybe (MDRef DIFile) line :: Word32 column :: Word16
DILexicalBlockFile	https://llvm.org/docs/LangRef.html#dilexicalblockfile
Fields scope :: MDRef DILocalScope file :: Maybe (MDRef DIFile) discriminator :: Word32

Instances

Eq DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool # (/=) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool #
Data DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILexicalBlockBase -> c DILexicalBlockBase # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILexicalBlockBase # toConstr :: DILexicalBlockBase -> Constr # dataTypeOf :: DILexicalBlockBase -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILexicalBlockBase) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILexicalBlockBase) # gmapT :: (forall b. Data b => b -> b) -> DILexicalBlockBase -> DILexicalBlockBase # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILexicalBlockBase -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILexicalBlockBase -> r # gmapQ :: (forall d. Data d => d -> u) -> DILexicalBlockBase -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DILexicalBlockBase -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase #
Ord DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DILexicalBlockBase -> DILexicalBlockBase -> Ordering # (<) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool # (<=) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool # (>) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool # (>=) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool # max :: DILexicalBlockBase -> DILexicalBlockBase -> DILexicalBlockBase # min :: DILexicalBlockBase -> DILexicalBlockBase -> DILexicalBlockBase #
Read DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DILexicalBlockBase # readList :: ReadS [DILexicalBlockBase] # readPrec :: ReadPrec DILexicalBlockBase # readListPrec :: ReadPrec [DILexicalBlockBase] #
Show DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DILexicalBlockBase -> ShowS # show :: DILexicalBlockBase -> String # showList :: [DILexicalBlockBase] -> ShowS #
Generic DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DILexicalBlockBase :: Type -> Type # Methods from :: DILexicalBlockBase -> Rep DILexicalBlockBase x # to :: Rep DILexicalBlockBase x -> DILexicalBlockBase #
type Rep DILexicalBlockBase Source #
Instance details Defined in LLVM.AST.Operand type Rep DILexicalBlockBase = D1 (MetaData "DILexicalBlockBase" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DILexicalBlock" PrefixI True) ((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DILocalScope)) :: S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile)))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))) :+: C1 (MetaCons "DILexicalBlockFile" PrefixI True) (S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DILocalScope)) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :*: S1 (MetaSel (Just "discriminator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))

data DITemplateParameter Source #

https://llvm.org/doxygen/classllvm_1_1DITemplateParameter.html

Constructors

DITemplateTypeParameter	https://llvm.org/docs/LangRef.html#ditemplatetypeparameter
Fields name :: ShortByteString type' :: Maybe (MDRef DIType) For DITemplateTypeParameter this field is required, for DITemplateValueParameter it is optional.
DITemplateValueParameter	https://llvm.org/docs/LangRef.html#ditemplatevalueparameter
Fields name :: ShortByteString type' :: Maybe (MDRef DIType) For DITemplateTypeParameter this field is required, for DITemplateValueParameter it is optional. value :: Maybe Metadata tag :: TemplateValueParameterTag

Instances

Eq DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DITemplateParameter -> DITemplateParameter -> Bool # (/=) :: DITemplateParameter -> DITemplateParameter -> Bool #
Data DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DITemplateParameter -> c DITemplateParameter # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DITemplateParameter # toConstr :: DITemplateParameter -> Constr # dataTypeOf :: DITemplateParameter -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DITemplateParameter) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DITemplateParameter) # gmapT :: (forall b. Data b => b -> b) -> DITemplateParameter -> DITemplateParameter # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DITemplateParameter -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DITemplateParameter -> r # gmapQ :: (forall d. Data d => d -> u) -> DITemplateParameter -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DITemplateParameter -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter #
Ord DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DITemplateParameter -> DITemplateParameter -> Ordering # (<) :: DITemplateParameter -> DITemplateParameter -> Bool # (<=) :: DITemplateParameter -> DITemplateParameter -> Bool # (>) :: DITemplateParameter -> DITemplateParameter -> Bool # (>=) :: DITemplateParameter -> DITemplateParameter -> Bool # max :: DITemplateParameter -> DITemplateParameter -> DITemplateParameter # min :: DITemplateParameter -> DITemplateParameter -> DITemplateParameter #
Read DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DITemplateParameter # readList :: ReadS [DITemplateParameter] # readPrec :: ReadPrec DITemplateParameter # readListPrec :: ReadPrec [DITemplateParameter] #
Show DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DITemplateParameter -> ShowS # show :: DITemplateParameter -> String # showList :: [DITemplateParameter] -> ShowS #
Generic DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DITemplateParameter :: Type -> Type # Methods from :: DITemplateParameter -> Rep DITemplateParameter x # to :: Rep DITemplateParameter x -> DITemplateParameter #
type Rep DITemplateParameter Source #
Instance details Defined in LLVM.AST.Operand type Rep DITemplateParameter = D1 (MetaData "DITemplateParameter" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DITemplateTypeParameter" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :+: C1 (MetaCons "DITemplateValueParameter" PrefixI True) ((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :: (S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Metadata)) :: S1 (MetaSel (Just "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TemplateValueParameterTag))))

data TemplateValueParameterTag Source #

Constructors

TemplateValueParameter
GNUTemplateTemplateParam
GNUTemplateParameterPack

Instances

Eq TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool # (/=) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool #
Data TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TemplateValueParameterTag -> c TemplateValueParameterTag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TemplateValueParameterTag # toConstr :: TemplateValueParameterTag -> Constr # dataTypeOf :: TemplateValueParameterTag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TemplateValueParameterTag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TemplateValueParameterTag) # gmapT :: (forall b. Data b => b -> b) -> TemplateValueParameterTag -> TemplateValueParameterTag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TemplateValueParameterTag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TemplateValueParameterTag -> r # gmapQ :: (forall d. Data d => d -> u) -> TemplateValueParameterTag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TemplateValueParameterTag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag #
Ord TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: TemplateValueParameterTag -> TemplateValueParameterTag -> Ordering # (<) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool # (<=) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool # (>) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool # (>=) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool # max :: TemplateValueParameterTag -> TemplateValueParameterTag -> TemplateValueParameterTag # min :: TemplateValueParameterTag -> TemplateValueParameterTag -> TemplateValueParameterTag #
Read TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS TemplateValueParameterTag # readList :: ReadS [TemplateValueParameterTag] # readPrec :: ReadPrec TemplateValueParameterTag # readListPrec :: ReadPrec [TemplateValueParameterTag] #
Show TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> TemplateValueParameterTag -> ShowS # show :: TemplateValueParameterTag -> String # showList :: [TemplateValueParameterTag] -> ShowS #
Generic TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep TemplateValueParameterTag :: Type -> Type # Methods from :: TemplateValueParameterTag -> Rep TemplateValueParameterTag x # to :: Rep TemplateValueParameterTag x -> TemplateValueParameterTag #
type Rep TemplateValueParameterTag Source #
Instance details Defined in LLVM.AST.Operand type Rep TemplateValueParameterTag = D1 (MetaData "TemplateValueParameterTag" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "TemplateValueParameter" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GNUTemplateTemplateParam" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GNUTemplateParameterPack" PrefixI False) (U1 :: Type -> Type)))

data Encoding Source #

Constructors

AddressEncoding
BooleanEncoding
FloatEncoding
SignedEncoding
SignedCharEncoding
UnsignedEncoding
UnsignedCharEncoding
UTFEncoding

Instances

Eq Encoding Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: Encoding -> Encoding -> Bool # (/=) :: Encoding -> Encoding -> Bool #
Data Encoding Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Encoding -> c Encoding # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Encoding # toConstr :: Encoding -> Constr # dataTypeOf :: Encoding -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Encoding) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Encoding) # gmapT :: (forall b. Data b => b -> b) -> Encoding -> Encoding # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Encoding -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Encoding -> r # gmapQ :: (forall d. Data d => d -> u) -> Encoding -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Encoding -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding #
Ord Encoding Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: Encoding -> Encoding -> Ordering # (<) :: Encoding -> Encoding -> Bool # (<=) :: Encoding -> Encoding -> Bool # (>) :: Encoding -> Encoding -> Bool # (>=) :: Encoding -> Encoding -> Bool # max :: Encoding -> Encoding -> Encoding # min :: Encoding -> Encoding -> Encoding #
Read Encoding Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS Encoding # readList :: ReadS [Encoding] # readPrec :: ReadPrec Encoding # readListPrec :: ReadPrec [Encoding] #
Show Encoding Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> Encoding -> ShowS # show :: Encoding -> String # showList :: [Encoding] -> ShowS #
Generic Encoding Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep Encoding :: Type -> Type # Methods from :: Encoding -> Rep Encoding x # to :: Rep Encoding x -> Encoding #
type Rep Encoding Source #
Instance details Defined in LLVM.AST.Operand type Rep Encoding = D1 (MetaData "Encoding" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (((C1 (MetaCons "AddressEncoding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BooleanEncoding" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "FloatEncoding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SignedEncoding" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "SignedCharEncoding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnsignedEncoding" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "UnsignedCharEncoding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UTFEncoding" PrefixI False) (U1 :: Type -> Type))))

data DICompositeType Source #

https://llvm.org/docs/LangRef.html#dicompositetype

Constructors

DIArrayType
Fields subscripts :: [DISubrange] elementTy :: Maybe (MDRef DIType) sizeInBits :: Word64 alignInBits :: Word32 flags :: [DIFlag]
DIClassType
Fields scope :: Maybe (MDRef DIScope) name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 flags :: [DIFlag] derivedFrom :: Maybe (MDRef DIType) elements :: [MDRef (Either DIDerivedType DISubprogram)] `DIType` with tag set to one of `Member`, `Inheritance`, `Friend` or `DILocalScope` with `DISubprogram` set to `True`. vtableHolder :: Maybe (MDRef DIType) templateParams :: [DITemplateParameter] identifier :: ShortByteString sizeInBits :: Word64 alignInBits :: Word32
DIEnumerationType
Fields scope :: Maybe (MDRef DIScope) name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 values :: [DIEnumerator] baseType :: Maybe (MDRef DIType) identifier :: ShortByteString sizeInBits :: Word64 alignInBits :: Word32
DIStructureType
Fields scope :: Maybe (MDRef DIScope) name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 flags :: [DIFlag] derivedFrom :: Maybe (MDRef DIType) elements :: [MDRef (Either DIDerivedType DISubprogram)] `DIType` with tag set to one of `Member`, `Inheritance`, `Friend` or `DILocalScope` with `DISubprogram` set to `True`. runtimeLang :: Word16 vtableHolder :: Maybe (MDRef DIType) identifier :: ShortByteString sizeInBits :: Word64 alignInBits :: Word32
DIUnionType
Fields scope :: Maybe (MDRef DIScope) name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 flags :: [DIFlag] elements :: [MDRef (Either DIDerivedType DISubprogram)] `DIType` with tag set to one of `Member`, `Inheritance`, `Friend` or `DILocalScope` with `DISubprogram` set to `True`. runtimeLang :: Word16 identifier :: ShortByteString sizeInBits :: Word64 alignInBits :: Word32

Instances

Eq DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DICompositeType -> DICompositeType -> Bool # (/=) :: DICompositeType -> DICompositeType -> Bool #
Data DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICompositeType -> c DICompositeType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICompositeType # toConstr :: DICompositeType -> Constr # dataTypeOf :: DICompositeType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICompositeType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICompositeType) # gmapT :: (forall b. Data b => b -> b) -> DICompositeType -> DICompositeType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICompositeType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICompositeType -> r # gmapQ :: (forall d. Data d => d -> u) -> DICompositeType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DICompositeType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType #
Ord DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DICompositeType -> DICompositeType -> Ordering # (<) :: DICompositeType -> DICompositeType -> Bool # (<=) :: DICompositeType -> DICompositeType -> Bool # (>) :: DICompositeType -> DICompositeType -> Bool # (>=) :: DICompositeType -> DICompositeType -> Bool # max :: DICompositeType -> DICompositeType -> DICompositeType # min :: DICompositeType -> DICompositeType -> DICompositeType #
Read DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DICompositeType # readList :: ReadS [DICompositeType] # readPrec :: ReadPrec DICompositeType # readListPrec :: ReadPrec [DICompositeType] #
Show DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DICompositeType -> ShowS # show :: DICompositeType -> String # showList :: [DICompositeType] -> ShowS #
Generic DICompositeType Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DICompositeType :: Type -> Type # Methods from :: DICompositeType -> Rep DICompositeType x # to :: Rep DICompositeType x -> DICompositeType #
type Rep DICompositeType Source #
Instance details Defined in LLVM.AST.Operand type Rep DICompositeType = D1 (MetaData "DICompositeType" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((C1 (MetaCons "DIArrayType" PrefixI True) ((S1 (MetaSel (Just "subscripts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DISubrange]) :: S1 (MetaSel (Just "elementTy") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: (S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag])))) :+: C1 (MetaCons "DIClassType" PrefixI True) (((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: (S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag]) :: S1 (MetaSel (Just "derivedFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))) :: ((S1 (MetaSel (Just "elements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :: (S1 (MetaSel (Just "vtableHolder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType))) :: S1 (MetaSel (Just "templateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DITemplateParameter]))) :: (S1 (MetaSel (Just "identifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))) :+: (C1 (MetaCons "DIEnumerationType" PrefixI True) (((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: ((S1 (MetaSel (Just "values") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIEnumerator]) :: S1 (MetaSel (Just "baseType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :: (S1 (MetaSel (Just "identifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))) :+: (C1 (MetaCons "DIStructureType" PrefixI True) (((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: (S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag]) :: S1 (MetaSel (Just "derivedFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))) :: ((S1 (MetaSel (Just "elements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :: (S1 (MetaSel (Just "runtimeLang") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16) :: S1 (MetaSel (Just "vtableHolder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType))))) :: (S1 (MetaSel (Just "identifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))) :+: C1 (MetaCons "DIUnionType" PrefixI True) (((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag])))) :: ((S1 (MetaSel (Just "elements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :: S1 (MetaSel (Just "runtimeLang") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) :: (S1 (MetaSel (Just "identifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :*: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))))))

data DIDerivedType Source #

https://llvm.org/docs/LangRef.html#diderivedtype

Constructors

DerivedType
Fields tag :: DerivedTypeTag name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 scope :: Maybe (MDRef DIScope) baseType :: Maybe (MDRef DIType) This can be `Nothing` to represent `void *` sizeInBits :: Word64 alignInBits :: Word32 offsetInBits :: Word64 addressSpace :: Maybe Word32 flags :: [DIFlag]

Instances

Eq DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIDerivedType -> DIDerivedType -> Bool # (/=) :: DIDerivedType -> DIDerivedType -> Bool #
Data DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIDerivedType -> c DIDerivedType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIDerivedType # toConstr :: DIDerivedType -> Constr # dataTypeOf :: DIDerivedType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIDerivedType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIDerivedType) # gmapT :: (forall b. Data b => b -> b) -> DIDerivedType -> DIDerivedType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIDerivedType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIDerivedType -> r # gmapQ :: (forall d. Data d => d -> u) -> DIDerivedType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIDerivedType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType #
Ord DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIDerivedType -> DIDerivedType -> Ordering # (<) :: DIDerivedType -> DIDerivedType -> Bool # (<=) :: DIDerivedType -> DIDerivedType -> Bool # (>) :: DIDerivedType -> DIDerivedType -> Bool # (>=) :: DIDerivedType -> DIDerivedType -> Bool # max :: DIDerivedType -> DIDerivedType -> DIDerivedType # min :: DIDerivedType -> DIDerivedType -> DIDerivedType #
Read DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIDerivedType # readList :: ReadS [DIDerivedType] # readPrec :: ReadPrec DIDerivedType # readListPrec :: ReadPrec [DIDerivedType] #
Show DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIDerivedType -> ShowS # show :: DIDerivedType -> String # showList :: [DIDerivedType] -> ShowS #
Generic DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIDerivedType :: Type -> Type # Methods from :: DIDerivedType -> Rep DIDerivedType x # to :: Rep DIDerivedType x -> DIDerivedType #
type Rep DIDerivedType Source #
Instance details Defined in LLVM.AST.Operand type Rep DIDerivedType = D1 (MetaData "DIDerivedType" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DerivedType" PrefixI True) (((S1 (MetaSel (Just "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DerivedTypeTag) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope)))))) :: ((S1 (MetaSel (Just "baseType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType))) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: (S1 (MetaSel (Just "offsetInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: (S1 (MetaSel (Just "addressSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Word32)) :: S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag]))))))

data DerivedTypeTag Source #

Constructors

Typedef
PointerType
PtrToMemberType
ReferenceType
RValueReferenceType
ConstType
VolatileType
RestrictType
AtomicType
Member
Inheritance
Friend

Instances

Eq DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DerivedTypeTag -> DerivedTypeTag -> Bool # (/=) :: DerivedTypeTag -> DerivedTypeTag -> Bool #
Data DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivedTypeTag -> c DerivedTypeTag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivedTypeTag # toConstr :: DerivedTypeTag -> Constr # dataTypeOf :: DerivedTypeTag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivedTypeTag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivedTypeTag) # gmapT :: (forall b. Data b => b -> b) -> DerivedTypeTag -> DerivedTypeTag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivedTypeTag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivedTypeTag -> r # gmapQ :: (forall d. Data d => d -> u) -> DerivedTypeTag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivedTypeTag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag #
Ord DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DerivedTypeTag -> DerivedTypeTag -> Ordering # (<) :: DerivedTypeTag -> DerivedTypeTag -> Bool # (<=) :: DerivedTypeTag -> DerivedTypeTag -> Bool # (>) :: DerivedTypeTag -> DerivedTypeTag -> Bool # (>=) :: DerivedTypeTag -> DerivedTypeTag -> Bool # max :: DerivedTypeTag -> DerivedTypeTag -> DerivedTypeTag # min :: DerivedTypeTag -> DerivedTypeTag -> DerivedTypeTag #
Read DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DerivedTypeTag # readList :: ReadS [DerivedTypeTag] # readPrec :: ReadPrec DerivedTypeTag # readListPrec :: ReadPrec [DerivedTypeTag] #
Show DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DerivedTypeTag -> ShowS # show :: DerivedTypeTag -> String # showList :: [DerivedTypeTag] -> ShowS #
Generic DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DerivedTypeTag :: Type -> Type # Methods from :: DerivedTypeTag -> Rep DerivedTypeTag x # to :: Rep DerivedTypeTag x -> DerivedTypeTag #
type Rep DerivedTypeTag Source #
Instance details Defined in LLVM.AST.Operand type Rep DerivedTypeTag = D1 (MetaData "DerivedTypeTag" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (((C1 (MetaCons "Typedef" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "PointerType" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PtrToMemberType" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "ReferenceType" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "RValueReferenceType" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ConstType" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "VolatileType" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "RestrictType" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AtomicType" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Member" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Inheritance" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Friend" PrefixI False) (U1 :: Type -> Type)))))

data DISubroutineType Source #

https://llvm.org/docs/LangRef.html#disubroutinetype

Constructors

SubroutineType
Fields flags :: [DIFlag] cc :: Word8 typeArray :: [Maybe (MDRef DIType)] The first element is the return type, the following are the operand types. `Nothing` corresponds to `void`.

Instances

Eq DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DISubroutineType -> DISubroutineType -> Bool # (/=) :: DISubroutineType -> DISubroutineType -> Bool #
Data DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubroutineType -> c DISubroutineType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubroutineType # toConstr :: DISubroutineType -> Constr # dataTypeOf :: DISubroutineType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubroutineType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubroutineType) # gmapT :: (forall b. Data b => b -> b) -> DISubroutineType -> DISubroutineType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubroutineType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubroutineType -> r # gmapQ :: (forall d. Data d => d -> u) -> DISubroutineType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubroutineType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType #
Ord DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DISubroutineType -> DISubroutineType -> Ordering # (<) :: DISubroutineType -> DISubroutineType -> Bool # (<=) :: DISubroutineType -> DISubroutineType -> Bool # (>) :: DISubroutineType -> DISubroutineType -> Bool # (>=) :: DISubroutineType -> DISubroutineType -> Bool # max :: DISubroutineType -> DISubroutineType -> DISubroutineType # min :: DISubroutineType -> DISubroutineType -> DISubroutineType #
Read DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DISubroutineType # readList :: ReadS [DISubroutineType] # readPrec :: ReadPrec DISubroutineType # readListPrec :: ReadPrec [DISubroutineType] #
Show DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DISubroutineType -> ShowS # show :: DISubroutineType -> String # showList :: [DISubroutineType] -> ShowS #
Generic DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DISubroutineType :: Type -> Type # Methods from :: DISubroutineType -> Rep DISubroutineType x # to :: Rep DISubroutineType x -> DISubroutineType #
type Rep DISubroutineType Source #
Instance details Defined in LLVM.AST.Operand type Rep DISubroutineType = D1 (MetaData "DISubroutineType" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "SubroutineType" PrefixI True) (S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag]) :: (S1 (MetaSel (Just "cc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8) :: S1 (MetaSel (Just "typeArray") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe (MDRef DIType)]))))

data DIBasicType Source #

https://llvm.org/docs/LangRef.html#dibasictype

Constructors

BasicType
Fields name :: ShortByteString sizeInBits :: Word64 alignInBits :: Word32 encoding :: Maybe Encoding tag :: BasicTypeTag flags :: [DIFlag]

Instances

Eq DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIBasicType -> DIBasicType -> Bool # (/=) :: DIBasicType -> DIBasicType -> Bool #
Data DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIBasicType -> c DIBasicType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIBasicType # toConstr :: DIBasicType -> Constr # dataTypeOf :: DIBasicType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIBasicType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIBasicType) # gmapT :: (forall b. Data b => b -> b) -> DIBasicType -> DIBasicType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIBasicType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIBasicType -> r # gmapQ :: (forall d. Data d => d -> u) -> DIBasicType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIBasicType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType #
Ord DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIBasicType -> DIBasicType -> Ordering # (<) :: DIBasicType -> DIBasicType -> Bool # (<=) :: DIBasicType -> DIBasicType -> Bool # (>) :: DIBasicType -> DIBasicType -> Bool # (>=) :: DIBasicType -> DIBasicType -> Bool # max :: DIBasicType -> DIBasicType -> DIBasicType # min :: DIBasicType -> DIBasicType -> DIBasicType #
Read DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIBasicType # readList :: ReadS [DIBasicType] # readPrec :: ReadPrec DIBasicType # readListPrec :: ReadPrec [DIBasicType] #
Show DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIBasicType -> ShowS # show :: DIBasicType -> String # showList :: [DIBasicType] -> ShowS #
Generic DIBasicType Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIBasicType :: Type -> Type # Methods from :: DIBasicType -> Rep DIBasicType x # to :: Rep DIBasicType x -> DIBasicType #
type Rep DIBasicType Source #
Instance details Defined in LLVM.AST.Operand type Rep DIBasicType = D1 (MetaData "DIBasicType" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "BasicType" PrefixI True) ((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "sizeInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "alignInBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: (S1 (MetaSel (Just "encoding") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Encoding)) :: (S1 (MetaSel (Just "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BasicTypeTag) :*: S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag])))))

data DIType Source #

Constructors

DIBasicType DIBasicType
DICompositeType DICompositeType
DIDerivedType DIDerivedType
DISubroutineType DISubroutineType

Instances

Eq DIType Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIType -> DIType -> Bool # (/=) :: DIType -> DIType -> Bool #
Data DIType Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIType -> c DIType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIType # toConstr :: DIType -> Constr # dataTypeOf :: DIType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIType) # gmapT :: (forall b. Data b => b -> b) -> DIType -> DIType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIType -> r # gmapQ :: (forall d. Data d => d -> u) -> DIType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIType -> m DIType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIType -> m DIType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIType -> m DIType #
Ord DIType Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIType -> DIType -> Ordering # (<) :: DIType -> DIType -> Bool # (<=) :: DIType -> DIType -> Bool # (>) :: DIType -> DIType -> Bool # (>=) :: DIType -> DIType -> Bool # max :: DIType -> DIType -> DIType # min :: DIType -> DIType -> DIType #
Read DIType Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIType # readList :: ReadS [DIType] # readPrec :: ReadPrec DIType # readListPrec :: ReadPrec [DIType] #
Show DIType Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIType -> ShowS # show :: DIType -> String # showList :: [DIType] -> ShowS #
Generic DIType Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIType :: Type -> Type # Methods from :: DIType -> Rep DIType x # to :: Rep DIType x -> DIType #
type Rep DIType Source #
Instance details Defined in LLVM.AST.Operand type Rep DIType = D1 (MetaData "DIType" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((C1 (MetaCons "DIBasicType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIBasicType)) :+: C1 (MetaCons "DICompositeType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DICompositeType))) :+: (C1 (MetaCons "DIDerivedType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIDerivedType)) :+: C1 (MetaCons "DISubroutineType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DISubroutineType))))

data BasicTypeTag Source #

Constructors

BaseType
UnspecifiedType

Instances

Eq BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: BasicTypeTag -> BasicTypeTag -> Bool # (/=) :: BasicTypeTag -> BasicTypeTag -> Bool #
Data BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BasicTypeTag -> c BasicTypeTag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BasicTypeTag # toConstr :: BasicTypeTag -> Constr # dataTypeOf :: BasicTypeTag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BasicTypeTag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BasicTypeTag) # gmapT :: (forall b. Data b => b -> b) -> BasicTypeTag -> BasicTypeTag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BasicTypeTag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BasicTypeTag -> r # gmapQ :: (forall d. Data d => d -> u) -> BasicTypeTag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BasicTypeTag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag #
Ord BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: BasicTypeTag -> BasicTypeTag -> Ordering # (<) :: BasicTypeTag -> BasicTypeTag -> Bool # (<=) :: BasicTypeTag -> BasicTypeTag -> Bool # (>) :: BasicTypeTag -> BasicTypeTag -> Bool # (>=) :: BasicTypeTag -> BasicTypeTag -> Bool # max :: BasicTypeTag -> BasicTypeTag -> BasicTypeTag # min :: BasicTypeTag -> BasicTypeTag -> BasicTypeTag #
Read BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS BasicTypeTag # readList :: ReadS [BasicTypeTag] # readPrec :: ReadPrec BasicTypeTag # readListPrec :: ReadPrec [BasicTypeTag] #
Show BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> BasicTypeTag -> ShowS # show :: BasicTypeTag -> String # showList :: [BasicTypeTag] -> ShowS #
Generic BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep BasicTypeTag :: Type -> Type # Methods from :: BasicTypeTag -> Rep BasicTypeTag x # to :: Rep BasicTypeTag x -> BasicTypeTag #
type Rep BasicTypeTag Source #
Instance details Defined in LLVM.AST.Operand type Rep BasicTypeTag = D1 (MetaData "BasicTypeTag" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "BaseType" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UnspecifiedType" PrefixI False) (U1 :: Type -> Type))

data Virtuality Source #

Constructors

NoVirtuality
Virtual
PureVirtual

Instances

Eq Virtuality Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: Virtuality -> Virtuality -> Bool # (/=) :: Virtuality -> Virtuality -> Bool #
Data Virtuality Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Virtuality -> c Virtuality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Virtuality # toConstr :: Virtuality -> Constr # dataTypeOf :: Virtuality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Virtuality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Virtuality) # gmapT :: (forall b. Data b => b -> b) -> Virtuality -> Virtuality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Virtuality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Virtuality -> r # gmapQ :: (forall d. Data d => d -> u) -> Virtuality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Virtuality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality #
Ord Virtuality Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: Virtuality -> Virtuality -> Ordering # (<) :: Virtuality -> Virtuality -> Bool # (<=) :: Virtuality -> Virtuality -> Bool # (>) :: Virtuality -> Virtuality -> Bool # (>=) :: Virtuality -> Virtuality -> Bool # max :: Virtuality -> Virtuality -> Virtuality # min :: Virtuality -> Virtuality -> Virtuality #
Read Virtuality Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS Virtuality # readList :: ReadS [Virtuality] # readPrec :: ReadPrec Virtuality # readListPrec :: ReadPrec [Virtuality] #
Show Virtuality Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> Virtuality -> ShowS # show :: Virtuality -> String # showList :: [Virtuality] -> ShowS #
Generic Virtuality Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep Virtuality :: Type -> Type # Methods from :: Virtuality -> Rep Virtuality x # to :: Rep Virtuality x -> Virtuality #
type Rep Virtuality Source #
Instance details Defined in LLVM.AST.Operand type Rep Virtuality = D1 (MetaData "Virtuality" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "NoVirtuality" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Virtual" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PureVirtual" PrefixI False) (U1 :: Type -> Type)))

data DISubprogram Source #

https://llvm.org/docs/LangRef.html#disubprogram

Constructors

Subprogram

Fields

scope :: Maybe (MDRef DIScope)
name :: ShortByteString
linkageName :: ShortByteString
file :: Maybe (MDRef DIFile)
line :: Word32
type' :: Maybe (MDRef DISubroutineType)
localToUnit :: Bool
definition :: Bool
scopeLine :: Word32
containingType :: Maybe (MDRef DIType)
virtuality :: Virtuality
virtualityIndex :: Word32
thisAdjustment :: Int32
flags :: [DIFlag]
optimized :: Bool
unit :: Maybe (MDRef DICompileUnit)
templateParams :: [MDRef DITemplateParameter]
declaration :: Maybe (MDRef DISubprogram)
retainedNodes :: [MDRef DILocalVariable]
thrownTypes :: [MDRef DIType]

Instances

Eq DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DISubprogram -> DISubprogram -> Bool # (/=) :: DISubprogram -> DISubprogram -> Bool #
Data DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubprogram -> c DISubprogram # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubprogram # toConstr :: DISubprogram -> Constr # dataTypeOf :: DISubprogram -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubprogram) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubprogram) # gmapT :: (forall b. Data b => b -> b) -> DISubprogram -> DISubprogram # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubprogram -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubprogram -> r # gmapQ :: (forall d. Data d => d -> u) -> DISubprogram -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubprogram -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram #
Ord DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DISubprogram -> DISubprogram -> Ordering # (<) :: DISubprogram -> DISubprogram -> Bool # (<=) :: DISubprogram -> DISubprogram -> Bool # (>) :: DISubprogram -> DISubprogram -> Bool # (>=) :: DISubprogram -> DISubprogram -> Bool # max :: DISubprogram -> DISubprogram -> DISubprogram # min :: DISubprogram -> DISubprogram -> DISubprogram #
Read DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DISubprogram # readList :: ReadS [DISubprogram] # readPrec :: ReadPrec DISubprogram # readListPrec :: ReadPrec [DISubprogram] #
Show DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DISubprogram -> ShowS # show :: DISubprogram -> String # showList :: [DISubprogram] -> ShowS #
Generic DISubprogram Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DISubprogram :: Type -> Type # Methods from :: DISubprogram -> Rep DISubprogram x # to :: Rep DISubprogram x -> DISubprogram #
type Rep DISubprogram Source #
Instance details Defined in LLVM.AST.Operand type Rep DISubprogram = D1 (MetaData "DISubprogram" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Subprogram" PrefixI True) ((((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "linkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))) :: ((S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DISubroutineType))) :: S1 (MetaSel (Just "localToUnit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "definition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "scopeLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "containingType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType))))))) :: (((S1 (MetaSel (Just "virtuality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Virtuality) :: S1 (MetaSel (Just "virtualityIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) :: (S1 (MetaSel (Just "thisAdjustment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32) :: (S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DIFlag]) :: S1 (MetaSel (Just "optimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :: ((S1 (MetaSel (Just "unit") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DICompileUnit))) :: S1 (MetaSel (Just "templateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DITemplateParameter])) :: (S1 (MetaSel (Just "declaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DISubprogram))) :: (S1 (MetaSel (Just "retainedNodes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DILocalVariable]) :*: S1 (MetaSel (Just "thrownTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DIType])))))))

data DILocalScope Source #

https://llvm.org/doxygen/classllvm_1_1DILocalScope.html

Constructors

DILexicalBlockBase DILexicalBlockBase
DISubprogram DISubprogram

Instances

Eq DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DILocalScope -> DILocalScope -> Bool # (/=) :: DILocalScope -> DILocalScope -> Bool #
Data DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocalScope -> c DILocalScope # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocalScope # toConstr :: DILocalScope -> Constr # dataTypeOf :: DILocalScope -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocalScope) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocalScope) # gmapT :: (forall b. Data b => b -> b) -> DILocalScope -> DILocalScope # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocalScope -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocalScope -> r # gmapQ :: (forall d. Data d => d -> u) -> DILocalScope -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocalScope -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope #
Ord DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DILocalScope -> DILocalScope -> Ordering # (<) :: DILocalScope -> DILocalScope -> Bool # (<=) :: DILocalScope -> DILocalScope -> Bool # (>) :: DILocalScope -> DILocalScope -> Bool # (>=) :: DILocalScope -> DILocalScope -> Bool # max :: DILocalScope -> DILocalScope -> DILocalScope # min :: DILocalScope -> DILocalScope -> DILocalScope #
Read DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DILocalScope # readList :: ReadS [DILocalScope] # readPrec :: ReadPrec DILocalScope # readListPrec :: ReadPrec [DILocalScope] #
Show DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DILocalScope -> ShowS # show :: DILocalScope -> String # showList :: [DILocalScope] -> ShowS #
Generic DILocalScope Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DILocalScope :: Type -> Type # Methods from :: DILocalScope -> Rep DILocalScope x # to :: Rep DILocalScope x -> DILocalScope #
type Rep DILocalScope Source #
Instance details Defined in LLVM.AST.Operand type Rep DILocalScope = D1 (MetaData "DILocalScope" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DILexicalBlockBase" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DILexicalBlockBase)) :+: C1 (MetaCons "DISubprogram" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DISubprogram)))

data ChecksumKind Source #

Constructors

MD5
SHA1

Instances

Eq ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: ChecksumKind -> ChecksumKind -> Bool # (/=) :: ChecksumKind -> ChecksumKind -> Bool #
Data ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ChecksumKind -> c ChecksumKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChecksumKind # toConstr :: ChecksumKind -> Constr # dataTypeOf :: ChecksumKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChecksumKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChecksumKind) # gmapT :: (forall b. Data b => b -> b) -> ChecksumKind -> ChecksumKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumKind -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumKind -> r # gmapQ :: (forall d. Data d => d -> u) -> ChecksumKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ChecksumKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind #
Ord ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: ChecksumKind -> ChecksumKind -> Ordering # (<) :: ChecksumKind -> ChecksumKind -> Bool # (<=) :: ChecksumKind -> ChecksumKind -> Bool # (>) :: ChecksumKind -> ChecksumKind -> Bool # (>=) :: ChecksumKind -> ChecksumKind -> Bool # max :: ChecksumKind -> ChecksumKind -> ChecksumKind # min :: ChecksumKind -> ChecksumKind -> ChecksumKind #
Read ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS ChecksumKind # readList :: ReadS [ChecksumKind] # readPrec :: ReadPrec ChecksumKind # readListPrec :: ReadPrec [ChecksumKind] #
Show ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> ChecksumKind -> ShowS # show :: ChecksumKind -> String # showList :: [ChecksumKind] -> ShowS #
Generic ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep ChecksumKind :: Type -> Type # Methods from :: ChecksumKind -> Rep ChecksumKind x # to :: Rep ChecksumKind x -> ChecksumKind #
type Rep ChecksumKind Source #
Instance details Defined in LLVM.AST.Operand type Rep ChecksumKind = D1 (MetaData "ChecksumKind" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "MD5" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SHA1" PrefixI False) (U1 :: Type -> Type))

data ChecksumInfo Source #

Constructors

ChecksumInfo
Fields checksumKind :: ChecksumKind checksumValue :: ShortByteString

Instances

Eq ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: ChecksumInfo -> ChecksumInfo -> Bool # (/=) :: ChecksumInfo -> ChecksumInfo -> Bool #
Data ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ChecksumInfo -> c ChecksumInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChecksumInfo # toConstr :: ChecksumInfo -> Constr # dataTypeOf :: ChecksumInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChecksumInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChecksumInfo) # gmapT :: (forall b. Data b => b -> b) -> ChecksumInfo -> ChecksumInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> ChecksumInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ChecksumInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo #
Ord ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: ChecksumInfo -> ChecksumInfo -> Ordering # (<) :: ChecksumInfo -> ChecksumInfo -> Bool # (<=) :: ChecksumInfo -> ChecksumInfo -> Bool # (>) :: ChecksumInfo -> ChecksumInfo -> Bool # (>=) :: ChecksumInfo -> ChecksumInfo -> Bool # max :: ChecksumInfo -> ChecksumInfo -> ChecksumInfo # min :: ChecksumInfo -> ChecksumInfo -> ChecksumInfo #
Read ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS ChecksumInfo # readList :: ReadS [ChecksumInfo] # readPrec :: ReadPrec ChecksumInfo # readListPrec :: ReadPrec [ChecksumInfo] #
Show ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> ChecksumInfo -> ShowS # show :: ChecksumInfo -> String # showList :: [ChecksumInfo] -> ShowS #
Generic ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep ChecksumInfo :: Type -> Type # Methods from :: ChecksumInfo -> Rep ChecksumInfo x # to :: Rep ChecksumInfo x -> ChecksumInfo #
type Rep ChecksumInfo Source #
Instance details Defined in LLVM.AST.Operand type Rep ChecksumInfo = D1 (MetaData "ChecksumInfo" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "ChecksumInfo" PrefixI True) (S1 (MetaSel (Just "checksumKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChecksumKind) :*: S1 (MetaSel (Just "checksumValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)))

data DIFile Source #

https://llvm.org/docs/LangRef.html#difile

Constructors

File
Fields filename :: ShortByteString directory :: ShortByteString checksum :: Maybe ChecksumInfo

Instances

Eq DIFile Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIFile -> DIFile -> Bool # (/=) :: DIFile -> DIFile -> Bool #
Data DIFile Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIFile -> c DIFile # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIFile # toConstr :: DIFile -> Constr # dataTypeOf :: DIFile -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIFile) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIFile) # gmapT :: (forall b. Data b => b -> b) -> DIFile -> DIFile # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIFile -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIFile -> r # gmapQ :: (forall d. Data d => d -> u) -> DIFile -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIFile -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile #
Ord DIFile Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIFile -> DIFile -> Ordering # (<) :: DIFile -> DIFile -> Bool # (<=) :: DIFile -> DIFile -> Bool # (>) :: DIFile -> DIFile -> Bool # (>=) :: DIFile -> DIFile -> Bool # max :: DIFile -> DIFile -> DIFile # min :: DIFile -> DIFile -> DIFile #
Read DIFile Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIFile # readList :: ReadS [DIFile] # readPrec :: ReadPrec DIFile # readListPrec :: ReadPrec [DIFile] #
Show DIFile Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIFile -> ShowS # show :: DIFile -> String # showList :: [DIFile] -> ShowS #
Generic DIFile Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIFile :: Type -> Type # Methods from :: DIFile -> Rep DIFile x # to :: Rep DIFile x -> DIFile #
type Rep DIFile Source #
Instance details Defined in LLVM.AST.Operand type Rep DIFile = D1 (MetaData "DIFile" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "File" PrefixI True) (S1 (MetaSel (Just "filename") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "directory") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "checksum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChecksumInfo)))))

data DICompileUnit Source #

https://llvm.org/docs/LangRef.html#dicompileunit

Constructors

CompileUnit

Fields

language :: Word32
file :: MDRef DIFile
producer :: ShortByteString
optimized :: Bool
flags :: ShortByteString
runtimeVersion :: Word32
splitDebugFileName :: ShortByteString
emissionKind :: DebugEmissionKind
enums :: [MDRef DICompositeType]
Only enum types are allowed here
retainedTypes :: [MDRef (Either DIType DISubprogram)]
globals :: [MDRef DIGlobalVariableExpression]
imports :: [MDRef DIImportedEntity]
macros :: [MDRef DIMacroNode]
dWOId :: Word64
splitDebugInlining :: Bool
debugInfoForProfiling :: Bool
nameTableKind :: DebugNameTableKind
debugBaseAddress :: Bool

Instances

Eq DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DICompileUnit -> DICompileUnit -> Bool # (/=) :: DICompileUnit -> DICompileUnit -> Bool #
Data DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICompileUnit -> c DICompileUnit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICompileUnit # toConstr :: DICompileUnit -> Constr # dataTypeOf :: DICompileUnit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICompileUnit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICompileUnit) # gmapT :: (forall b. Data b => b -> b) -> DICompileUnit -> DICompileUnit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICompileUnit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICompileUnit -> r # gmapQ :: (forall d. Data d => d -> u) -> DICompileUnit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DICompileUnit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit #
Ord DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DICompileUnit -> DICompileUnit -> Ordering # (<) :: DICompileUnit -> DICompileUnit -> Bool # (<=) :: DICompileUnit -> DICompileUnit -> Bool # (>) :: DICompileUnit -> DICompileUnit -> Bool # (>=) :: DICompileUnit -> DICompileUnit -> Bool # max :: DICompileUnit -> DICompileUnit -> DICompileUnit # min :: DICompileUnit -> DICompileUnit -> DICompileUnit #
Read DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DICompileUnit # readList :: ReadS [DICompileUnit] # readPrec :: ReadPrec DICompileUnit # readListPrec :: ReadPrec [DICompileUnit] #
Show DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DICompileUnit -> ShowS # show :: DICompileUnit -> String # showList :: [DICompileUnit] -> ShowS #
Generic DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DICompileUnit :: Type -> Type # Methods from :: DICompileUnit -> Rep DICompileUnit x # to :: Rep DICompileUnit x -> DICompileUnit #
type Rep DICompileUnit Source #
Instance details Defined in LLVM.AST.Operand type Rep DICompileUnit = D1 (MetaData "DICompileUnit" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "CompileUnit" PrefixI True) ((((S1 (MetaSel (Just "language") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIFile))) :: (S1 (MetaSel (Just "producer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "optimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :: ((S1 (MetaSel (Just "flags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "runtimeVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) :: (S1 (MetaSel (Just "splitDebugFileName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "emissionKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DebugEmissionKind) :: S1 (MetaSel (Just "enums") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DICompositeType]))))) :: (((S1 (MetaSel (Just "retainedTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef (Either DIType DISubprogram)]) :: S1 (MetaSel (Just "globals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DIGlobalVariableExpression])) :: (S1 (MetaSel (Just "imports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DIImportedEntity]) :: S1 (MetaSel (Just "macros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DIMacroNode]))) :: ((S1 (MetaSel (Just "dWOId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "splitDebugInlining") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "debugInfoForProfiling") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "nameTableKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DebugNameTableKind) :*: S1 (MetaSel (Just "debugBaseAddress") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))

data DebugNameTableKind Source #

Constructors

NameTableKindDefault
NameTableKindGNU
NameTableKindNone

Instances

Eq DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DebugNameTableKind -> DebugNameTableKind -> Bool # (/=) :: DebugNameTableKind -> DebugNameTableKind -> Bool #
Data DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DebugNameTableKind -> c DebugNameTableKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DebugNameTableKind # toConstr :: DebugNameTableKind -> Constr # dataTypeOf :: DebugNameTableKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DebugNameTableKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DebugNameTableKind) # gmapT :: (forall b. Data b => b -> b) -> DebugNameTableKind -> DebugNameTableKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DebugNameTableKind -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DebugNameTableKind -> r # gmapQ :: (forall d. Data d => d -> u) -> DebugNameTableKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DebugNameTableKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind #
Ord DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DebugNameTableKind -> DebugNameTableKind -> Ordering # (<) :: DebugNameTableKind -> DebugNameTableKind -> Bool # (<=) :: DebugNameTableKind -> DebugNameTableKind -> Bool # (>) :: DebugNameTableKind -> DebugNameTableKind -> Bool # (>=) :: DebugNameTableKind -> DebugNameTableKind -> Bool # max :: DebugNameTableKind -> DebugNameTableKind -> DebugNameTableKind # min :: DebugNameTableKind -> DebugNameTableKind -> DebugNameTableKind #
Read DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DebugNameTableKind # readList :: ReadS [DebugNameTableKind] # readPrec :: ReadPrec DebugNameTableKind # readListPrec :: ReadPrec [DebugNameTableKind] #
Show DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DebugNameTableKind -> ShowS # show :: DebugNameTableKind -> String # showList :: [DebugNameTableKind] -> ShowS #
Generic DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DebugNameTableKind :: Type -> Type # Methods from :: DebugNameTableKind -> Rep DebugNameTableKind x # to :: Rep DebugNameTableKind x -> DebugNameTableKind #
type Rep DebugNameTableKind Source #
Instance details Defined in LLVM.AST.Operand type Rep DebugNameTableKind = D1 (MetaData "DebugNameTableKind" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "NameTableKindDefault" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NameTableKindGNU" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NameTableKindNone" PrefixI False) (U1 :: Type -> Type)))

data DebugEmissionKind Source #

Constructors

NoDebug
FullDebug
LineTablesOnly

Instances

Eq DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DebugEmissionKind -> DebugEmissionKind -> Bool # (/=) :: DebugEmissionKind -> DebugEmissionKind -> Bool #
Data DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DebugEmissionKind -> c DebugEmissionKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DebugEmissionKind # toConstr :: DebugEmissionKind -> Constr # dataTypeOf :: DebugEmissionKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DebugEmissionKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DebugEmissionKind) # gmapT :: (forall b. Data b => b -> b) -> DebugEmissionKind -> DebugEmissionKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DebugEmissionKind -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DebugEmissionKind -> r # gmapQ :: (forall d. Data d => d -> u) -> DebugEmissionKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DebugEmissionKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind #
Ord DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DebugEmissionKind -> DebugEmissionKind -> Ordering # (<) :: DebugEmissionKind -> DebugEmissionKind -> Bool # (<=) :: DebugEmissionKind -> DebugEmissionKind -> Bool # (>) :: DebugEmissionKind -> DebugEmissionKind -> Bool # (>=) :: DebugEmissionKind -> DebugEmissionKind -> Bool # max :: DebugEmissionKind -> DebugEmissionKind -> DebugEmissionKind # min :: DebugEmissionKind -> DebugEmissionKind -> DebugEmissionKind #
Read DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DebugEmissionKind # readList :: ReadS [DebugEmissionKind] # readPrec :: ReadPrec DebugEmissionKind # readListPrec :: ReadPrec [DebugEmissionKind] #
Show DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DebugEmissionKind -> ShowS # show :: DebugEmissionKind -> String # showList :: [DebugEmissionKind] -> ShowS #
Generic DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DebugEmissionKind :: Type -> Type # Methods from :: DebugEmissionKind -> Rep DebugEmissionKind x # to :: Rep DebugEmissionKind x -> DebugEmissionKind #
type Rep DebugEmissionKind Source #
Instance details Defined in LLVM.AST.Operand type Rep DebugEmissionKind = D1 (MetaData "DebugEmissionKind" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "NoDebug" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "FullDebug" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LineTablesOnly" PrefixI False) (U1 :: Type -> Type)))

data DINamespace Source #

Constructors

Namespace
Fields name :: ShortByteString scope :: Maybe (MDRef DIScope) exportSymbols :: Bool

Instances

Eq DINamespace Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DINamespace -> DINamespace -> Bool # (/=) :: DINamespace -> DINamespace -> Bool #
Data DINamespace Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DINamespace -> c DINamespace # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DINamespace # toConstr :: DINamespace -> Constr # dataTypeOf :: DINamespace -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DINamespace) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DINamespace) # gmapT :: (forall b. Data b => b -> b) -> DINamespace -> DINamespace # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DINamespace -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DINamespace -> r # gmapQ :: (forall d. Data d => d -> u) -> DINamespace -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DINamespace -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace #
Ord DINamespace Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DINamespace -> DINamespace -> Ordering # (<) :: DINamespace -> DINamespace -> Bool # (<=) :: DINamespace -> DINamespace -> Bool # (>) :: DINamespace -> DINamespace -> Bool # (>=) :: DINamespace -> DINamespace -> Bool # max :: DINamespace -> DINamespace -> DINamespace # min :: DINamespace -> DINamespace -> DINamespace #
Read DINamespace Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DINamespace # readList :: ReadS [DINamespace] # readPrec :: ReadPrec DINamespace # readListPrec :: ReadPrec [DINamespace] #
Show DINamespace Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DINamespace -> ShowS # show :: DINamespace -> String # showList :: [DINamespace] -> ShowS #
Generic DINamespace Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DINamespace :: Type -> Type # Methods from :: DINamespace -> Rep DINamespace x # to :: Rep DINamespace x -> DINamespace #
type Rep DINamespace Source #
Instance details Defined in LLVM.AST.Operand type Rep DINamespace = D1 (MetaData "DINamespace" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Namespace" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: S1 (MetaSel (Just "exportSymbols") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

data DIModule Source #

Constructors

Module
Fields scope :: Maybe (MDRef DIScope) name :: ShortByteString configurationMacros :: ShortByteString includePath :: ShortByteString isysRoot :: ShortByteString

Instances

Eq DIModule Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIModule -> DIModule -> Bool # (/=) :: DIModule -> DIModule -> Bool #
Data DIModule Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIModule -> c DIModule # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIModule # toConstr :: DIModule -> Constr # dataTypeOf :: DIModule -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIModule) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIModule) # gmapT :: (forall b. Data b => b -> b) -> DIModule -> DIModule # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIModule -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIModule -> r # gmapQ :: (forall d. Data d => d -> u) -> DIModule -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIModule -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule #
Ord DIModule Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIModule -> DIModule -> Ordering # (<) :: DIModule -> DIModule -> Bool # (<=) :: DIModule -> DIModule -> Bool # (>) :: DIModule -> DIModule -> Bool # (>=) :: DIModule -> DIModule -> Bool # max :: DIModule -> DIModule -> DIModule # min :: DIModule -> DIModule -> DIModule #
Read DIModule Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIModule # readList :: ReadS [DIModule] # readPrec :: ReadPrec DIModule # readListPrec :: ReadPrec [DIModule] #
Show DIModule Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIModule -> ShowS # show :: DIModule -> String # showList :: [DIModule] -> ShowS #
Generic DIModule Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIModule :: Type -> Type # Methods from :: DIModule -> Rep DIModule x # to :: Rep DIModule x -> DIModule #
type Rep DIModule Source #
Instance details Defined in LLVM.AST.Operand type Rep DIModule = D1 (MetaData "DIModule" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Module" PrefixI True) ((S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "configurationMacros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "includePath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "isysRoot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)))))

data DIScope Source #

https://llvm.org/doxygen/classllvm_1_1DIScope.html

Constructors

DICompileUnit DICompileUnit
DIFile DIFile
DILocalScope DILocalScope
DIModule DIModule
DINamespace DINamespace
DIType DIType

Instances

Eq DIScope Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIScope -> DIScope -> Bool # (/=) :: DIScope -> DIScope -> Bool #
Data DIScope Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIScope -> c DIScope # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIScope # toConstr :: DIScope -> Constr # dataTypeOf :: DIScope -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIScope) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIScope) # gmapT :: (forall b. Data b => b -> b) -> DIScope -> DIScope # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIScope -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIScope -> r # gmapQ :: (forall d. Data d => d -> u) -> DIScope -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIScope -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope #
Ord DIScope Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIScope -> DIScope -> Ordering # (<) :: DIScope -> DIScope -> Bool # (<=) :: DIScope -> DIScope -> Bool # (>) :: DIScope -> DIScope -> Bool # (>=) :: DIScope -> DIScope -> Bool # max :: DIScope -> DIScope -> DIScope # min :: DIScope -> DIScope -> DIScope #
Read DIScope Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIScope # readList :: ReadS [DIScope] # readPrec :: ReadPrec DIScope # readListPrec :: ReadPrec [DIScope] #
Show DIScope Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIScope -> ShowS # show :: DIScope -> String # showList :: [DIScope] -> ShowS #
Generic DIScope Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIScope :: Type -> Type # Methods from :: DIScope -> Rep DIScope x # to :: Rep DIScope x -> DIScope #
type Rep DIScope Source #
Instance details Defined in LLVM.AST.Operand type Rep DIScope = D1 (MetaData "DIScope" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((C1 (MetaCons "DICompileUnit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DICompileUnit)) :+: (C1 (MetaCons "DIFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFile)) :+: C1 (MetaCons "DILocalScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DILocalScope)))) :+: (C1 (MetaCons "DIModule" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIModule)) :+: (C1 (MetaCons "DINamespace" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DINamespace)) :+: C1 (MetaCons "DIType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIType)))))

data DICount Source #

Constructors

DICountConstant Int64
DICountVariable (MDRef DIVariable)

Instances

Eq DICount Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DICount -> DICount -> Bool # (/=) :: DICount -> DICount -> Bool #
Data DICount Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICount -> c DICount # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICount # toConstr :: DICount -> Constr # dataTypeOf :: DICount -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICount) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICount) # gmapT :: (forall b. Data b => b -> b) -> DICount -> DICount # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICount -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICount -> r # gmapQ :: (forall d. Data d => d -> u) -> DICount -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DICount -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICount -> m DICount # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICount -> m DICount # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICount -> m DICount #
Ord DICount Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DICount -> DICount -> Ordering # (<) :: DICount -> DICount -> Bool # (<=) :: DICount -> DICount -> Bool # (>) :: DICount -> DICount -> Bool # (>=) :: DICount -> DICount -> Bool # max :: DICount -> DICount -> DICount # min :: DICount -> DICount -> DICount #
Read DICount Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DICount # readList :: ReadS [DICount] # readPrec :: ReadPrec DICount # readListPrec :: ReadPrec [DICount] #
Show DICount Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DICount -> ShowS # show :: DICount -> String # showList :: [DICount] -> ShowS #
Generic DICount Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DICount :: Type -> Type # Methods from :: DICount -> Rep DICount x # to :: Rep DICount x -> DICount #
type Rep DICount Source #
Instance details Defined in LLVM.AST.Operand type Rep DICount = D1 (MetaData "DICount" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DICountConstant" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)) :+: C1 (MetaCons "DICountVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIVariable))))

data DISubrange Source #

https://llvm.org/docs/LangRef.html#disubrange

Constructors

Subrange
Fields count :: DICount lowerBound :: Int64

Instances

Eq DISubrange Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DISubrange -> DISubrange -> Bool # (/=) :: DISubrange -> DISubrange -> Bool #
Data DISubrange Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubrange -> c DISubrange # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubrange # toConstr :: DISubrange -> Constr # dataTypeOf :: DISubrange -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubrange) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubrange) # gmapT :: (forall b. Data b => b -> b) -> DISubrange -> DISubrange # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubrange -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubrange -> r # gmapQ :: (forall d. Data d => d -> u) -> DISubrange -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubrange -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange #
Ord DISubrange Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DISubrange -> DISubrange -> Ordering # (<) :: DISubrange -> DISubrange -> Bool # (<=) :: DISubrange -> DISubrange -> Bool # (>) :: DISubrange -> DISubrange -> Bool # (>=) :: DISubrange -> DISubrange -> Bool # max :: DISubrange -> DISubrange -> DISubrange # min :: DISubrange -> DISubrange -> DISubrange #
Read DISubrange Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DISubrange # readList :: ReadS [DISubrange] # readPrec :: ReadPrec DISubrange # readListPrec :: ReadPrec [DISubrange] #
Show DISubrange Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DISubrange -> ShowS # show :: DISubrange -> String # showList :: [DISubrange] -> ShowS #
Generic DISubrange Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DISubrange :: Type -> Type # Methods from :: DISubrange -> Rep DISubrange x # to :: Rep DISubrange x -> DISubrange #
type Rep DISubrange Source #
Instance details Defined in LLVM.AST.Operand type Rep DISubrange = D1 (MetaData "DISubrange" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Subrange" PrefixI True) (S1 (MetaSel (Just "count") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DICount) :*: S1 (MetaSel (Just "lowerBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

data DIEnumerator Source #

https://llvm.org/docs/LangRef.html#dienumerator

Constructors

Enumerator
Fields value :: Int64 isUnsigned :: Bool name :: ShortByteString

Instances

Eq DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIEnumerator -> DIEnumerator -> Bool # (/=) :: DIEnumerator -> DIEnumerator -> Bool #
Data DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIEnumerator -> c DIEnumerator # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIEnumerator # toConstr :: DIEnumerator -> Constr # dataTypeOf :: DIEnumerator -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIEnumerator) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIEnumerator) # gmapT :: (forall b. Data b => b -> b) -> DIEnumerator -> DIEnumerator # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIEnumerator -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIEnumerator -> r # gmapQ :: (forall d. Data d => d -> u) -> DIEnumerator -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIEnumerator -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator #
Ord DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIEnumerator -> DIEnumerator -> Ordering # (<) :: DIEnumerator -> DIEnumerator -> Bool # (<=) :: DIEnumerator -> DIEnumerator -> Bool # (>) :: DIEnumerator -> DIEnumerator -> Bool # (>=) :: DIEnumerator -> DIEnumerator -> Bool # max :: DIEnumerator -> DIEnumerator -> DIEnumerator # min :: DIEnumerator -> DIEnumerator -> DIEnumerator #
Read DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIEnumerator # readList :: ReadS [DIEnumerator] # readPrec :: ReadPrec DIEnumerator # readListPrec :: ReadPrec [DIEnumerator] #
Show DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIEnumerator -> ShowS # show :: DIEnumerator -> String # showList :: [DIEnumerator] -> ShowS #
Generic DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIEnumerator :: Type -> Type # Methods from :: DIEnumerator -> Rep DIEnumerator x # to :: Rep DIEnumerator x -> DIEnumerator #
type Rep DIEnumerator Source #
Instance details Defined in LLVM.AST.Operand type Rep DIEnumerator = D1 (MetaData "DIEnumerator" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Enumerator" PrefixI True) (S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64) :: (S1 (MetaSel (Just "isUnsigned") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString))))

data DIImportedEntity Source #

https://llvm.org/doxygen/classllvm_1_1DIImportedEntity.html

Constructors

ImportedEntity
Fields tag :: ImportedEntityTag name :: ShortByteString scope :: MDRef DIScope entity :: Maybe (MDRef DINode) file :: Maybe (MDRef DIFile) line :: Word32

Instances

Eq DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIImportedEntity -> DIImportedEntity -> Bool # (/=) :: DIImportedEntity -> DIImportedEntity -> Bool #
Data DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIImportedEntity -> c DIImportedEntity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIImportedEntity # toConstr :: DIImportedEntity -> Constr # dataTypeOf :: DIImportedEntity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIImportedEntity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIImportedEntity) # gmapT :: (forall b. Data b => b -> b) -> DIImportedEntity -> DIImportedEntity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIImportedEntity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIImportedEntity -> r # gmapQ :: (forall d. Data d => d -> u) -> DIImportedEntity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIImportedEntity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity #
Ord DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIImportedEntity -> DIImportedEntity -> Ordering # (<) :: DIImportedEntity -> DIImportedEntity -> Bool # (<=) :: DIImportedEntity -> DIImportedEntity -> Bool # (>) :: DIImportedEntity -> DIImportedEntity -> Bool # (>=) :: DIImportedEntity -> DIImportedEntity -> Bool # max :: DIImportedEntity -> DIImportedEntity -> DIImportedEntity # min :: DIImportedEntity -> DIImportedEntity -> DIImportedEntity #
Read DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIImportedEntity # readList :: ReadS [DIImportedEntity] # readPrec :: ReadPrec DIImportedEntity # readListPrec :: ReadPrec [DIImportedEntity] #
Show DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIImportedEntity -> ShowS # show :: DIImportedEntity -> String # showList :: [DIImportedEntity] -> ShowS #
Generic DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIImportedEntity :: Type -> Type # Methods from :: DIImportedEntity -> Rep DIImportedEntity x # to :: Rep DIImportedEntity x -> DIImportedEntity #
type Rep DIImportedEntity Source #
Instance details Defined in LLVM.AST.Operand type Rep DIImportedEntity = D1 (MetaData "DIImportedEntity" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "ImportedEntity" PrefixI True) ((S1 (MetaSel (Just "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImportedEntityTag) :: (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIScope)))) :: (S1 (MetaSel (Just "entity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DINode))) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :*: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))

data ImportedEntityTag Source #

Constructors

ImportedModule
ImportedDeclaration

Instances

Eq ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: ImportedEntityTag -> ImportedEntityTag -> Bool # (/=) :: ImportedEntityTag -> ImportedEntityTag -> Bool #
Data ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImportedEntityTag -> c ImportedEntityTag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImportedEntityTag # toConstr :: ImportedEntityTag -> Constr # dataTypeOf :: ImportedEntityTag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImportedEntityTag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImportedEntityTag) # gmapT :: (forall b. Data b => b -> b) -> ImportedEntityTag -> ImportedEntityTag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImportedEntityTag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImportedEntityTag -> r # gmapQ :: (forall d. Data d => d -> u) -> ImportedEntityTag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImportedEntityTag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag #
Ord ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: ImportedEntityTag -> ImportedEntityTag -> Ordering # (<) :: ImportedEntityTag -> ImportedEntityTag -> Bool # (<=) :: ImportedEntityTag -> ImportedEntityTag -> Bool # (>) :: ImportedEntityTag -> ImportedEntityTag -> Bool # (>=) :: ImportedEntityTag -> ImportedEntityTag -> Bool # max :: ImportedEntityTag -> ImportedEntityTag -> ImportedEntityTag # min :: ImportedEntityTag -> ImportedEntityTag -> ImportedEntityTag #
Read ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS ImportedEntityTag # readList :: ReadS [ImportedEntityTag] # readPrec :: ReadPrec ImportedEntityTag # readListPrec :: ReadPrec [ImportedEntityTag] #
Show ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> ImportedEntityTag -> ShowS # show :: ImportedEntityTag -> String # showList :: [ImportedEntityTag] -> ShowS #
Generic ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep ImportedEntityTag :: Type -> Type # Methods from :: ImportedEntityTag -> Rep ImportedEntityTag x # to :: Rep ImportedEntityTag x -> ImportedEntityTag #
type Rep ImportedEntityTag Source #
Instance details Defined in LLVM.AST.Operand type Rep ImportedEntityTag = D1 (MetaData "ImportedEntityTag" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "ImportedModule" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ImportedDeclaration" PrefixI False) (U1 :: Type -> Type))

data DIObjCProperty Source #

https://llvm.org/doxygen/classllvm_1_1DIObjCProperty.html

Constructors

ObjCProperty
Fields name :: ShortByteString file :: Maybe (MDRef DIFile) line :: Word32 getterName :: ShortByteString setterName :: ShortByteString attributes :: Word32 type' :: Maybe (MDRef DIType)

Instances

Eq DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIObjCProperty -> DIObjCProperty -> Bool # (/=) :: DIObjCProperty -> DIObjCProperty -> Bool #
Data DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIObjCProperty -> c DIObjCProperty # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIObjCProperty # toConstr :: DIObjCProperty -> Constr # dataTypeOf :: DIObjCProperty -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIObjCProperty) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIObjCProperty) # gmapT :: (forall b. Data b => b -> b) -> DIObjCProperty -> DIObjCProperty # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIObjCProperty -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIObjCProperty -> r # gmapQ :: (forall d. Data d => d -> u) -> DIObjCProperty -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIObjCProperty -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty #
Ord DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIObjCProperty -> DIObjCProperty -> Ordering # (<) :: DIObjCProperty -> DIObjCProperty -> Bool # (<=) :: DIObjCProperty -> DIObjCProperty -> Bool # (>) :: DIObjCProperty -> DIObjCProperty -> Bool # (>=) :: DIObjCProperty -> DIObjCProperty -> Bool # max :: DIObjCProperty -> DIObjCProperty -> DIObjCProperty # min :: DIObjCProperty -> DIObjCProperty -> DIObjCProperty #
Read DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIObjCProperty # readList :: ReadS [DIObjCProperty] # readPrec :: ReadPrec DIObjCProperty # readListPrec :: ReadPrec [DIObjCProperty] #
Show DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIObjCProperty -> ShowS # show :: DIObjCProperty -> String # showList :: [DIObjCProperty] -> ShowS #
Generic DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIObjCProperty :: Type -> Type # Methods from :: DIObjCProperty -> Rep DIObjCProperty x # to :: Rep DIObjCProperty x -> DIObjCProperty #
type Rep DIObjCProperty Source #
Instance details Defined in LLVM.AST.Operand type Rep DIObjCProperty = D1 (MetaData "DIObjCProperty" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "ObjCProperty" PrefixI True) ((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: ((S1 (MetaSel (Just "getterName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "setterName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "attributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))))

data DINode Source #

https://llvm.org/doxygen/classllvm_1_1DINode.html

Constructors

DIEnumerator DIEnumerator
DIImportedEntity DIImportedEntity
DIObjCProperty DIObjCProperty
DIScope DIScope
DISubrange DISubrange
DITemplateParameter DITemplateParameter
DIVariable DIVariable

Instances

Eq DINode Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DINode -> DINode -> Bool # (/=) :: DINode -> DINode -> Bool #
Data DINode Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DINode -> c DINode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DINode # toConstr :: DINode -> Constr # dataTypeOf :: DINode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DINode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DINode) # gmapT :: (forall b. Data b => b -> b) -> DINode -> DINode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DINode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DINode -> r # gmapQ :: (forall d. Data d => d -> u) -> DINode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DINode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DINode -> m DINode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DINode -> m DINode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DINode -> m DINode #
Ord DINode Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DINode -> DINode -> Ordering # (<) :: DINode -> DINode -> Bool # (<=) :: DINode -> DINode -> Bool # (>) :: DINode -> DINode -> Bool # (>=) :: DINode -> DINode -> Bool # max :: DINode -> DINode -> DINode # min :: DINode -> DINode -> DINode #
Read DINode Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DINode # readList :: ReadS [DINode] # readPrec :: ReadPrec DINode # readListPrec :: ReadPrec [DINode] #
Show DINode Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DINode -> ShowS # show :: DINode -> String # showList :: [DINode] -> ShowS #
Generic DINode Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DINode :: Type -> Type # Methods from :: DINode -> Rep DINode x # to :: Rep DINode x -> DINode #
type Rep DINode Source #
Instance details Defined in LLVM.AST.Operand type Rep DINode = D1 (MetaData "DINode" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((C1 (MetaCons "DIEnumerator" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIEnumerator)) :+: (C1 (MetaCons "DIImportedEntity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIImportedEntity)) :+: C1 (MetaCons "DIObjCProperty" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIObjCProperty)))) :+: ((C1 (MetaCons "DIScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIScope)) :+: C1 (MetaCons "DISubrange" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DISubrange))) :+: (C1 (MetaCons "DITemplateParameter" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DITemplateParameter)) :+: C1 (MetaCons "DIVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIVariable)))))

data DIMacroNode Source #

https://llvm.org/doxygen/classllvm_1_1DIMacroNode.html

Constructors

DIMacro	https://llvm.org/docs/LangRef.html#dimacro
Fields info :: DIMacroInfo line :: Word32 name :: ShortByteString value :: ShortByteString
DIMacroFile	https://llvm.org/docs/LangRef.html#dimacrofile
Fields line :: Word32 file :: MDRef DIFile elements :: [MDRef DIMacroNode]

Instances

Eq DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIMacroNode -> DIMacroNode -> Bool # (/=) :: DIMacroNode -> DIMacroNode -> Bool #
Data DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIMacroNode -> c DIMacroNode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIMacroNode # toConstr :: DIMacroNode -> Constr # dataTypeOf :: DIMacroNode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIMacroNode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIMacroNode) # gmapT :: (forall b. Data b => b -> b) -> DIMacroNode -> DIMacroNode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroNode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroNode -> r # gmapQ :: (forall d. Data d => d -> u) -> DIMacroNode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIMacroNode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode #
Ord DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIMacroNode -> DIMacroNode -> Ordering # (<) :: DIMacroNode -> DIMacroNode -> Bool # (<=) :: DIMacroNode -> DIMacroNode -> Bool # (>) :: DIMacroNode -> DIMacroNode -> Bool # (>=) :: DIMacroNode -> DIMacroNode -> Bool # max :: DIMacroNode -> DIMacroNode -> DIMacroNode # min :: DIMacroNode -> DIMacroNode -> DIMacroNode #
Read DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIMacroNode # readList :: ReadS [DIMacroNode] # readPrec :: ReadPrec DIMacroNode # readListPrec :: ReadPrec [DIMacroNode] #
Show DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIMacroNode -> ShowS # show :: DIMacroNode -> String # showList :: [DIMacroNode] -> ShowS #
Generic DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIMacroNode :: Type -> Type # Methods from :: DIMacroNode -> Rep DIMacroNode x # to :: Rep DIMacroNode x -> DIMacroNode #
type Rep DIMacroNode Source #
Instance details Defined in LLVM.AST.Operand type Rep DIMacroNode = D1 (MetaData "DIMacroNode" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DIMacro" PrefixI True) ((S1 (MetaSel (Just "info") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIMacroInfo) :: S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) :: (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString))) :+: C1 (MetaCons "DIMacroFile" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: (S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIFile)) :*: S1 (MetaSel (Just "elements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MDRef DIMacroNode]))))

data DIMacroInfo Source #

Constructors

Define
Undef

Instances

Eq DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIMacroInfo -> DIMacroInfo -> Bool # (/=) :: DIMacroInfo -> DIMacroInfo -> Bool #
Data DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIMacroInfo -> c DIMacroInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIMacroInfo # toConstr :: DIMacroInfo -> Constr # dataTypeOf :: DIMacroInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIMacroInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIMacroInfo) # gmapT :: (forall b. Data b => b -> b) -> DIMacroInfo -> DIMacroInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> DIMacroInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIMacroInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo #
Ord DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIMacroInfo -> DIMacroInfo -> Ordering # (<) :: DIMacroInfo -> DIMacroInfo -> Bool # (<=) :: DIMacroInfo -> DIMacroInfo -> Bool # (>) :: DIMacroInfo -> DIMacroInfo -> Bool # (>=) :: DIMacroInfo -> DIMacroInfo -> Bool # max :: DIMacroInfo -> DIMacroInfo -> DIMacroInfo # min :: DIMacroInfo -> DIMacroInfo -> DIMacroInfo #
Read DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIMacroInfo # readList :: ReadS [DIMacroInfo] # readPrec :: ReadPrec DIMacroInfo # readListPrec :: ReadPrec [DIMacroInfo] #
Show DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIMacroInfo -> ShowS # show :: DIMacroInfo -> String # showList :: [DIMacroInfo] -> ShowS #
Generic DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIMacroInfo :: Type -> Type # Methods from :: DIMacroInfo -> Rep DIMacroInfo x # to :: Rep DIMacroInfo x -> DIMacroInfo #
type Rep DIMacroInfo Source #
Instance details Defined in LLVM.AST.Operand type Rep DIMacroInfo = D1 (MetaData "DIMacroInfo" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Define" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Undef" PrefixI False) (U1 :: Type -> Type))

data DIFlag Source #

Instances

Eq DIFlag Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIFlag -> DIFlag -> Bool # (/=) :: DIFlag -> DIFlag -> Bool #
Data DIFlag Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIFlag -> c DIFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIFlag # toConstr :: DIFlag -> Constr # dataTypeOf :: DIFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIFlag) # gmapT :: (forall b. Data b => b -> b) -> DIFlag -> DIFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIFlag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> DIFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag #
Ord DIFlag Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIFlag -> DIFlag -> Ordering # (<) :: DIFlag -> DIFlag -> Bool # (<=) :: DIFlag -> DIFlag -> Bool # (>) :: DIFlag -> DIFlag -> Bool # (>=) :: DIFlag -> DIFlag -> Bool # max :: DIFlag -> DIFlag -> DIFlag # min :: DIFlag -> DIFlag -> DIFlag #
Read DIFlag Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIFlag # readList :: ReadS [DIFlag] # readPrec :: ReadPrec DIFlag # readListPrec :: ReadPrec [DIFlag] #
Show DIFlag Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIFlag -> ShowS # show :: DIFlag -> String # showList :: [DIFlag] -> ShowS #
Generic DIFlag Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIFlag :: Type -> Type # Methods from :: DIFlag -> Rep DIFlag x # to :: Rep DIFlag x -> DIFlag #
type Rep DIFlag Source #
Instance details Defined in LLVM.AST.Operand type Rep DIFlag = D1 (MetaData "DIFlag" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((((C1 (MetaCons "Accessibility" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIAccessibility)) :+: C1 (MetaCons "FwdDecl" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "AppleBlock" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BlockByrefStruct" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "VirtualFlag" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Artificial" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Explicit" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Prototyped" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ObjcClassComplete" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "ObjectPointer" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Vector" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "StaticMember" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LValueReference" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "RValueReference" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "InheritanceFlag" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIInheritance)) :+: C1 (MetaCons "IntroducedVirtual" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "BitField" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoReturn" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MainSubprogram" PrefixI False) (U1 :: Type -> Type))))))

data DIInheritance Source #

Inheritance flag

Constructors

SingleInheritance
MultipleInheritance
VirtualInheritance

Instances

Eq DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIInheritance -> DIInheritance -> Bool # (/=) :: DIInheritance -> DIInheritance -> Bool #
Data DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIInheritance -> c DIInheritance # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIInheritance # toConstr :: DIInheritance -> Constr # dataTypeOf :: DIInheritance -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIInheritance) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIInheritance) # gmapT :: (forall b. Data b => b -> b) -> DIInheritance -> DIInheritance # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIInheritance -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIInheritance -> r # gmapQ :: (forall d. Data d => d -> u) -> DIInheritance -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIInheritance -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance #
Ord DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIInheritance -> DIInheritance -> Ordering # (<) :: DIInheritance -> DIInheritance -> Bool # (<=) :: DIInheritance -> DIInheritance -> Bool # (>) :: DIInheritance -> DIInheritance -> Bool # (>=) :: DIInheritance -> DIInheritance -> Bool # max :: DIInheritance -> DIInheritance -> DIInheritance # min :: DIInheritance -> DIInheritance -> DIInheritance #
Read DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIInheritance # readList :: ReadS [DIInheritance] # readPrec :: ReadPrec DIInheritance # readListPrec :: ReadPrec [DIInheritance] #
Show DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIInheritance -> ShowS # show :: DIInheritance -> String # showList :: [DIInheritance] -> ShowS #
Generic DIInheritance Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIInheritance :: Type -> Type # Methods from :: DIInheritance -> Rep DIInheritance x # to :: Rep DIInheritance x -> DIInheritance #
type Rep DIInheritance Source #
Instance details Defined in LLVM.AST.Operand type Rep DIInheritance = D1 (MetaData "DIInheritance" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "SingleInheritance" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MultipleInheritance" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VirtualInheritance" PrefixI False) (U1 :: Type -> Type)))

data DIAccessibility Source #

Accessiblity flag

Constructors

Private
Protected
Public

Instances

Eq DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIAccessibility -> DIAccessibility -> Bool # (/=) :: DIAccessibility -> DIAccessibility -> Bool #
Data DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIAccessibility -> c DIAccessibility # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIAccessibility # toConstr :: DIAccessibility -> Constr # dataTypeOf :: DIAccessibility -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIAccessibility) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIAccessibility) # gmapT :: (forall b. Data b => b -> b) -> DIAccessibility -> DIAccessibility # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIAccessibility -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIAccessibility -> r # gmapQ :: (forall d. Data d => d -> u) -> DIAccessibility -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIAccessibility -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility #
Ord DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIAccessibility -> DIAccessibility -> Ordering # (<) :: DIAccessibility -> DIAccessibility -> Bool # (<=) :: DIAccessibility -> DIAccessibility -> Bool # (>) :: DIAccessibility -> DIAccessibility -> Bool # (>=) :: DIAccessibility -> DIAccessibility -> Bool # max :: DIAccessibility -> DIAccessibility -> DIAccessibility # min :: DIAccessibility -> DIAccessibility -> DIAccessibility #
Read DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIAccessibility # readList :: ReadS [DIAccessibility] # readPrec :: ReadPrec DIAccessibility # readListPrec :: ReadPrec [DIAccessibility] #
Show DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIAccessibility -> ShowS # show :: DIAccessibility -> String # showList :: [DIAccessibility] -> ShowS #
Generic DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIAccessibility :: Type -> Type # Methods from :: DIAccessibility -> Rep DIAccessibility x # to :: Rep DIAccessibility x -> DIAccessibility #
type Rep DIAccessibility Source #
Instance details Defined in LLVM.AST.Operand type Rep DIAccessibility = D1 (MetaData "DIAccessibility" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Private" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Protected" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Public" PrefixI False) (U1 :: Type -> Type)))

data DIGlobalVariableExpression Source #

A pair of a DIVariable and a MDNode.

This is used in the cuGlobals fields of DIScope.

Constructors

GlobalVariableExpression
Fields var :: MDRef DIGlobalVariable expr :: MDRef DIExpression

Instances

Eq DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool # (/=) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool #
Data DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIGlobalVariableExpression -> c DIGlobalVariableExpression # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIGlobalVariableExpression # toConstr :: DIGlobalVariableExpression -> Constr # dataTypeOf :: DIGlobalVariableExpression -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIGlobalVariableExpression) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIGlobalVariableExpression) # gmapT :: (forall b. Data b => b -> b) -> DIGlobalVariableExpression -> DIGlobalVariableExpression # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariableExpression -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariableExpression -> r # gmapQ :: (forall d. Data d => d -> u) -> DIGlobalVariableExpression -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIGlobalVariableExpression -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression #
Ord DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Ordering # (<) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool # (<=) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool # (>) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool # (>=) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool # max :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> DIGlobalVariableExpression # min :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> DIGlobalVariableExpression #
Read DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIGlobalVariableExpression # readList :: ReadS [DIGlobalVariableExpression] # readPrec :: ReadPrec DIGlobalVariableExpression # readListPrec :: ReadPrec [DIGlobalVariableExpression] #
Show DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIGlobalVariableExpression -> ShowS # show :: DIGlobalVariableExpression -> String # showList :: [DIGlobalVariableExpression] -> ShowS #
Generic DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIGlobalVariableExpression :: Type -> Type # Methods from :: DIGlobalVariableExpression -> Rep DIGlobalVariableExpression x # to :: Rep DIGlobalVariableExpression x -> DIGlobalVariableExpression #
type Rep DIGlobalVariableExpression Source #
Instance details Defined in LLVM.AST.Operand type Rep DIGlobalVariableExpression = D1 (MetaData "DIGlobalVariableExpression" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "GlobalVariableExpression" PrefixI True) (S1 (MetaSel (Just "var") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIGlobalVariable)) :*: S1 (MetaSel (Just "expr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIExpression))))

data DIExpression Source #

https://llvm.org/docs/LangRef.html#diexpression

Constructors

Expression
Fields operands :: [DWOp]

Instances

Eq DIExpression Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DIExpression -> DIExpression -> Bool # (/=) :: DIExpression -> DIExpression -> Bool #
Data DIExpression Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIExpression -> c DIExpression # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIExpression # toConstr :: DIExpression -> Constr # dataTypeOf :: DIExpression -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIExpression) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIExpression) # gmapT :: (forall b. Data b => b -> b) -> DIExpression -> DIExpression # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIExpression -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIExpression -> r # gmapQ :: (forall d. Data d => d -> u) -> DIExpression -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DIExpression -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression #
Ord DIExpression Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DIExpression -> DIExpression -> Ordering # (<) :: DIExpression -> DIExpression -> Bool # (<=) :: DIExpression -> DIExpression -> Bool # (>) :: DIExpression -> DIExpression -> Bool # (>=) :: DIExpression -> DIExpression -> Bool # max :: DIExpression -> DIExpression -> DIExpression # min :: DIExpression -> DIExpression -> DIExpression #
Read DIExpression Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DIExpression # readList :: ReadS [DIExpression] # readPrec :: ReadPrec DIExpression # readListPrec :: ReadPrec [DIExpression] #
Show DIExpression Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DIExpression -> ShowS # show :: DIExpression -> String # showList :: [DIExpression] -> ShowS #
Generic DIExpression Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DIExpression :: Type -> Type # Methods from :: DIExpression -> Rep DIExpression x # to :: Rep DIExpression x -> DIExpression #
type Rep DIExpression Source #
Instance details Defined in LLVM.AST.Operand type Rep DIExpression = D1 (MetaData "DIExpression" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Expression" PrefixI True) (S1 (MetaSel (Just "operands") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DWOp])))

data DILocation Source #

Constructors

Location
Fields line :: Word32 column :: Word16 scope :: MDRef DILocalScope

Instances

Eq DILocation Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DILocation -> DILocation -> Bool # (/=) :: DILocation -> DILocation -> Bool #
Data DILocation Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocation -> c DILocation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocation # toConstr :: DILocation -> Constr # dataTypeOf :: DILocation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocation) # gmapT :: (forall b. Data b => b -> b) -> DILocation -> DILocation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocation -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocation -> r # gmapQ :: (forall d. Data d => d -> u) -> DILocation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation #
Ord DILocation Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DILocation -> DILocation -> Ordering # (<) :: DILocation -> DILocation -> Bool # (<=) :: DILocation -> DILocation -> Bool # (>) :: DILocation -> DILocation -> Bool # (>=) :: DILocation -> DILocation -> Bool # max :: DILocation -> DILocation -> DILocation # min :: DILocation -> DILocation -> DILocation #
Read DILocation Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DILocation # readList :: ReadS [DILocation] # readPrec :: ReadPrec DILocation # readListPrec :: ReadPrec [DILocation] #
Show DILocation Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DILocation -> ShowS # show :: DILocation -> String # showList :: [DILocation] -> ShowS #
Generic DILocation Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DILocation :: Type -> Type # Methods from :: DILocation -> Rep DILocation x # to :: Rep DILocation x -> DILocation #
type Rep DILocation Source #
Instance details Defined in LLVM.AST.Operand type Rep DILocation = D1 (MetaData "DILocation" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: (S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16) :: S1 (MetaSel (Just "scope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DILocalScope)))))

data MDNode Source #

http://llvm.org/docs/LangRef.html#metadata

Constructors

MDTuple [Maybe Metadata]	Nothing represents `null`
DIExpression DIExpression
DIGlobalVariableExpression DIGlobalVariableExpression
DILocation DILocation
DIMacroNode DIMacroNode
DINode DINode

Instances

Eq MDNode Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: MDNode -> MDNode -> Bool # (/=) :: MDNode -> MDNode -> Bool #
Data MDNode Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MDNode -> c MDNode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MDNode # toConstr :: MDNode -> Constr # dataTypeOf :: MDNode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MDNode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MDNode) # gmapT :: (forall b. Data b => b -> b) -> MDNode -> MDNode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MDNode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MDNode -> r # gmapQ :: (forall d. Data d => d -> u) -> MDNode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MDNode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode #
Ord MDNode Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: MDNode -> MDNode -> Ordering # (<) :: MDNode -> MDNode -> Bool # (<=) :: MDNode -> MDNode -> Bool # (>) :: MDNode -> MDNode -> Bool # (>=) :: MDNode -> MDNode -> Bool # max :: MDNode -> MDNode -> MDNode # min :: MDNode -> MDNode -> MDNode #
Read MDNode Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS MDNode # readList :: ReadS [MDNode] # readPrec :: ReadPrec MDNode # readListPrec :: ReadPrec [MDNode] #
Show MDNode Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> MDNode -> ShowS # show :: MDNode -> String # showList :: [MDNode] -> ShowS #
Generic MDNode Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep MDNode :: Type -> Type # Methods from :: MDNode -> Rep MDNode x # to :: Rep MDNode x -> MDNode #
type Rep MDNode Source #
Instance details Defined in LLVM.AST.Operand type Rep MDNode = D1 (MetaData "MDNode" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((C1 (MetaCons "MDTuple" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe Metadata])) :+: (C1 (MetaCons "DIExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIExpression)) :+: C1 (MetaCons "DIGlobalVariableExpression" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIGlobalVariableExpression)))) :+: (C1 (MetaCons "DILocation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DILocation)) :+: (C1 (MetaCons "DIMacroNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIMacroNode)) :+: C1 (MetaCons "DINode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DINode)))))

data DWOp Source #

https://llvm.org/docs/LangRef.html#diexpression

Constructors

DwOpFragment DWOpFragment	Must appear at the end
DW_OP_StackValue	Must be the last one or followed by a DW_OP_LLVM_Fragment
DW_OP_Swap
DW_OP_ConstU Word64
DW_OP_Lit0
DW_OP_PlusUConst Word64
DW_OP_Plus
DW_OP_Minus
DW_OP_Mul
DW_OP_Div
DW_OP_Mod
DW_OP_Not
DW_OP_Or
DW_OP_Xor
DW_OP_And
DW_OP_Shr
DW_OP_Shra
DW_OP_Shl
DW_OP_Dup
DW_OP_Deref
DW_OP_XDeref

Instances

Eq DWOp Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DWOp -> DWOp -> Bool # (/=) :: DWOp -> DWOp -> Bool #
Data DWOp Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DWOp -> c DWOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DWOp # toConstr :: DWOp -> Constr # dataTypeOf :: DWOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DWOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DWOp) # gmapT :: (forall b. Data b => b -> b) -> DWOp -> DWOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DWOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DWOp -> r # gmapQ :: (forall d. Data d => d -> u) -> DWOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DWOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp #
Ord DWOp Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DWOp -> DWOp -> Ordering # (<) :: DWOp -> DWOp -> Bool # (<=) :: DWOp -> DWOp -> Bool # (>) :: DWOp -> DWOp -> Bool # (>=) :: DWOp -> DWOp -> Bool # max :: DWOp -> DWOp -> DWOp # min :: DWOp -> DWOp -> DWOp #
Read DWOp Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DWOp # readList :: ReadS [DWOp] # readPrec :: ReadPrec DWOp # readListPrec :: ReadPrec [DWOp] #
Show DWOp Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DWOp -> ShowS # show :: DWOp -> String # showList :: [DWOp] -> ShowS #
Generic DWOp Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DWOp :: Type -> Type # Methods from :: DWOp -> Rep DWOp x # to :: Rep DWOp x -> DWOp #
type Rep DWOp Source #
Instance details Defined in LLVM.AST.Operand type Rep DWOp = D1 (MetaData "DWOp" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) ((((C1 (MetaCons "DwOpFragment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DWOpFragment)) :+: C1 (MetaCons "DW_OP_StackValue" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DW_OP_Swap" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DW_OP_ConstU" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) :+: C1 (MetaCons "DW_OP_Lit0" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "DW_OP_PlusUConst" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) :+: C1 (MetaCons "DW_OP_Plus" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DW_OP_Minus" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DW_OP_Mul" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DW_OP_Div" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "DW_OP_Mod" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DW_OP_Not" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DW_OP_Or" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DW_OP_Xor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DW_OP_And" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "DW_OP_Shr" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DW_OP_Shra" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DW_OP_Shl" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "DW_OP_Dup" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DW_OP_Deref" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DW_OP_XDeref" PrefixI False) (U1 :: Type -> Type))))))

data DWOpFragment Source #

Constructors

DW_OP_LLVM_Fragment
Fields offset :: Word64 size :: Word64

Instances

Eq DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: DWOpFragment -> DWOpFragment -> Bool # (/=) :: DWOpFragment -> DWOpFragment -> Bool #
Data DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DWOpFragment -> c DWOpFragment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DWOpFragment # toConstr :: DWOpFragment -> Constr # dataTypeOf :: DWOpFragment -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DWOpFragment) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DWOpFragment) # gmapT :: (forall b. Data b => b -> b) -> DWOpFragment -> DWOpFragment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DWOpFragment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DWOpFragment -> r # gmapQ :: (forall d. Data d => d -> u) -> DWOpFragment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DWOpFragment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment #
Ord DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: DWOpFragment -> DWOpFragment -> Ordering # (<) :: DWOpFragment -> DWOpFragment -> Bool # (<=) :: DWOpFragment -> DWOpFragment -> Bool # (>) :: DWOpFragment -> DWOpFragment -> Bool # (>=) :: DWOpFragment -> DWOpFragment -> Bool # max :: DWOpFragment -> DWOpFragment -> DWOpFragment # min :: DWOpFragment -> DWOpFragment -> DWOpFragment #
Read DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS DWOpFragment # readList :: ReadS [DWOpFragment] # readPrec :: ReadPrec DWOpFragment # readListPrec :: ReadPrec [DWOpFragment] #
Show DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> DWOpFragment -> ShowS # show :: DWOpFragment -> String # showList :: [DWOpFragment] -> ShowS #
Generic DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep DWOpFragment :: Type -> Type # Methods from :: DWOpFragment -> Rep DWOpFragment x # to :: Rep DWOpFragment x -> DWOpFragment #
type Rep DWOpFragment Source #
Instance details Defined in LLVM.AST.Operand type Rep DWOpFragment = D1 (MetaData "DWOpFragment" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "DW_OP_LLVM_Fragment" PrefixI True) (S1 (MetaSel (Just "offset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :*: S1 (MetaSel (Just "size") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))

data MDRef a Source #

MDRef can either represent a reference to some piece of metadata or the metadata itself.

This is mainly useful for encoding cyclic metadata. Note that LLVM represents inline and non-inline nodes identically, so roundtripping the Haskell AST does not preserve whether a node was inline or not.

Constructors

MDRef MetadataNodeID
MDInline a

Instances

Functor MDRef Source #
Instance details Defined in LLVM.AST.Operand Methods fmap :: (a -> b) -> MDRef a -> MDRef b # (<$) :: a -> MDRef b -> MDRef a #
Eq a => Eq (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: MDRef a -> MDRef a -> Bool # (/=) :: MDRef a -> MDRef a -> Bool #
Data a => Data (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MDRef a -> c (MDRef a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MDRef a) # toConstr :: MDRef a -> Constr # dataTypeOf :: MDRef a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MDRef a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MDRef a)) # gmapT :: (forall b. Data b => b -> b) -> MDRef a -> MDRef a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MDRef a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MDRef a -> r # gmapQ :: (forall d. Data d => d -> u) -> MDRef a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MDRef a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) #
Ord a => Ord (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: MDRef a -> MDRef a -> Ordering # (<) :: MDRef a -> MDRef a -> Bool # (<=) :: MDRef a -> MDRef a -> Bool # (>) :: MDRef a -> MDRef a -> Bool # (>=) :: MDRef a -> MDRef a -> Bool # max :: MDRef a -> MDRef a -> MDRef a # min :: MDRef a -> MDRef a -> MDRef a #
Read a => Read (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS (MDRef a) # readList :: ReadS [MDRef a] # readPrec :: ReadPrec (MDRef a) # readListPrec :: ReadPrec [MDRef a] #
Show a => Show (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> MDRef a -> ShowS # show :: MDRef a -> String # showList :: [MDRef a] -> ShowS #
Generic (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep (MDRef a) :: Type -> Type # Methods from :: MDRef a -> Rep (MDRef a) x # to :: Rep (MDRef a) x -> MDRef a #
type Rep (MDRef a) Source #
Instance details Defined in LLVM.AST.Operand type Rep (MDRef a) = D1 (MetaData "MDRef" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "MDRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetadataNodeID)) :+: C1 (MetaCons "MDInline" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype MetadataNodeID Source #

A MetadataNodeID is a number for identifying a metadata node. Note this is different from "named metadata", which are represented with NamedMetadataDefinition.

Constructors

MetadataNodeID Word

Instances

Eq MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: MetadataNodeID -> MetadataNodeID -> Bool # (/=) :: MetadataNodeID -> MetadataNodeID -> Bool #
Data MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetadataNodeID -> c MetadataNodeID # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetadataNodeID # toConstr :: MetadataNodeID -> Constr # dataTypeOf :: MetadataNodeID -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetadataNodeID) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetadataNodeID) # gmapT :: (forall b. Data b => b -> b) -> MetadataNodeID -> MetadataNodeID # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r # gmapQ :: (forall d. Data d => d -> u) -> MetadataNodeID -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetadataNodeID -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID #
Ord MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: MetadataNodeID -> MetadataNodeID -> Ordering # (<) :: MetadataNodeID -> MetadataNodeID -> Bool # (<=) :: MetadataNodeID -> MetadataNodeID -> Bool # (>) :: MetadataNodeID -> MetadataNodeID -> Bool # (>=) :: MetadataNodeID -> MetadataNodeID -> Bool # max :: MetadataNodeID -> MetadataNodeID -> MetadataNodeID # min :: MetadataNodeID -> MetadataNodeID -> MetadataNodeID #
Read MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS MetadataNodeID # readList :: ReadS [MetadataNodeID] # readPrec :: ReadPrec MetadataNodeID # readListPrec :: ReadPrec [MetadataNodeID] #
Show MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> MetadataNodeID -> ShowS # show :: MetadataNodeID -> String # showList :: [MetadataNodeID] -> ShowS #
Generic MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep MetadataNodeID :: Type -> Type # Methods from :: MetadataNodeID -> Rep MetadataNodeID x # to :: Rep MetadataNodeID x -> MetadataNodeID #
type Rep MetadataNodeID Source #
Instance details Defined in LLVM.AST.Operand type Rep MetadataNodeID = D1 (MetaData "MetadataNodeID" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" True) (C1 (MetaCons "MetadataNodeID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))

data Metadata Source #

http://llvm.org/docs/LangRef.html#metadata

Constructors

MDString ShortByteString	http://llvm.org/docs/doxygen/html/classllvm_1_1MDNode.html
MDNode (MDRef MDNode)	http://llvm.org/docs/doxygen/html/classllvm_1_1MDNode.html
MDValue Operand	http://llvm.org/docs/doxygen/html/classllvm_1_1ValueAsMetadata.html

Instances

Eq Metadata Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: Metadata -> Metadata -> Bool # (/=) :: Metadata -> Metadata -> Bool #
Data Metadata Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Metadata -> c Metadata # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Metadata # toConstr :: Metadata -> Constr # dataTypeOf :: Metadata -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Metadata) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Metadata) # gmapT :: (forall b. Data b => b -> b) -> Metadata -> Metadata # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r # gmapQ :: (forall d. Data d => d -> u) -> Metadata -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Metadata -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata #
Ord Metadata Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: Metadata -> Metadata -> Ordering # (<) :: Metadata -> Metadata -> Bool # (<=) :: Metadata -> Metadata -> Bool # (>) :: Metadata -> Metadata -> Bool # (>=) :: Metadata -> Metadata -> Bool # max :: Metadata -> Metadata -> Metadata # min :: Metadata -> Metadata -> Metadata #
Read Metadata Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS Metadata # readList :: ReadS [Metadata] # readPrec :: ReadPrec Metadata # readListPrec :: ReadPrec [Metadata] #
Show Metadata Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> Metadata -> ShowS # show :: Metadata -> String # showList :: [Metadata] -> ShowS #
Generic Metadata Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep Metadata :: Type -> Type # Methods from :: Metadata -> Rep Metadata x # to :: Rep Metadata x -> Metadata #
type Rep Metadata Source #
Instance details Defined in LLVM.AST.Operand type Rep Metadata = D1 (MetaData "Metadata" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "MDString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :+: (C1 (MetaCons "MDNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef MDNode))) :+: C1 (MetaCons "MDValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand))))

type CallableOperand = Either InlineAssembly Operand Source #

The Call instruction is special: the callee can be inline assembly

data Operand Source #

An Operand is roughly that which is an argument to an Instruction

Constructors

LocalReference Type Name	%foo
ConstantOperand Constant	`Constant`s include `GlobalReference`, for @foo
MetadataOperand Metadata

Instances

Eq Operand Source #
Instance details Defined in LLVM.AST.Operand Methods (==) :: Operand -> Operand -> Bool # (/=) :: Operand -> Operand -> Bool #
Data Operand Source #
Instance details Defined in LLVM.AST.Operand Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Operand -> c Operand # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Operand # toConstr :: Operand -> Constr # dataTypeOf :: Operand -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Operand) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Operand) # gmapT :: (forall b. Data b => b -> b) -> Operand -> Operand # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r # gmapQ :: (forall d. Data d => d -> u) -> Operand -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Operand -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Operand -> m Operand # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand #
Ord Operand Source #
Instance details Defined in LLVM.AST.Operand Methods compare :: Operand -> Operand -> Ordering # (<) :: Operand -> Operand -> Bool # (<=) :: Operand -> Operand -> Bool # (>) :: Operand -> Operand -> Bool # (>=) :: Operand -> Operand -> Bool # max :: Operand -> Operand -> Operand # min :: Operand -> Operand -> Operand #
Read Operand Source #
Instance details Defined in LLVM.AST.Operand Methods readsPrec :: Int -> ReadS Operand # readList :: ReadS [Operand] # readPrec :: ReadPrec Operand # readListPrec :: ReadPrec [Operand] #
Show Operand Source #
Instance details Defined in LLVM.AST.Operand Methods showsPrec :: Int -> Operand -> ShowS # show :: Operand -> String # showList :: [Operand] -> ShowS #
Generic Operand Source #
Instance details Defined in LLVM.AST.Operand Associated Types type Rep Operand :: Type -> Type # Methods from :: Operand -> Rep Operand x # to :: Rep Operand x -> Operand #
Typed CallableOperand Source #
Instance details Defined in LLVM.AST.Typed Methods typeOf :: CallableOperand -> Type Source #
Typed Operand Source #
Instance details Defined in LLVM.AST.Typed Methods typeOf :: Operand -> Type Source #
type Rep Operand Source #
Instance details Defined in LLVM.AST.Operand type Rep Operand = D1 (MetaData "Operand" "LLVM.AST.Operand" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "LocalReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: (C1 (MetaCons "ConstantOperand" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constant)) :+: C1 (MetaCons "MetadataOperand" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Metadata))))

Accessibility DIAccessibility
FwdDecl
AppleBlock
BlockByrefStruct
VirtualFlag
Artificial
Explicit
Prototyped
ObjcClassComplete
ObjectPointer
Vector
StaticMember
LValueReference
RValueReference
InheritanceFlag DIInheritance
IntroducedVirtual
BitField
NoReturn
MainSubprogram