LLVM.AST.Operand

A type to represent operands to LLVM Instructions

Documentation

data DILocalVariable

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

Defined in LLVM.AST.Operand

Methods

(==) :: DILocalVariable -> DILocalVariable -> Bool

(/=) :: DILocalVariable -> DILocalVariable -> Bool

Data DILocalVariable

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DILocalVariable

readList :: ReadS [DILocalVariable]

readPrec :: ReadPrec DILocalVariable

readListPrec :: ReadPrec [DILocalVariable]

Show DILocalVariable

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DILocalVariable -> ShowS

show :: DILocalVariable -> String

showList :: [DILocalVariable] -> ShowS

Generic DILocalVariable

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

Defined in LLVM.AST.Operand

type Rep DILocalVariable = D1 ('MetaData "DILocalVariable" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIGlobalVariable -> DIGlobalVariable -> Bool

(/=) :: DIGlobalVariable -> DIGlobalVariable -> Bool

Data DIGlobalVariable

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIGlobalVariable

readList :: ReadS [DIGlobalVariable]

readPrec :: ReadPrec DIGlobalVariable

readListPrec :: ReadPrec [DIGlobalVariable]

Show DIGlobalVariable

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIGlobalVariable -> ShowS

show :: DIGlobalVariable -> String

showList :: [DIGlobalVariable] -> ShowS

Generic DIGlobalVariable

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

Defined in LLVM.AST.Operand

type Rep DIGlobalVariable = D1 ('MetaData "DIGlobalVariable" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

DIGlobalVariable DIGlobalVariable

DILocalVariable DILocalVariable

Instances

Eq DIVariable

Defined in LLVM.AST.Operand

Methods

(==) :: DIVariable -> DIVariable -> Bool

(/=) :: DIVariable -> DIVariable -> Bool

Data DIVariable

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIVariable

readList :: ReadS [DIVariable]

readPrec :: ReadPrec DIVariable

readListPrec :: ReadPrec [DIVariable]

Show DIVariable

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIVariable -> ShowS

show :: DIVariable -> String

showList :: [DIVariable] -> ShowS

Generic DIVariable

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

Defined in LLVM.AST.Operand

type Rep DIVariable = D1 ('MetaData "DIVariable" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool

(/=) :: DILexicalBlockBase -> DILexicalBlockBase -> Bool

Data DILexicalBlockBase

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DILexicalBlockBase

readList :: ReadS [DILexicalBlockBase]

readPrec :: ReadPrec DILexicalBlockBase

readListPrec :: ReadPrec [DILexicalBlockBase]

Show DILexicalBlockBase

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DILexicalBlockBase -> ShowS

show :: DILexicalBlockBase -> String

showList :: [DILexicalBlockBase] -> ShowS

Generic DILexicalBlockBase

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

Defined in LLVM.AST.Operand

type Rep DILexicalBlockBase = D1 ('MetaData "DILexicalBlockBase" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DITemplateParameter -> DITemplateParameter -> Bool

(/=) :: DITemplateParameter -> DITemplateParameter -> Bool

Data DITemplateParameter

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DITemplateParameter

readList :: ReadS [DITemplateParameter]

readPrec :: ReadPrec DITemplateParameter

readListPrec :: ReadPrec [DITemplateParameter]

Show DITemplateParameter

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DITemplateParameter -> ShowS

show :: DITemplateParameter -> String

showList :: [DITemplateParameter] -> ShowS

Generic DITemplateParameter

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

Defined in LLVM.AST.Operand

type Rep DITemplateParameter = D1 ('MetaData "DITemplateParameter" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

TemplateValueParameter

GNUTemplateTemplateParam

GNUTemplateParameterPack

Instances

Eq TemplateValueParameterTag

Defined in LLVM.AST.Operand

Methods

(==) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool

(/=) :: TemplateValueParameterTag -> TemplateValueParameterTag -> Bool

Data TemplateValueParameterTag

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS TemplateValueParameterTag

readList :: ReadS [TemplateValueParameterTag]

readPrec :: ReadPrec TemplateValueParameterTag

readListPrec :: ReadPrec [TemplateValueParameterTag]

Show TemplateValueParameterTag

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> TemplateValueParameterTag -> ShowS

show :: TemplateValueParameterTag -> String

showList :: [TemplateValueParameterTag] -> ShowS

Generic TemplateValueParameterTag

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

Defined in LLVM.AST.Operand

type Rep TemplateValueParameterTag = D1 ('MetaData "TemplateValueParameterTag" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

AddressEncoding

BooleanEncoding

FloatEncoding

SignedEncoding

SignedCharEncoding

UnsignedEncoding

UnsignedCharEncoding

UTFEncoding

Instances

Eq Encoding

Defined in LLVM.AST.Operand

Methods

(==) :: Encoding -> Encoding -> Bool

(/=) :: Encoding -> Encoding -> Bool

Data Encoding

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS Encoding

readList :: ReadS [Encoding]

readPrec :: ReadPrec Encoding

readListPrec :: ReadPrec [Encoding]

Show Encoding

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> Encoding -> ShowS

show :: Encoding -> String

showList :: [Encoding] -> ShowS

Generic Encoding

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

Defined in LLVM.AST.Operand

type Rep Encoding = D1 ('MetaData "Encoding" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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)]

  DIDerivedType with tag set to one of Member, Inheritance, Friend or DISubprogram with $sel:definition:Subprogram 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)]

  DIDerivedType with tag set to one of Member, Inheritance, Friend or DISubprogram with $sel:definition:Subprogram 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)]

  DIDerivedType with tag set to one of Member, Inheritance, Friend or DISubprogram with $sel:definition:Subprogram set to True.

• runtimeLang :: Word16
• identifier :: ShortByteString
• sizeInBits :: Word64
• alignInBits :: Word32

Instances

Eq DICompositeType

Defined in LLVM.AST.Operand

Methods

(==) :: DICompositeType -> DICompositeType -> Bool

(/=) :: DICompositeType -> DICompositeType -> Bool

Data DICompositeType

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DICompositeType

readList :: ReadS [DICompositeType]

readPrec :: ReadPrec DICompositeType

readListPrec :: ReadPrec [DICompositeType]

Show DICompositeType

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DICompositeType -> ShowS

show :: DICompositeType -> String

showList :: [DICompositeType] -> ShowS

Generic DICompositeType

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

Defined in LLVM.AST.Operand

type Rep DICompositeType = D1 ('MetaData "DICompositeType" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIDerivedType -> DIDerivedType -> Bool

(/=) :: DIDerivedType -> DIDerivedType -> Bool

Data DIDerivedType

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIDerivedType

readList :: ReadS [DIDerivedType]

readPrec :: ReadPrec DIDerivedType

readListPrec :: ReadPrec [DIDerivedType]

Show DIDerivedType

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIDerivedType -> ShowS

show :: DIDerivedType -> String

showList :: [DIDerivedType] -> ShowS

Generic DIDerivedType

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

Defined in LLVM.AST.Operand

type Rep DIDerivedType = D1 ('MetaData "DIDerivedType" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

Typedef

PointerType

PtrToMemberType

ReferenceType

RValueReferenceType

ConstType

VolatileType

RestrictType

AtomicType

Member

Inheritance

Friend

Instances

Eq DerivedTypeTag

Defined in LLVM.AST.Operand

Methods

(==) :: DerivedTypeTag -> DerivedTypeTag -> Bool

(/=) :: DerivedTypeTag -> DerivedTypeTag -> Bool

Data DerivedTypeTag

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DerivedTypeTag

readList :: ReadS [DerivedTypeTag]

readPrec :: ReadPrec DerivedTypeTag

readListPrec :: ReadPrec [DerivedTypeTag]

Show DerivedTypeTag

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DerivedTypeTag -> ShowS

show :: DerivedTypeTag -> String

showList :: [DerivedTypeTag] -> ShowS

Generic DerivedTypeTag

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

Defined in LLVM.AST.Operand

type Rep DerivedTypeTag = D1 ('MetaData "DerivedTypeTag" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DISubroutineType -> DISubroutineType -> Bool

(/=) :: DISubroutineType -> DISubroutineType -> Bool

Data DISubroutineType

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DISubroutineType

readList :: ReadS [DISubroutineType]

readPrec :: ReadPrec DISubroutineType

readListPrec :: ReadPrec [DISubroutineType]

Show DISubroutineType

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DISubroutineType -> ShowS

show :: DISubroutineType -> String

showList :: [DISubroutineType] -> ShowS

Generic DISubroutineType

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

Defined in LLVM.AST.Operand

type Rep DISubroutineType = D1 ('MetaData "DISubroutineType" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIBasicType -> DIBasicType -> Bool

(/=) :: DIBasicType -> DIBasicType -> Bool

Data DIBasicType

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIBasicType

readList :: ReadS [DIBasicType]

readPrec :: ReadPrec DIBasicType

readListPrec :: ReadPrec [DIBasicType]

Show DIBasicType

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIBasicType -> ShowS

show :: DIBasicType -> String

showList :: [DIBasicType] -> ShowS

Generic DIBasicType

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

Defined in LLVM.AST.Operand

type Rep DIBasicType = D1 ('MetaData "DIBasicType" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

DIBasicType DIBasicType

DICompositeType DICompositeType

DIDerivedType DIDerivedType

DISubroutineType DISubroutineType

Instances

Eq DIType

Defined in LLVM.AST.Operand

Methods

(==) :: DIType -> DIType -> Bool

(/=) :: DIType -> DIType -> Bool

Data DIType

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIType

readList :: ReadS [DIType]

readPrec :: ReadPrec DIType

readListPrec :: ReadPrec [DIType]

Show DIType

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIType -> ShowS

show :: DIType -> String

showList :: [DIType] -> ShowS

Generic DIType

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

Defined in LLVM.AST.Operand

type Rep DIType = D1 ('MetaData "DIType" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

BaseType

UnspecifiedType

Instances

Eq BasicTypeTag

Defined in LLVM.AST.Operand

Methods

(==) :: BasicTypeTag -> BasicTypeTag -> Bool

(/=) :: BasicTypeTag -> BasicTypeTag -> Bool

Data BasicTypeTag

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS BasicTypeTag

readList :: ReadS [BasicTypeTag]

readPrec :: ReadPrec BasicTypeTag

readListPrec :: ReadPrec [BasicTypeTag]

Show BasicTypeTag

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> BasicTypeTag -> ShowS

show :: BasicTypeTag -> String

showList :: [BasicTypeTag] -> ShowS

Generic BasicTypeTag

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

Defined in LLVM.AST.Operand

type Rep BasicTypeTag = D1 ('MetaData "BasicTypeTag" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "BaseType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnspecifiedType" 'PrefixI 'False) (U1 :: Type -> Type))

data Virtuality

Constructors

NoVirtuality

Virtual

PureVirtual

Instances

Eq Virtuality

Defined in LLVM.AST.Operand

Methods

(==) :: Virtuality -> Virtuality -> Bool

(/=) :: Virtuality -> Virtuality -> Bool

Data Virtuality

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS Virtuality

readList :: ReadS [Virtuality]

readPrec :: ReadPrec Virtuality

readListPrec :: ReadPrec [Virtuality]

Show Virtuality

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> Virtuality -> ShowS

show :: Virtuality -> String

showList :: [Virtuality] -> ShowS

Generic Virtuality

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

Defined in LLVM.AST.Operand

type Rep Virtuality = D1 ('MetaData "Virtuality" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DISubprogram -> DISubprogram -> Bool

(/=) :: DISubprogram -> DISubprogram -> Bool

Data DISubprogram

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DISubprogram

readList :: ReadS [DISubprogram]

readPrec :: ReadPrec DISubprogram

readListPrec :: ReadPrec [DISubprogram]

Show DISubprogram

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DISubprogram -> ShowS

show :: DISubprogram -> String

showList :: [DISubprogram] -> ShowS

Generic DISubprogram

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

Defined in LLVM.AST.Operand

type Rep DISubprogram = D1 ('MetaData "DISubprogram" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

DILexicalBlockBase DILexicalBlockBase

DISubprogram DISubprogram

Instances

Eq DILocalScope

Defined in LLVM.AST.Operand

Methods

(==) :: DILocalScope -> DILocalScope -> Bool

(/=) :: DILocalScope -> DILocalScope -> Bool

Data DILocalScope

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DILocalScope

readList :: ReadS [DILocalScope]

readPrec :: ReadPrec DILocalScope

readListPrec :: ReadPrec [DILocalScope]

Show DILocalScope

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DILocalScope -> ShowS

show :: DILocalScope -> String

showList :: [DILocalScope] -> ShowS

Generic DILocalScope

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

Defined in LLVM.AST.Operand

type Rep DILocalScope = D1 ('MetaData "DILocalScope" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

MD5

SHA1

Instances

Eq ChecksumKind

Defined in LLVM.AST.Operand

Methods

(==) :: ChecksumKind -> ChecksumKind -> Bool

(/=) :: ChecksumKind -> ChecksumKind -> Bool

Data ChecksumKind

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS ChecksumKind

readList :: ReadS [ChecksumKind]

readPrec :: ReadPrec ChecksumKind

readListPrec :: ReadPrec [ChecksumKind]

Show ChecksumKind

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> ChecksumKind -> ShowS

show :: ChecksumKind -> String

showList :: [ChecksumKind] -> ShowS

Generic ChecksumKind

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

Defined in LLVM.AST.Operand

type Rep ChecksumKind = D1 ('MetaData "ChecksumKind" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "MD5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHA1" 'PrefixI 'False) (U1 :: Type -> Type))

data ChecksumInfo

Constructors

ChecksumInfo

Fields

• checksumKind :: ChecksumKind
• checksumValue :: ShortByteString

Instances

Eq ChecksumInfo

Defined in LLVM.AST.Operand

Methods

(==) :: ChecksumInfo -> ChecksumInfo -> Bool

(/=) :: ChecksumInfo -> ChecksumInfo -> Bool

Data ChecksumInfo

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS ChecksumInfo

readList :: ReadS [ChecksumInfo]

readPrec :: ReadPrec ChecksumInfo

readListPrec :: ReadPrec [ChecksumInfo]

Show ChecksumInfo

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> ChecksumInfo -> ShowS

show :: ChecksumInfo -> String

showList :: [ChecksumInfo] -> ShowS

Generic ChecksumInfo

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

Defined in LLVM.AST.Operand

type Rep ChecksumInfo = D1 ('MetaData "ChecksumInfo" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

File

Fields

• filename :: ShortByteString
• directory :: ShortByteString
• checksum :: Maybe ChecksumInfo

Instances

Eq DIFile

Defined in LLVM.AST.Operand

Methods

(==) :: DIFile -> DIFile -> Bool

(/=) :: DIFile -> DIFile -> Bool

Data DIFile

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIFile

readList :: ReadS [DIFile]

readPrec :: ReadPrec DIFile

readListPrec :: ReadPrec [DIFile]

Show DIFile

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIFile -> ShowS

show :: DIFile -> String

showList :: [DIFile] -> ShowS

Generic DIFile

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

Defined in LLVM.AST.Operand

type Rep DIFile = D1 ('MetaData "DIFile" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DICompileUnit -> DICompileUnit -> Bool

(/=) :: DICompileUnit -> DICompileUnit -> Bool

Data DICompileUnit

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DICompileUnit

readList :: ReadS [DICompileUnit]

readPrec :: ReadPrec DICompileUnit

readListPrec :: ReadPrec [DICompileUnit]

Show DICompileUnit

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DICompileUnit -> ShowS

show :: DICompileUnit -> String

showList :: [DICompileUnit] -> ShowS

Generic DICompileUnit

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

Defined in LLVM.AST.Operand

type Rep DICompileUnit = D1 ('MetaData "DICompileUnit" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

NameTableKindDefault

NameTableKindGNU

NameTableKindNone

Instances

Eq DebugNameTableKind

Defined in LLVM.AST.Operand

Methods

(==) :: DebugNameTableKind -> DebugNameTableKind -> Bool

(/=) :: DebugNameTableKind -> DebugNameTableKind -> Bool

Data DebugNameTableKind

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DebugNameTableKind

readList :: ReadS [DebugNameTableKind]

readPrec :: ReadPrec DebugNameTableKind

readListPrec :: ReadPrec [DebugNameTableKind]

Show DebugNameTableKind

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DebugNameTableKind -> ShowS

show :: DebugNameTableKind -> String

showList :: [DebugNameTableKind] -> ShowS

Generic DebugNameTableKind

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

Defined in LLVM.AST.Operand

type Rep DebugNameTableKind = D1 ('MetaData "DebugNameTableKind" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

NoDebug

FullDebug

LineTablesOnly

Instances

Eq DebugEmissionKind

Defined in LLVM.AST.Operand

Methods

(==) :: DebugEmissionKind -> DebugEmissionKind -> Bool

(/=) :: DebugEmissionKind -> DebugEmissionKind -> Bool

Data DebugEmissionKind

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DebugEmissionKind

readList :: ReadS [DebugEmissionKind]

readPrec :: ReadPrec DebugEmissionKind

readListPrec :: ReadPrec [DebugEmissionKind]

Show DebugEmissionKind

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DebugEmissionKind -> ShowS

show :: DebugEmissionKind -> String

showList :: [DebugEmissionKind] -> ShowS

Generic DebugEmissionKind

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

Defined in LLVM.AST.Operand

type Rep DebugEmissionKind = D1 ('MetaData "DebugEmissionKind" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

Namespace

Fields

• name :: ShortByteString
• scope :: Maybe (MDRef DIScope)
• exportSymbols :: Bool

Instances

Eq DINamespace

Defined in LLVM.AST.Operand

Methods

(==) :: DINamespace -> DINamespace -> Bool

(/=) :: DINamespace -> DINamespace -> Bool

Data DINamespace

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DINamespace

readList :: ReadS [DINamespace]

readPrec :: ReadPrec DINamespace

readListPrec :: ReadPrec [DINamespace]

Show DINamespace

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DINamespace -> ShowS

show :: DINamespace -> String

showList :: [DINamespace] -> ShowS

Generic DINamespace

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

Defined in LLVM.AST.Operand

type Rep DINamespace = D1 ('MetaData "DINamespace" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

Module

Fields

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

Instances

Eq DIModule

Defined in LLVM.AST.Operand

Methods

(==) :: DIModule -> DIModule -> Bool

(/=) :: DIModule -> DIModule -> Bool

Data DIModule

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIModule

readList :: ReadS [DIModule]

readPrec :: ReadPrec DIModule

readListPrec :: ReadPrec [DIModule]

Show DIModule

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIModule -> ShowS

show :: DIModule -> String

showList :: [DIModule] -> ShowS

Generic DIModule

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

Defined in LLVM.AST.Operand

type Rep DIModule = D1 ('MetaData "DIModule" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

DICompileUnit DICompileUnit

DIFile DIFile

DILocalScope DILocalScope

DIModule DIModule

DINamespace DINamespace

DIType DIType

Instances

Eq DIScope

Defined in LLVM.AST.Operand

Methods

(==) :: DIScope -> DIScope -> Bool

(/=) :: DIScope -> DIScope -> Bool

Data DIScope

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIScope

readList :: ReadS [DIScope]

readPrec :: ReadPrec DIScope

readListPrec :: ReadPrec [DIScope]

Show DIScope

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIScope -> ShowS

show :: DIScope -> String

showList :: [DIScope] -> ShowS

Generic DIScope

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

Defined in LLVM.AST.Operand

type Rep DIScope = D1 ('MetaData "DIScope" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

DICountConstant Int64

DICountVariable (MDRef DIVariable)

Instances

Eq DICount

Defined in LLVM.AST.Operand

Methods

(==) :: DICount -> DICount -> Bool

(/=) :: DICount -> DICount -> Bool

Data DICount

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DICount

readList :: ReadS [DICount]

readPrec :: ReadPrec DICount

readListPrec :: ReadPrec [DICount]

Show DICount

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DICount -> ShowS

show :: DICount -> String

showList :: [DICount] -> ShowS

Generic DICount

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

Defined in LLVM.AST.Operand

type Rep DICount = D1 ('MetaData "DICount" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

Subrange

Fields

• count :: DICount
• lowerBound :: Int64

Instances

Eq DISubrange

Defined in LLVM.AST.Operand

Methods

(==) :: DISubrange -> DISubrange -> Bool

(/=) :: DISubrange -> DISubrange -> Bool

Data DISubrange

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DISubrange

readList :: ReadS [DISubrange]

readPrec :: ReadPrec DISubrange

readListPrec :: ReadPrec [DISubrange]

Show DISubrange

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DISubrange -> ShowS

show :: DISubrange -> String

showList :: [DISubrange] -> ShowS

Generic DISubrange

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

Defined in LLVM.AST.Operand

type Rep DISubrange = D1 ('MetaData "DISubrange" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

Enumerator

Fields

• value :: Int64
• isUnsigned :: Bool
• name :: ShortByteString

Instances

Eq DIEnumerator

Defined in LLVM.AST.Operand

Methods

(==) :: DIEnumerator -> DIEnumerator -> Bool

(/=) :: DIEnumerator -> DIEnumerator -> Bool

Data DIEnumerator

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIEnumerator

readList :: ReadS [DIEnumerator]

readPrec :: ReadPrec DIEnumerator

readListPrec :: ReadPrec [DIEnumerator]

Show DIEnumerator

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIEnumerator -> ShowS

show :: DIEnumerator -> String

showList :: [DIEnumerator] -> ShowS

Generic DIEnumerator

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

Defined in LLVM.AST.Operand

type Rep DIEnumerator = D1 ('MetaData "DIEnumerator" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIImportedEntity -> DIImportedEntity -> Bool

(/=) :: DIImportedEntity -> DIImportedEntity -> Bool

Data DIImportedEntity

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIImportedEntity

readList :: ReadS [DIImportedEntity]

readPrec :: ReadPrec DIImportedEntity

readListPrec :: ReadPrec [DIImportedEntity]

Show DIImportedEntity

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIImportedEntity -> ShowS

show :: DIImportedEntity -> String

showList :: [DIImportedEntity] -> ShowS

Generic DIImportedEntity

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

Defined in LLVM.AST.Operand

type Rep DIImportedEntity = D1 ('MetaData "DIImportedEntity" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

ImportedModule

ImportedDeclaration

Instances

Eq ImportedEntityTag

Defined in LLVM.AST.Operand

Methods

(==) :: ImportedEntityTag -> ImportedEntityTag -> Bool

(/=) :: ImportedEntityTag -> ImportedEntityTag -> Bool

Data ImportedEntityTag

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS ImportedEntityTag

readList :: ReadS [ImportedEntityTag]

readPrec :: ReadPrec ImportedEntityTag

readListPrec :: ReadPrec [ImportedEntityTag]

Show ImportedEntityTag

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> ImportedEntityTag -> ShowS

show :: ImportedEntityTag -> String

showList :: [ImportedEntityTag] -> ShowS

Generic ImportedEntityTag

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

Defined in LLVM.AST.Operand

type Rep ImportedEntityTag = D1 ('MetaData "ImportedEntityTag" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "ImportedModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportedDeclaration" 'PrefixI 'False) (U1 :: Type -> Type))

data DIObjCProperty

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIObjCProperty -> DIObjCProperty -> Bool

(/=) :: DIObjCProperty -> DIObjCProperty -> Bool

Data DIObjCProperty

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIObjCProperty

readList :: ReadS [DIObjCProperty]

readPrec :: ReadPrec DIObjCProperty

readListPrec :: ReadPrec [DIObjCProperty]

Show DIObjCProperty

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIObjCProperty -> ShowS

show :: DIObjCProperty -> String

showList :: [DIObjCProperty] -> ShowS

Generic DIObjCProperty

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

Defined in LLVM.AST.Operand

type Rep DIObjCProperty = D1 ('MetaData "DIObjCProperty" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DINode -> DINode -> Bool

(/=) :: DINode -> DINode -> Bool

Data DINode

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DINode

readList :: ReadS [DINode]

readPrec :: ReadPrec DINode

readListPrec :: ReadPrec [DINode]

Show DINode

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DINode -> ShowS

show :: DINode -> String

showList :: [DINode] -> ShowS

Generic DINode

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

Defined in LLVM.AST.Operand

type Rep DINode = D1 ('MetaData "DINode" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DIMacroNode -> DIMacroNode -> Bool

(/=) :: DIMacroNode -> DIMacroNode -> Bool

Data DIMacroNode

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIMacroNode

readList :: ReadS [DIMacroNode]

readPrec :: ReadPrec DIMacroNode

readListPrec :: ReadPrec [DIMacroNode]

Show DIMacroNode

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIMacroNode -> ShowS

show :: DIMacroNode -> String

showList :: [DIMacroNode] -> ShowS

Generic DIMacroNode

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

Defined in LLVM.AST.Operand

type Rep DIMacroNode = D1 ('MetaData "DIMacroNode" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

Define

Undef

Instances

Eq DIMacroInfo

Defined in LLVM.AST.Operand

Methods

(==) :: DIMacroInfo -> DIMacroInfo -> Bool

(/=) :: DIMacroInfo -> DIMacroInfo -> Bool

Data DIMacroInfo

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIMacroInfo

readList :: ReadS [DIMacroInfo]

readPrec :: ReadPrec DIMacroInfo

readListPrec :: ReadPrec [DIMacroInfo]

Show DIMacroInfo

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIMacroInfo -> ShowS

show :: DIMacroInfo -> String

showList :: [DIMacroInfo] -> ShowS

Generic DIMacroInfo

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

Defined in LLVM.AST.Operand

type Rep DIMacroInfo = D1 ('MetaData "DIMacroInfo" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Define" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Undef" 'PrefixI 'False) (U1 :: Type -> Type))

data DIFlag

Constructors

Accessibility DIAccessibility

FwdDecl

AppleBlock

BlockByrefStruct

VirtualFlag

Artificial

Explicit

Prototyped

ObjcClassComplete

ObjectPointer

Vector

StaticMember

LValueReference

RValueReference

InheritanceFlag DIInheritance

IntroducedVirtual

BitField

NoReturn

ArgumentNotModified

TypePassByValue

TypePassByReference

EnumClass

Thunk

NonTrivial

BigEndian

LittleEndian

AllCallsDescribed

Instances

Eq DIFlag

Defined in LLVM.AST.Operand

Methods

(==) :: DIFlag -> DIFlag -> Bool

(/=) :: DIFlag -> DIFlag -> Bool

Data DIFlag

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIFlag

readList :: ReadS [DIFlag]

readPrec :: ReadPrec DIFlag

readListPrec :: ReadPrec [DIFlag]

Show DIFlag

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIFlag -> ShowS

show :: DIFlag -> String

showList :: [DIFlag] -> ShowS

Generic DIFlag

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

Defined in LLVM.AST.Operand

type Rep DIFlag = D1 ('MetaData "DIFlag" "LLVM.AST.Operand" "llvm-hs-pure-9.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 "ArgumentNotModified" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypePassByValue" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TypePassByReference" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EnumClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Thunk" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NonTrivial" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BigEndian" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LittleEndian" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllCallsDescribed" 'PrefixI 'False) (U1 :: Type -> Type))))))

data DIInheritance

Inheritance flag

Constructors

SingleInheritance

MultipleInheritance

VirtualInheritance

Instances

Eq DIInheritance

Defined in LLVM.AST.Operand

Methods

(==) :: DIInheritance -> DIInheritance -> Bool

(/=) :: DIInheritance -> DIInheritance -> Bool

Data DIInheritance

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIInheritance

readList :: ReadS [DIInheritance]

readPrec :: ReadPrec DIInheritance

readListPrec :: ReadPrec [DIInheritance]

Show DIInheritance

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIInheritance -> ShowS

show :: DIInheritance -> String

showList :: [DIInheritance] -> ShowS

Generic DIInheritance

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

Defined in LLVM.AST.Operand

type Rep DIInheritance = D1 ('MetaData "DIInheritance" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Accessiblity flag

Constructors

Private

Protected

Public

Instances

Eq DIAccessibility

Defined in LLVM.AST.Operand

Methods

(==) :: DIAccessibility -> DIAccessibility -> Bool

(/=) :: DIAccessibility -> DIAccessibility -> Bool

Data DIAccessibility

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIAccessibility

readList :: ReadS [DIAccessibility]

readPrec :: ReadPrec DIAccessibility

readListPrec :: ReadPrec [DIAccessibility]

Show DIAccessibility

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIAccessibility -> ShowS

show :: DIAccessibility -> String

showList :: [DIAccessibility] -> ShowS

Generic DIAccessibility

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

Defined in LLVM.AST.Operand

type Rep DIAccessibility = D1 ('MetaData "DIAccessibility" "LLVM.AST.Operand" "llvm-hs-pure-9.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

A pair of a DIGlobalVariable and a DIExpression.

This is used in the cuGlobals fields of DICompileUnit.

Constructors

GlobalVariableExpression

Fields

• var :: MDRef DIGlobalVariable
• expr :: MDRef DIExpression

Instances

Eq DIGlobalVariableExpression

Defined in LLVM.AST.Operand

Methods

(==) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool

(/=) :: DIGlobalVariableExpression -> DIGlobalVariableExpression -> Bool

Data DIGlobalVariableExpression

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIGlobalVariableExpression

readList :: ReadS [DIGlobalVariableExpression]

readPrec :: ReadPrec DIGlobalVariableExpression

readListPrec :: ReadPrec [DIGlobalVariableExpression]

Show DIGlobalVariableExpression

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIGlobalVariableExpression -> ShowS

show :: DIGlobalVariableExpression -> String

showList :: [DIGlobalVariableExpression] -> ShowS

Generic DIGlobalVariableExpression

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

Defined in LLVM.AST.Operand

type Rep DIGlobalVariableExpression = D1 ('MetaData "DIGlobalVariableExpression" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Constructors

Expression

Fields

• operands :: [DWOp]

Instances

Eq DIExpression

Defined in LLVM.AST.Operand

Methods

(==) :: DIExpression -> DIExpression -> Bool

(/=) :: DIExpression -> DIExpression -> Bool

Data DIExpression

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DIExpression

readList :: ReadS [DIExpression]

readPrec :: ReadPrec DIExpression

readListPrec :: ReadPrec [DIExpression]

Show DIExpression

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DIExpression -> ShowS

show :: DIExpression -> String

showList :: [DIExpression] -> ShowS

Generic DIExpression

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

Defined in LLVM.AST.Operand

type Rep DIExpression = D1 ('MetaData "DIExpression" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Expression" 'PrefixI 'True) (S1 ('MetaSel ('Just "operands") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DWOp])))

data DILocation

Constructors

Location

Fields

• line :: Word32
• column :: Word16
• scope :: MDRef DILocalScope

Instances

Eq DILocation

Defined in LLVM.AST.Operand

Methods

(==) :: DILocation -> DILocation -> Bool

(/=) :: DILocation -> DILocation -> Bool

Data DILocation

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DILocation

readList :: ReadS [DILocation]

readPrec :: ReadPrec DILocation

readListPrec :: ReadPrec [DILocation]

Show DILocation

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DILocation -> ShowS

show :: DILocation -> String

showList :: [DILocation] -> ShowS

Generic DILocation

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

Defined in LLVM.AST.Operand

type Rep DILocation = D1 ('MetaData "DILocation" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: MDNode -> MDNode -> Bool

(/=) :: MDNode -> MDNode -> Bool

Data MDNode

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS MDNode

readList :: ReadS [MDNode]

readPrec :: ReadPrec MDNode

readListPrec :: ReadPrec [MDNode]

Show MDNode

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> MDNode -> ShowS

show :: MDNode -> String

showList :: [MDNode] -> ShowS

Generic MDNode

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

Defined in LLVM.AST.Operand

type Rep MDNode = D1 ('MetaData "MDNode" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: DWOp -> DWOp -> Bool

(/=) :: DWOp -> DWOp -> Bool

Data DWOp

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DWOp

readList :: ReadS [DWOp]

readPrec :: ReadPrec DWOp

readListPrec :: ReadPrec [DWOp]

Show DWOp

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DWOp -> ShowS

show :: DWOp -> String

showList :: [DWOp] -> ShowS

Generic DWOp

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

Defined in LLVM.AST.Operand

type Rep DWOp = D1 ('MetaData "DWOp" "LLVM.AST.Operand" "llvm-hs-pure-9.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

Constructors

DW_OP_LLVM_Fragment

Fields

• offset :: Word64
• size :: Word64

Instances

Eq DWOpFragment

Defined in LLVM.AST.Operand

Methods

(==) :: DWOpFragment -> DWOpFragment -> Bool

(/=) :: DWOpFragment -> DWOpFragment -> Bool

Data DWOpFragment

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS DWOpFragment

readList :: ReadS [DWOpFragment]

readPrec :: ReadPrec DWOpFragment

readListPrec :: ReadPrec [DWOpFragment]

Show DWOpFragment

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DWOpFragment -> ShowS

show :: DWOpFragment -> String

showList :: [DWOpFragment] -> ShowS

Generic DWOpFragment

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

Defined in LLVM.AST.Operand

type Rep DWOpFragment = D1 ('MetaData "DWOpFragment" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

fmap :: (a -> b) -> MDRef a -> MDRef b

(<$) :: a -> MDRef b -> MDRef a

Eq a => Eq (MDRef a)

Defined in LLVM.AST.Operand

Methods

(==) :: MDRef a -> MDRef a -> Bool

(/=) :: MDRef a -> MDRef a -> Bool

Data a => Data (MDRef a)

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 :: forall r r'. (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)

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)

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)

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> MDRef a -> ShowS

show :: MDRef a -> String

showList :: [MDRef a] -> ShowS

Generic (MDRef a)

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)

Defined in LLVM.AST.Operand

type Rep (MDRef a) = D1 ('MetaData "MDRef" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

Defined in LLVM.AST.Operand

Methods

(==) :: MetadataNodeID -> MetadataNodeID -> Bool

(/=) :: MetadataNodeID -> MetadataNodeID -> Bool

Data MetadataNodeID

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS MetadataNodeID

readList :: ReadS [MetadataNodeID]

readPrec :: ReadPrec MetadataNodeID

readListPrec :: ReadPrec [MetadataNodeID]

Show MetadataNodeID

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> MetadataNodeID -> ShowS

show :: MetadataNodeID -> String

showList :: [MetadataNodeID] -> ShowS

Generic MetadataNodeID

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

Defined in LLVM.AST.Operand

type Rep MetadataNodeID = D1 ('MetaData "MetadataNodeID" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'True) (C1 ('MetaCons "MetadataNodeID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data Metadata

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

Defined in LLVM.AST.Operand

Methods

(==) :: Metadata -> Metadata -> Bool

(/=) :: Metadata -> Metadata -> Bool

Data Metadata

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS Metadata

readList :: ReadS [Metadata]

readPrec :: ReadPrec Metadata

readListPrec :: ReadPrec [Metadata]

Show Metadata

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> Metadata -> ShowS

show :: Metadata -> String

showList :: [Metadata] -> ShowS

Generic Metadata

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

Defined in LLVM.AST.Operand

type Rep Metadata = D1 ('MetaData "Metadata" "LLVM.AST.Operand" "llvm-hs-pure-9.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

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

data Operand

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

Constructors

LocalReference Type Name

%foo

ConstantOperand Constant

Constants include GlobalReference, for @foo

MetadataOperand Metadata

Instances

Eq Operand

Defined in LLVM.AST.Operand

Methods

(==) :: Operand -> Operand -> Bool

(/=) :: Operand -> Operand -> Bool

Data Operand

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 :: forall r r'. (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

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

Defined in LLVM.AST.Operand

Methods

readsPrec :: Int -> ReadS Operand

readList :: ReadS [Operand]

readPrec :: ReadPrec Operand

readListPrec :: ReadPrec [Operand]

Show Operand

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> Operand -> ShowS

show :: Operand -> String

showList :: [Operand] -> ShowS

Generic Operand

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

Defined in LLVM.AST.Typed

Methods

typeOf :: CallableOperand -> Type

Typed Operand

Defined in LLVM.AST.Typed

Methods

typeOf :: Operand -> Type

type Rep Operand

Defined in LLVM.AST.Operand

type Rep Operand = D1 ('MetaData "Operand" "LLVM.AST.Operand" "llvm-hs-pure-9.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))))