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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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)
• 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 "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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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' :: MDRef DIType

DITemplateValueParameter

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

Fields

• name :: ShortByteString
• type' :: MDRef DIType
• value :: 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "DITemplateTypeParameter" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :*: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIType))) :+: C1 (MetaCons "DITemplateValueParameter" PrefixI True) ((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :*: S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MDRef DIType))) :*: (S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "TemplateValueParameter" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "GNUTemplateTemplateParam" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "GNUTemplateParameterPack" PrefixI False) (U1 :: * -> *)))

data Encoding

Constructors

AddressEncoding

BooleanEncoding

FloatEncoding

SignedEncoding

SignedCharEncoding

UnsignedEncoding

UnsignedCharEncoding

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) ((C1 (MetaCons "AddressEncoding" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "BooleanEncoding" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "FloatEncoding" PrefixI False) (U1 :: * -> *))) :+: ((C1 (MetaCons "SignedEncoding" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "SignedCharEncoding" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "UnsignedEncoding" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "UnsignedCharEncoding" PrefixI False) (U1 :: * -> *))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: MDRef DIType
• 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 (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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (((C1 (MetaCons "Typedef" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "PointerType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "PtrToMemberType" PrefixI False) (U1 :: * -> *))) :+: (C1 (MetaCons "ReferenceType" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "RValueReferenceType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ConstType" PrefixI False) (U1 :: * -> *)))) :+: ((C1 (MetaCons "VolatileType" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "RestrictType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "AtomicType" PrefixI False) (U1 :: * -> *))) :+: (C1 (MetaCons "Member" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Inheritance" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Friend" PrefixI False) (U1 :: * -> *)))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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)))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "BaseType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "UnspecifiedType" PrefixI False) (U1 :: * -> *))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "NoVirtuality" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Virtual" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "PureVirtual" PrefixI False) (U1 :: * -> *)))

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)
• variables :: [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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 "variables") 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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

None

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "None" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "MD5" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "SHA1" PrefixI False) (U1 :: * -> *)))

data DIFile

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

Constructors

File

Fields

• filename :: ShortByteString
• directory :: ShortByteString
• checksum :: ShortByteString
• checksumKind :: ChecksumKind

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 ShortByteString) :*: S1 (MetaSel (Just "checksumKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChecksumKind))))

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
• gnuPubnames :: 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 "gnuPubnames") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "NoDebug" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "FullDebug" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "LineTablesOnly" PrefixI False) (U1 :: * -> *)))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 DISubrange

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

Constructors

Subrange

Fields

• count :: Int64
• 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "Subrange" PrefixI True) (S1 (MetaSel (Just "count") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64) :*: S1 (MetaSel (Just "lowerBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

data DIEnumerator

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

Constructors

Enumerator

Fields

• value :: Int64
• 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "Enumerator" PrefixI True) (S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64) :*: 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "ImportedModule" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ImportedDeclaration" PrefixI False) (U1 :: * -> *))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "Define" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Undef" PrefixI False) (U1 :: * -> *))

data DIFlag

Constructors

Accessibility DIAccessibility

FwdDecl

AppleBlock

BlockByrefStruct

VirtualFlag

Artificial

Explicit

Prototyped

ObjcClassComplete

ObjectPointer

Vector

StaticMember

LValueReference

RValueReference

InheritanceFlag DIInheritance

IntroducedVirtual

BitField

NoReturn

MainSubprogram

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) ((((C1 (MetaCons "Accessibility" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIAccessibility)) :+: C1 (MetaCons "FwdDecl" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "AppleBlock" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "BlockByrefStruct" PrefixI False) (U1 :: * -> *))) :+: ((C1 (MetaCons "VirtualFlag" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Artificial" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "Explicit" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Prototyped" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ObjcClassComplete" PrefixI False) (U1 :: * -> *))))) :+: (((C1 (MetaCons "ObjectPointer" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Vector" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "StaticMember" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "LValueReference" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "RValueReference" PrefixI False) (U1 :: * -> *)))) :+: ((C1 (MetaCons "InheritanceFlag" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIInheritance)) :+: C1 (MetaCons "IntroducedVirtual" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "BitField" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "NoReturn" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "MainSubprogram" PrefixI False) (U1 :: * -> *))))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "SingleInheritance" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "MultipleInheritance" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "VirtualInheritance" PrefixI False) (U1 :: * -> *)))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (C1 (MetaCons "Private" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Protected" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Public" PrefixI False) (U1 :: * -> *)))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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_PlusUConst Word64

DW_OP_Plus

DW_OP_Minus

DW_OP_Mul

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" False) (((C1 (MetaCons "DwOpFragment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DWOpFragment)) :+: C1 (MetaCons "DW_OP_StackValue" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "DW_OP_Swap" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "DW_OP_ConstU" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) :+: 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 :: * -> *) :+: C1 (MetaCons "DW_OP_Minus" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "DW_OP_Mul" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "DW_OP_Deref" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "DW_OP_XDeref" PrefixI False) (U1 :: * -> *)))))

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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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) :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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 :: (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 :: * -> *

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-6.2.1-8ETY0EFB21q8SO4DjmfkXC" 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))))