llvm-hs-pure-9.0.0: Pure Haskell LLVM functionality (no FFI).
Safe HaskellSafe
LanguageHaskell2010

LLVM.AST.Operand

Description

A type to represent operands to LLVM Instructions

Synopsis

Documentation

data DILocalVariable Source #

Instances

Instances details
Eq DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Data DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocalVariable -> c DILocalVariable #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocalVariable #

toConstr :: DILocalVariable -> Constr #

dataTypeOf :: DILocalVariable -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocalVariable) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocalVariable) #

gmapT :: (forall b. Data b => b -> b) -> DILocalVariable -> DILocalVariable #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocalVariable -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocalVariable -> r #

gmapQ :: (forall d. Data d => d -> u) -> DILocalVariable -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocalVariable -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalVariable -> m DILocalVariable #

Ord DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Read DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Show DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DILocalVariable :: Type -> Type #

type Rep DILocalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

data DIGlobalVariable Source #

Instances

Instances details
Eq DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIGlobalVariable -> c DIGlobalVariable #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIGlobalVariable #

toConstr :: DIGlobalVariable -> Constr #

dataTypeOf :: DIGlobalVariable -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIGlobalVariable) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIGlobalVariable) #

gmapT :: (forall b. Data b => b -> b) -> DIGlobalVariable -> DIGlobalVariable #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariable -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariable -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIGlobalVariable -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIGlobalVariable -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariable -> m DIGlobalVariable #

Ord DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIGlobalVariable :: Type -> Type #

type Rep DIGlobalVariable Source # 
Instance details

Defined in LLVM.AST.Operand

data DIVariable Source #

Instances

Instances details
Eq DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIVariable -> c DIVariable #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIVariable #

toConstr :: DIVariable -> Constr #

dataTypeOf :: DIVariable -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIVariable) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIVariable) #

gmapT :: (forall b. Data b => b -> b) -> DIVariable -> DIVariable #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIVariable -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIVariable -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIVariable -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIVariable -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIVariable -> m DIVariable #

Ord DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIVariable :: Type -> Type #

type Rep DIVariable Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DILexicalBlockBase Source #

Instances

Instances details
Eq DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Data DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILexicalBlockBase -> c DILexicalBlockBase #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILexicalBlockBase #

toConstr :: DILexicalBlockBase -> Constr #

dataTypeOf :: DILexicalBlockBase -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILexicalBlockBase) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILexicalBlockBase) #

gmapT :: (forall b. Data b => b -> b) -> DILexicalBlockBase -> DILexicalBlockBase #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILexicalBlockBase -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILexicalBlockBase -> r #

gmapQ :: (forall d. Data d => d -> u) -> DILexicalBlockBase -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DILexicalBlockBase -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILexicalBlockBase -> m DILexicalBlockBase #

Ord DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Read DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Show DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DILexicalBlockBase :: Type -> Type #

type Rep DILexicalBlockBase Source # 
Instance details

Defined in LLVM.AST.Operand

data DITemplateParameter Source #

Constructors

DITemplateTypeParameter

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

Fields

DITemplateValueParameter

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

Fields

Instances

Instances details
Eq DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Data DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DITemplateParameter -> c DITemplateParameter #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DITemplateParameter #

toConstr :: DITemplateParameter -> Constr #

dataTypeOf :: DITemplateParameter -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DITemplateParameter) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DITemplateParameter) #

gmapT :: (forall b. Data b => b -> b) -> DITemplateParameter -> DITemplateParameter #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DITemplateParameter -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DITemplateParameter -> r #

gmapQ :: (forall d. Data d => d -> u) -> DITemplateParameter -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DITemplateParameter -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DITemplateParameter -> m DITemplateParameter #

Ord DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Read DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Show DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DITemplateParameter :: Type -> Type #

type Rep DITemplateParameter Source # 
Instance details

Defined in LLVM.AST.Operand

data TemplateValueParameterTag Source #

Instances

Instances details
Eq TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Data TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TemplateValueParameterTag -> c TemplateValueParameterTag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TemplateValueParameterTag #

toConstr :: TemplateValueParameterTag -> Constr #

dataTypeOf :: TemplateValueParameterTag -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TemplateValueParameterTag) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TemplateValueParameterTag) #

gmapT :: (forall b. Data b => b -> b) -> TemplateValueParameterTag -> TemplateValueParameterTag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TemplateValueParameterTag -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TemplateValueParameterTag -> r #

gmapQ :: (forall d. Data d => d -> u) -> TemplateValueParameterTag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TemplateValueParameterTag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TemplateValueParameterTag -> m TemplateValueParameterTag #

Ord TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Read TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Show TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Generic TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep TemplateValueParameterTag :: Type -> Type #

type Rep TemplateValueParameterTag Source # 
Instance details

Defined in LLVM.AST.Operand

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

data Encoding Source #

Instances

Instances details
Eq Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Data Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Encoding -> c Encoding #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Encoding #

toConstr :: Encoding -> Constr #

dataTypeOf :: Encoding -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Encoding) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Encoding) #

gmapT :: (forall b. Data b => b -> b) -> Encoding -> Encoding #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Encoding -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Encoding -> r #

gmapQ :: (forall d. Data d => d -> u) -> Encoding -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Encoding -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Encoding -> m Encoding #

Ord Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Read Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Show Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Generic Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep Encoding :: Type -> Type #

Methods

from :: Encoding -> Rep Encoding x #

to :: Rep Encoding x -> Encoding #

type Rep Encoding Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep Encoding = D1 ('MetaData "Encoding" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (((C1 ('MetaCons "AddressEncoding" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BooleanEncoding" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FloatEncoding" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SignedEncoding" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SignedCharEncoding" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnsignedEncoding" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnsignedCharEncoding" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UTFEncoding" 'PrefixI 'False) (U1 :: Type -> Type))))

data DICompositeType Source #

Constructors

DIArrayType 
DIClassType 
DIEnumerationType 
DIStructureType 
DIUnionType 

Instances

Instances details
Eq DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Data DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICompositeType -> c DICompositeType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICompositeType #

toConstr :: DICompositeType -> Constr #

dataTypeOf :: DICompositeType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICompositeType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICompositeType) #

gmapT :: (forall b. Data b => b -> b) -> DICompositeType -> DICompositeType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICompositeType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICompositeType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DICompositeType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DICompositeType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompositeType -> m DICompositeType #

Ord DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Read DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Show DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DICompositeType :: Type -> Type #

type Rep DICompositeType Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DICompositeType = D1 ('MetaData "DICompositeType" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) ((C1 ('MetaCons "DIArrayType" 'PrefixI 'True) ((S1 ('MetaSel ('Just "subscripts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DISubrange]) :*: S1 ('MetaSel ('Just "elementTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :*: (S1 ('MetaSel ('Just "sizeInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "alignInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag])))) :+: C1 ('MetaCons "DIClassType" 'PrefixI 'True) (((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIFile))))) :*: (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag]) :*: S1 ('MetaSel ('Just "derivedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))) :*: ((S1 ('MetaSel ('Just "elements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :*: (S1 ('MetaSel ('Just "vtableHolder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType))) :*: S1 ('MetaSel ('Just "templateParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DITemplateParameter]))) :*: (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "sizeInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "alignInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))))) :+: (C1 ('MetaCons "DIEnumerationType" 'PrefixI 'True) (((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)) :*: (S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :*: S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :*: ((S1 ('MetaSel ('Just "values") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIEnumerator]) :*: S1 ('MetaSel ('Just "baseType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType)))) :*: (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "sizeInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "alignInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))))) :+: (C1 ('MetaCons "DIStructureType" 'PrefixI 'True) (((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIFile))))) :*: (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag]) :*: S1 ('MetaSel ('Just "derivedFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType)))))) :*: ((S1 ('MetaSel ('Just "elements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :*: (S1 ('MetaSel ('Just "runtimeLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :*: S1 ('MetaSel ('Just "vtableHolder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType))))) :*: (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "sizeInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "alignInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))))) :+: C1 ('MetaCons "DIUnionType" 'PrefixI 'True) (((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)) :*: (S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :*: (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag])))) :*: ((S1 ('MetaSel ('Just "elements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef (Either DIDerivedType DISubprogram)]) :*: S1 ('MetaSel ('Just "runtimeLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)) :*: (S1 ('MetaSel ('Just "identifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "sizeInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "alignInBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))))))))

data DIDerivedType Source #

Instances

Instances details
Eq DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIDerivedType -> c DIDerivedType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIDerivedType #

toConstr :: DIDerivedType -> Constr #

dataTypeOf :: DIDerivedType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIDerivedType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIDerivedType) #

gmapT :: (forall b. Data b => b -> b) -> DIDerivedType -> DIDerivedType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIDerivedType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIDerivedType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIDerivedType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIDerivedType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIDerivedType -> m DIDerivedType #

Ord DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIDerivedType :: Type -> Type #

type Rep DIDerivedType Source # 
Instance details

Defined in LLVM.AST.Operand

data DerivedTypeTag Source #

Instances

Instances details
Eq DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Data DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivedTypeTag -> c DerivedTypeTag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivedTypeTag #

toConstr :: DerivedTypeTag -> Constr #

dataTypeOf :: DerivedTypeTag -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivedTypeTag) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivedTypeTag) #

gmapT :: (forall b. Data b => b -> b) -> DerivedTypeTag -> DerivedTypeTag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivedTypeTag -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivedTypeTag -> r #

gmapQ :: (forall d. Data d => d -> u) -> DerivedTypeTag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivedTypeTag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivedTypeTag -> m DerivedTypeTag #

Ord DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Read DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Show DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DerivedTypeTag :: Type -> Type #

type Rep DerivedTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DerivedTypeTag = D1 ('MetaData "DerivedTypeTag" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (((C1 ('MetaCons "Typedef" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PointerType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PtrToMemberType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ReferenceType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RValueReferenceType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstType" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "VolatileType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RestrictType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AtomicType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Member" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Inheritance" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Friend" 'PrefixI 'False) (U1 :: Type -> Type)))))

data DISubroutineType Source #

Constructors

SubroutineType 

Fields

Instances

Instances details
Eq DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Data DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubroutineType -> c DISubroutineType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubroutineType #

toConstr :: DISubroutineType -> Constr #

dataTypeOf :: DISubroutineType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubroutineType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubroutineType) #

gmapT :: (forall b. Data b => b -> b) -> DISubroutineType -> DISubroutineType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubroutineType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubroutineType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DISubroutineType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubroutineType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubroutineType -> m DISubroutineType #

Ord DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Read DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Show DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DISubroutineType :: Type -> Type #

type Rep DISubroutineType Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DISubroutineType = D1 ('MetaData "DISubroutineType" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "SubroutineType" 'PrefixI 'True) (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag]) :*: (S1 ('MetaSel ('Just "cc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8) :*: S1 ('MetaSel ('Just "typeArray") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe (MDRef DIType)]))))

data DIBasicType Source #

Instances

Instances details
Eq DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIBasicType -> c DIBasicType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIBasicType #

toConstr :: DIBasicType -> Constr #

dataTypeOf :: DIBasicType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIBasicType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIBasicType) #

gmapT :: (forall b. Data b => b -> b) -> DIBasicType -> DIBasicType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIBasicType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIBasicType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIBasicType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIBasicType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIBasicType -> m DIBasicType #

Ord DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIBasicType :: Type -> Type #

type Rep DIBasicType Source # 
Instance details

Defined in LLVM.AST.Operand

data DIType Source #

Instances

Instances details
Eq DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIType -> c DIType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIType #

toConstr :: DIType -> Constr #

dataTypeOf :: DIType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIType) #

gmapT :: (forall b. Data b => b -> b) -> DIType -> DIType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIType -> m DIType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIType -> m DIType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIType -> m DIType #

Ord DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIType Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIType :: Type -> Type #

Methods

from :: DIType -> Rep DIType x #

to :: Rep DIType x -> DIType #

type Rep DIType Source # 
Instance details

Defined in LLVM.AST.Operand

data BasicTypeTag Source #

Constructors

BaseType 
UnspecifiedType 

Instances

Instances details
Eq BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Data BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BasicTypeTag -> c BasicTypeTag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BasicTypeTag #

toConstr :: BasicTypeTag -> Constr #

dataTypeOf :: BasicTypeTag -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BasicTypeTag) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BasicTypeTag) #

gmapT :: (forall b. Data b => b -> b) -> BasicTypeTag -> BasicTypeTag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BasicTypeTag -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BasicTypeTag -> r #

gmapQ :: (forall d. Data d => d -> u) -> BasicTypeTag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BasicTypeTag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicTypeTag -> m BasicTypeTag #

Ord BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Read BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Show BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Generic BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep BasicTypeTag :: Type -> Type #

type Rep BasicTypeTag Source # 
Instance details

Defined in LLVM.AST.Operand

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

data Virtuality Source #

Instances

Instances details
Eq Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Data Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Virtuality -> c Virtuality #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Virtuality #

toConstr :: Virtuality -> Constr #

dataTypeOf :: Virtuality -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Virtuality) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Virtuality) #

gmapT :: (forall b. Data b => b -> b) -> Virtuality -> Virtuality #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Virtuality -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Virtuality -> r #

gmapQ :: (forall d. Data d => d -> u) -> Virtuality -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Virtuality -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Virtuality -> m Virtuality #

Ord Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Read Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Show Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Generic Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep Virtuality :: Type -> Type #

type Rep Virtuality Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DISubprogram Source #

Instances

Instances details
Eq DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Data DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubprogram -> c DISubprogram #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubprogram #

toConstr :: DISubprogram -> Constr #

dataTypeOf :: DISubprogram -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubprogram) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubprogram) #

gmapT :: (forall b. Data b => b -> b) -> DISubprogram -> DISubprogram #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubprogram -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubprogram -> r #

gmapQ :: (forall d. Data d => d -> u) -> DISubprogram -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubprogram -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubprogram -> m DISubprogram #

Ord DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Read DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Show DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DISubprogram :: Type -> Type #

type Rep DISubprogram Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DISubprogram = D1 ('MetaData "DISubprogram" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Subprogram" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)) :*: (S1 ('MetaSel ('Just "linkageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIFile))) :*: S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))) :*: ((S1 ('MetaSel ('Just "type'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DISubroutineType))) :*: S1 ('MetaSel ('Just "localToUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "definition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "scopeLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "containingType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIType))))))) :*: (((S1 ('MetaSel ('Just "virtuality") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Virtuality) :*: S1 ('MetaSel ('Just "virtualityIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "thisAdjustment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32) :*: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DIFlag]) :*: S1 ('MetaSel ('Just "optimized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :*: ((S1 ('MetaSel ('Just "unit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DICompileUnit))) :*: S1 ('MetaSel ('Just "templateParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DITemplateParameter])) :*: (S1 ('MetaSel ('Just "declaration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DISubprogram))) :*: (S1 ('MetaSel ('Just "retainedNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DILocalVariable]) :*: S1 ('MetaSel ('Just "thrownTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DIType])))))))

data DILocalScope Source #

Instances

Instances details
Eq DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Data DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocalScope -> c DILocalScope #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocalScope #

toConstr :: DILocalScope -> Constr #

dataTypeOf :: DILocalScope -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocalScope) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocalScope) #

gmapT :: (forall b. Data b => b -> b) -> DILocalScope -> DILocalScope #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocalScope -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocalScope -> r #

gmapQ :: (forall d. Data d => d -> u) -> DILocalScope -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocalScope -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocalScope -> m DILocalScope #

Ord DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Read DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Show DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DILocalScope :: Type -> Type #

type Rep DILocalScope Source # 
Instance details

Defined in LLVM.AST.Operand

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

data ChecksumKind Source #

Constructors

MD5 
SHA1 

Instances

Instances details
Eq ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Data ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ChecksumKind -> c ChecksumKind #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChecksumKind #

toConstr :: ChecksumKind -> Constr #

dataTypeOf :: ChecksumKind -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChecksumKind) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChecksumKind) #

gmapT :: (forall b. Data b => b -> b) -> ChecksumKind -> ChecksumKind #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumKind -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumKind -> r #

gmapQ :: (forall d. Data d => d -> u) -> ChecksumKind -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ChecksumKind -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumKind -> m ChecksumKind #

Ord ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Read ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Show ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Generic ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep ChecksumKind :: Type -> Type #

type Rep ChecksumKind Source # 
Instance details

Defined in LLVM.AST.Operand

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

data ChecksumInfo Source #

Instances

Instances details
Eq ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Data ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ChecksumInfo -> c ChecksumInfo #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChecksumInfo #

toConstr :: ChecksumInfo -> Constr #

dataTypeOf :: ChecksumInfo -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChecksumInfo) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChecksumInfo) #

gmapT :: (forall b. Data b => b -> b) -> ChecksumInfo -> ChecksumInfo #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumInfo -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChecksumInfo -> r #

gmapQ :: (forall d. Data d => d -> u) -> ChecksumInfo -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ChecksumInfo -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChecksumInfo -> m ChecksumInfo #

Ord ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Read ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Show ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Generic ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep ChecksumInfo :: Type -> Type #

type Rep ChecksumInfo Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep ChecksumInfo = D1 ('MetaData "ChecksumInfo" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "ChecksumInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "checksumKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChecksumKind) :*: S1 ('MetaSel ('Just "checksumValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

data DIFile Source #

Instances

Instances details
Eq DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIFile -> c DIFile #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIFile #

toConstr :: DIFile -> Constr #

dataTypeOf :: DIFile -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIFile) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIFile) #

gmapT :: (forall b. Data b => b -> b) -> DIFile -> DIFile #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIFile -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIFile -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIFile -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIFile -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFile -> m DIFile #

Ord DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIFile :: Type -> Type #

Methods

from :: DIFile -> Rep DIFile x #

to :: Rep DIFile x -> DIFile #

type Rep DIFile Source # 
Instance details

Defined in LLVM.AST.Operand

data DICompileUnit Source #

Instances

Instances details
Eq DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Data DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICompileUnit -> c DICompileUnit #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICompileUnit #

toConstr :: DICompileUnit -> Constr #

dataTypeOf :: DICompileUnit -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICompileUnit) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICompileUnit) #

gmapT :: (forall b. Data b => b -> b) -> DICompileUnit -> DICompileUnit #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICompileUnit -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICompileUnit -> r #

gmapQ :: (forall d. Data d => d -> u) -> DICompileUnit -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DICompileUnit -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICompileUnit -> m DICompileUnit #

Ord DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Read DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Show DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DICompileUnit :: Type -> Type #

type Rep DICompileUnit Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DICompileUnit = D1 ('MetaData "DICompileUnit" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "CompileUnit" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "language") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "file") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MDRef DIFile))) :*: (S1 ('MetaSel ('Just "producer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "optimized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "runtimeVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "splitDebugFileName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "emissionKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DebugEmissionKind) :*: S1 ('MetaSel ('Just "enums") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DICompositeType]))))) :*: (((S1 ('MetaSel ('Just "retainedTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef (Either DIType DISubprogram)]) :*: S1 ('MetaSel ('Just "globals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DIGlobalVariableExpression])) :*: (S1 ('MetaSel ('Just "imports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DIImportedEntity]) :*: S1 ('MetaSel ('Just "macros") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MDRef DIMacroNode]))) :*: ((S1 ('MetaSel ('Just "dWOId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "splitDebugInlining") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "debugInfoForProfiling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "nameTableKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DebugNameTableKind) :*: S1 ('MetaSel ('Just "debugBaseAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))))

data DebugNameTableKind Source #

Instances

Instances details
Eq DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Data DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DebugNameTableKind -> c DebugNameTableKind #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DebugNameTableKind #

toConstr :: DebugNameTableKind -> Constr #

dataTypeOf :: DebugNameTableKind -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DebugNameTableKind) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DebugNameTableKind) #

gmapT :: (forall b. Data b => b -> b) -> DebugNameTableKind -> DebugNameTableKind #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DebugNameTableKind -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DebugNameTableKind -> r #

gmapQ :: (forall d. Data d => d -> u) -> DebugNameTableKind -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DebugNameTableKind -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugNameTableKind -> m DebugNameTableKind #

Ord DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Read DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Show DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DebugNameTableKind :: Type -> Type #

type Rep DebugNameTableKind Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DebugEmissionKind Source #

Instances

Instances details
Eq DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Data DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DebugEmissionKind -> c DebugEmissionKind #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DebugEmissionKind #

toConstr :: DebugEmissionKind -> Constr #

dataTypeOf :: DebugEmissionKind -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DebugEmissionKind) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DebugEmissionKind) #

gmapT :: (forall b. Data b => b -> b) -> DebugEmissionKind -> DebugEmissionKind #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DebugEmissionKind -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DebugEmissionKind -> r #

gmapQ :: (forall d. Data d => d -> u) -> DebugEmissionKind -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DebugEmissionKind -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DebugEmissionKind -> m DebugEmissionKind #

Ord DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Read DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Show DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DebugEmissionKind :: Type -> Type #

type Rep DebugEmissionKind Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DINamespace Source #

Instances

Instances details
Eq DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Data DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DINamespace -> c DINamespace #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DINamespace #

toConstr :: DINamespace -> Constr #

dataTypeOf :: DINamespace -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DINamespace) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DINamespace) #

gmapT :: (forall b. Data b => b -> b) -> DINamespace -> DINamespace #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DINamespace -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DINamespace -> r #

gmapQ :: (forall d. Data d => d -> u) -> DINamespace -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DINamespace -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DINamespace -> m DINamespace #

Ord DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Read DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Show DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DINamespace :: Type -> Type #

type Rep DINamespace Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DINamespace = D1 ('MetaData "DINamespace" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Namespace" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: (S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (MDRef DIScope))) :*: S1 ('MetaSel ('Just "exportSymbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data DIModule Source #

Instances

Instances details
Eq DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIModule -> c DIModule #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIModule #

toConstr :: DIModule -> Constr #

dataTypeOf :: DIModule -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIModule) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIModule) #

gmapT :: (forall b. Data b => b -> b) -> DIModule -> DIModule #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIModule -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIModule -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIModule -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIModule -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIModule -> m DIModule #

Ord DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIModule :: Type -> Type #

Methods

from :: DIModule -> Rep DIModule x #

to :: Rep DIModule x -> DIModule #

type Rep DIModule Source # 
Instance details

Defined in LLVM.AST.Operand

data DIScope Source #

Instances

Instances details
Eq DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIScope -> c DIScope #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIScope #

toConstr :: DIScope -> Constr #

dataTypeOf :: DIScope -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIScope) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIScope) #

gmapT :: (forall b. Data b => b -> b) -> DIScope -> DIScope #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIScope -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIScope -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIScope -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIScope -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIScope -> m DIScope #

Ord DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIScope :: Type -> Type #

Methods

from :: DIScope -> Rep DIScope x #

to :: Rep DIScope x -> DIScope #

type Rep DIScope Source # 
Instance details

Defined in LLVM.AST.Operand

data DICount Source #

Instances

Instances details
Eq DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DICount -> c DICount #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DICount #

toConstr :: DICount -> Constr #

dataTypeOf :: DICount -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DICount) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DICount) #

gmapT :: (forall b. Data b => b -> b) -> DICount -> DICount #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DICount -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DICount -> r #

gmapQ :: (forall d. Data d => d -> u) -> DICount -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DICount -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DICount -> m DICount #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DICount -> m DICount #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DICount -> m DICount #

Ord DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Read DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Show DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DICount Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DICount :: Type -> Type #

Methods

from :: DICount -> Rep DICount x #

to :: Rep DICount x -> DICount #

type Rep DICount Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DICount = D1 ('MetaData "DICount" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "DICountConstant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "DICountVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MDRef DIVariable))))

data DISubrange Source #

Constructors

Subrange 

Fields

Instances

Instances details
Eq DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Data DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DISubrange -> c DISubrange #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DISubrange #

toConstr :: DISubrange -> Constr #

dataTypeOf :: DISubrange -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DISubrange) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DISubrange) #

gmapT :: (forall b. Data b => b -> b) -> DISubrange -> DISubrange #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DISubrange -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DISubrange -> r #

gmapQ :: (forall d. Data d => d -> u) -> DISubrange -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DISubrange -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DISubrange -> m DISubrange #

Ord DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Read DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Show DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DISubrange :: Type -> Type #

type Rep DISubrange Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DISubrange = D1 ('MetaData "DISubrange" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Subrange" 'PrefixI 'True) (S1 ('MetaSel ('Just "count") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DICount) :*: S1 ('MetaSel ('Just "lowerBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

data DIEnumerator Source #

Constructors

Enumerator 

Instances

Instances details
Eq DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIEnumerator -> c DIEnumerator #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIEnumerator #

toConstr :: DIEnumerator -> Constr #

dataTypeOf :: DIEnumerator -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIEnumerator) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIEnumerator) #

gmapT :: (forall b. Data b => b -> b) -> DIEnumerator -> DIEnumerator #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIEnumerator -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIEnumerator -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIEnumerator -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIEnumerator -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIEnumerator -> m DIEnumerator #

Ord DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIEnumerator :: Type -> Type #

type Rep DIEnumerator Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DIEnumerator = D1 ('MetaData "DIEnumerator" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Enumerator" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "isUnsigned") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString))))

data DIImportedEntity Source #

Instances

Instances details
Eq DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIImportedEntity -> c DIImportedEntity #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIImportedEntity #

toConstr :: DIImportedEntity -> Constr #

dataTypeOf :: DIImportedEntity -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIImportedEntity) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIImportedEntity) #

gmapT :: (forall b. Data b => b -> b) -> DIImportedEntity -> DIImportedEntity #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIImportedEntity -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIImportedEntity -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIImportedEntity -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIImportedEntity -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIImportedEntity -> m DIImportedEntity #

Ord DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIImportedEntity :: Type -> Type #

type Rep DIImportedEntity Source # 
Instance details

Defined in LLVM.AST.Operand

data ImportedEntityTag Source #

Instances

Instances details
Eq ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Data ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImportedEntityTag -> c ImportedEntityTag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImportedEntityTag #

toConstr :: ImportedEntityTag -> Constr #

dataTypeOf :: ImportedEntityTag -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImportedEntityTag) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImportedEntityTag) #

gmapT :: (forall b. Data b => b -> b) -> ImportedEntityTag -> ImportedEntityTag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImportedEntityTag -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImportedEntityTag -> r #

gmapQ :: (forall d. Data d => d -> u) -> ImportedEntityTag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImportedEntityTag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImportedEntityTag -> m ImportedEntityTag #

Ord ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Read ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Show ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Generic ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep ImportedEntityTag :: Type -> Type #

type Rep ImportedEntityTag Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DIObjCProperty Source #

Instances

Instances details
Eq DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIObjCProperty -> c DIObjCProperty #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIObjCProperty #

toConstr :: DIObjCProperty -> Constr #

dataTypeOf :: DIObjCProperty -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIObjCProperty) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIObjCProperty) #

gmapT :: (forall b. Data b => b -> b) -> DIObjCProperty -> DIObjCProperty #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIObjCProperty -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIObjCProperty -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIObjCProperty -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIObjCProperty -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIObjCProperty -> m DIObjCProperty #

Ord DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIObjCProperty :: Type -> Type #

type Rep DIObjCProperty Source # 
Instance details

Defined in LLVM.AST.Operand

data DINode Source #

Instances

Instances details
Eq DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DINode -> c DINode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DINode #

toConstr :: DINode -> Constr #

dataTypeOf :: DINode -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DINode) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DINode) #

gmapT :: (forall b. Data b => b -> b) -> DINode -> DINode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DINode -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DINode -> r #

gmapQ :: (forall d. Data d => d -> u) -> DINode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DINode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DINode -> m DINode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DINode -> m DINode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DINode -> m DINode #

Ord DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Read DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Show DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DINode Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DINode :: Type -> Type #

Methods

from :: DINode -> Rep DINode x #

to :: Rep DINode x -> DINode #

type Rep DINode Source # 
Instance details

Defined in LLVM.AST.Operand

data DIMacroNode Source #

Instances

Instances details
Eq DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIMacroNode -> c DIMacroNode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIMacroNode #

toConstr :: DIMacroNode -> Constr #

dataTypeOf :: DIMacroNode -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIMacroNode) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIMacroNode) #

gmapT :: (forall b. Data b => b -> b) -> DIMacroNode -> DIMacroNode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroNode -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroNode -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIMacroNode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIMacroNode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroNode -> m DIMacroNode #

Ord DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIMacroNode :: Type -> Type #

type Rep DIMacroNode Source # 
Instance details

Defined in LLVM.AST.Operand

data DIMacroInfo Source #

Constructors

Define 
Undef 

Instances

Instances details
Eq DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIMacroInfo -> c DIMacroInfo #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIMacroInfo #

toConstr :: DIMacroInfo -> Constr #

dataTypeOf :: DIMacroInfo -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIMacroInfo) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIMacroInfo) #

gmapT :: (forall b. Data b => b -> b) -> DIMacroInfo -> DIMacroInfo #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroInfo -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIMacroInfo -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIMacroInfo -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIMacroInfo -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIMacroInfo -> m DIMacroInfo #

Ord DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIMacroInfo :: Type -> Type #

type Rep DIMacroInfo Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DIFlag Source #

Instances

Instances details
Eq DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIFlag -> c DIFlag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIFlag #

toConstr :: DIFlag -> Constr #

dataTypeOf :: DIFlag -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIFlag) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIFlag) #

gmapT :: (forall b. Data b => b -> b) -> DIFlag -> DIFlag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIFlag -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIFlag -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIFlag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIFlag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIFlag -> m DIFlag #

Ord DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIFlag :: Type -> Type #

Methods

from :: DIFlag -> Rep DIFlag x #

to :: Rep DIFlag x -> DIFlag #

type Rep DIFlag Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DIFlag = D1 ('MetaData "DIFlag" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) ((((C1 ('MetaCons "Accessibility" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DIAccessibility)) :+: (C1 ('MetaCons "FwdDecl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppleBlock" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BlockByrefStruct" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VirtualFlag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Artificial" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Explicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Prototyped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ObjcClassComplete" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ObjectPointer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Vector" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StaticMember" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LValueReference" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "RValueReference" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InheritanceFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DIInheritance)) :+: C1 ('MetaCons "IntroducedVirtual" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BitField" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoReturn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ArgumentNotModified" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypePassByValue" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TypePassByReference" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EnumClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Thunk" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NonTrivial" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BigEndian" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LittleEndian" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllCallsDescribed" 'PrefixI 'False) (U1 :: Type -> Type))))))

data DIInheritance Source #

Inheritance flag

Instances

Instances details
Eq DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIInheritance -> c DIInheritance #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIInheritance #

toConstr :: DIInheritance -> Constr #

dataTypeOf :: DIInheritance -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIInheritance) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIInheritance) #

gmapT :: (forall b. Data b => b -> b) -> DIInheritance -> DIInheritance #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIInheritance -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIInheritance -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIInheritance -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIInheritance -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIInheritance -> m DIInheritance #

Ord DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIInheritance :: Type -> Type #

type Rep DIInheritance Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DIAccessibility Source #

Accessiblity flag

Constructors

Private 
Protected 
Public 

Instances

Instances details
Eq DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIAccessibility -> c DIAccessibility #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIAccessibility #

toConstr :: DIAccessibility -> Constr #

dataTypeOf :: DIAccessibility -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIAccessibility) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIAccessibility) #

gmapT :: (forall b. Data b => b -> b) -> DIAccessibility -> DIAccessibility #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIAccessibility -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIAccessibility -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIAccessibility -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIAccessibility -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIAccessibility -> m DIAccessibility #

Ord DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIAccessibility :: Type -> Type #

type Rep DIAccessibility Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DIGlobalVariableExpression Source #

A pair of a DIGlobalVariable and a DIExpression.

This is used in the cuGlobals fields of DICompileUnit.

Instances

Instances details
Eq DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIGlobalVariableExpression -> c DIGlobalVariableExpression #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIGlobalVariableExpression #

toConstr :: DIGlobalVariableExpression -> Constr #

dataTypeOf :: DIGlobalVariableExpression -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIGlobalVariableExpression) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIGlobalVariableExpression) #

gmapT :: (forall b. Data b => b -> b) -> DIGlobalVariableExpression -> DIGlobalVariableExpression #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariableExpression -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIGlobalVariableExpression -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIGlobalVariableExpression -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIGlobalVariableExpression -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIGlobalVariableExpression -> m DIGlobalVariableExpression #

Ord DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIGlobalVariableExpression :: Type -> Type #

type Rep DIGlobalVariableExpression Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DIGlobalVariableExpression = D1 ('MetaData "DIGlobalVariableExpression" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "GlobalVariableExpression" 'PrefixI 'True) (S1 ('MetaSel ('Just "var") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MDRef DIGlobalVariable)) :*: S1 ('MetaSel ('Just "expr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MDRef DIExpression))))

data DIExpression Source #

Constructors

Expression 

Fields

Instances

Instances details
Eq DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Data DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DIExpression -> c DIExpression #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DIExpression #

toConstr :: DIExpression -> Constr #

dataTypeOf :: DIExpression -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DIExpression) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DIExpression) #

gmapT :: (forall b. Data b => b -> b) -> DIExpression -> DIExpression #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DIExpression -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DIExpression -> r #

gmapQ :: (forall d. Data d => d -> u) -> DIExpression -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DIExpression -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DIExpression -> m DIExpression #

Ord DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Read DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Show DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DIExpression :: Type -> Type #

type Rep DIExpression Source # 
Instance details

Defined in LLVM.AST.Operand

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

data DILocation Source #

Constructors

Location 

Instances

Instances details
Eq DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Data DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DILocation -> c DILocation #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DILocation #

toConstr :: DILocation -> Constr #

dataTypeOf :: DILocation -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DILocation) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DILocation) #

gmapT :: (forall b. Data b => b -> b) -> DILocation -> DILocation #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DILocation -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DILocation -> r #

gmapQ :: (forall d. Data d => d -> u) -> DILocation -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DILocation -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DILocation -> m DILocation #

Ord DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Read DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Show DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DILocation :: Type -> Type #

type Rep DILocation Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DILocation = D1 ('MetaData "DILocation" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :*: S1 ('MetaSel ('Just "scope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MDRef DILocalScope)))))

data MDNode Source #

Instances

Instances details
Eq MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MDNode -> c MDNode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MDNode #

toConstr :: MDNode -> Constr #

dataTypeOf :: MDNode -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MDNode) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MDNode) #

gmapT :: (forall b. Data b => b -> b) -> MDNode -> MDNode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MDNode -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MDNode -> r #

gmapQ :: (forall d. Data d => d -> u) -> MDNode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MDNode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MDNode -> m MDNode #

Ord MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Read MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Show MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Generic MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep MDNode :: Type -> Type #

Methods

from :: MDNode -> Rep MDNode x #

to :: Rep MDNode x -> MDNode #

type Rep MDNode Source # 
Instance details

Defined in LLVM.AST.Operand

data DWOp Source #

Instances

Instances details
Eq DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DWOp -> c DWOp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DWOp #

toConstr :: DWOp -> Constr #

dataTypeOf :: DWOp -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DWOp) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DWOp) #

gmapT :: (forall b. Data b => b -> b) -> DWOp -> DWOp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DWOp -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DWOp -> r #

gmapQ :: (forall d. Data d => d -> u) -> DWOp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DWOp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOp -> m DWOp #

Ord DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

compare :: DWOp -> DWOp -> Ordering #

(<) :: DWOp -> DWOp -> Bool #

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

(>) :: DWOp -> DWOp -> Bool #

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

max :: DWOp -> DWOp -> DWOp #

min :: DWOp -> DWOp -> DWOp #

Read DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Show DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> DWOp -> ShowS #

show :: DWOp -> String #

showList :: [DWOp] -> ShowS #

Generic DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DWOp :: Type -> Type #

Methods

from :: DWOp -> Rep DWOp x #

to :: Rep DWOp x -> DWOp #

type Rep DWOp Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DWOp = D1 ('MetaData "DWOp" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) ((((C1 ('MetaCons "DwOpFragment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DWOpFragment)) :+: C1 ('MetaCons "DW_OP_StackValue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DW_OP_Swap" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DW_OP_ConstU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "DW_OP_Lit0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DW_OP_PlusUConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "DW_OP_Plus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DW_OP_Minus" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DW_OP_Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DW_OP_Div" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DW_OP_Mod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DW_OP_Not" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DW_OP_Or" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DW_OP_Xor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DW_OP_And" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DW_OP_Shr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DW_OP_Shra" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DW_OP_Shl" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DW_OP_Dup" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DW_OP_Deref" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DW_OP_XDeref" 'PrefixI 'False) (U1 :: Type -> Type))))))

data DWOpFragment Source #

Constructors

DW_OP_LLVM_Fragment 

Fields

Instances

Instances details
Eq DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Data DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DWOpFragment -> c DWOpFragment #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DWOpFragment #

toConstr :: DWOpFragment -> Constr #

dataTypeOf :: DWOpFragment -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DWOpFragment) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DWOpFragment) #

gmapT :: (forall b. Data b => b -> b) -> DWOpFragment -> DWOpFragment #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DWOpFragment -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DWOpFragment -> r #

gmapQ :: (forall d. Data d => d -> u) -> DWOpFragment -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DWOpFragment -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DWOpFragment -> m DWOpFragment #

Ord DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Read DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Show DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Generic DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep DWOpFragment :: Type -> Type #

type Rep DWOpFragment Source # 
Instance details

Defined in LLVM.AST.Operand

type Rep DWOpFragment = D1 ('MetaData "DWOpFragment" "LLVM.AST.Operand" "llvm-hs-pure-9.0.0-inplace" 'False) (C1 ('MetaCons "DW_OP_LLVM_Fragment" 'PrefixI 'True) (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data MDRef a Source #

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

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

Constructors

MDRef MetadataNodeID 
MDInline a 

Instances

Instances details
Functor MDRef Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Eq a => Eq (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data a => Data (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MDRef a -> c (MDRef a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MDRef a) #

toConstr :: MDRef a -> Constr #

dataTypeOf :: MDRef a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MDRef a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MDRef a)) #

gmapT :: (forall b. Data b => b -> b) -> MDRef a -> MDRef a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MDRef a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MDRef a -> r #

gmapQ :: (forall d. Data d => d -> u) -> MDRef a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MDRef a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MDRef a -> m (MDRef a) #

Ord a => Ord (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

compare :: MDRef a -> MDRef a -> Ordering #

(<) :: MDRef a -> MDRef a -> Bool #

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

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

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

max :: MDRef a -> MDRef a -> MDRef a #

min :: MDRef a -> MDRef a -> MDRef a #

Read a => Read (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Show a => Show (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

showsPrec :: Int -> MDRef a -> ShowS #

show :: MDRef a -> String #

showList :: [MDRef a] -> ShowS #

Generic (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep (MDRef a) :: Type -> Type #

Methods

from :: MDRef a -> Rep (MDRef a) x #

to :: Rep (MDRef a) x -> MDRef a #

type Rep (MDRef a) Source # 
Instance details

Defined in LLVM.AST.Operand

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

newtype MetadataNodeID Source #

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

Constructors

MetadataNodeID Word 

Instances

Instances details
Eq MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Data MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetadataNodeID -> c MetadataNodeID #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetadataNodeID #

toConstr :: MetadataNodeID -> Constr #

dataTypeOf :: MetadataNodeID -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetadataNodeID) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetadataNodeID) #

gmapT :: (forall b. Data b => b -> b) -> MetadataNodeID -> MetadataNodeID #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r #

gmapQ :: (forall d. Data d => d -> u) -> MetadataNodeID -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MetadataNodeID -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID #

Ord MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Read MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Show MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Generic MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep MetadataNodeID :: Type -> Type #

type Rep MetadataNodeID Source # 
Instance details

Defined in LLVM.AST.Operand

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

data Metadata Source #

Instances

Instances details
Eq Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Data Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Metadata -> c Metadata #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Metadata #

toConstr :: Metadata -> Constr #

dataTypeOf :: Metadata -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Metadata) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Metadata) #

gmapT :: (forall b. Data b => b -> b) -> Metadata -> Metadata #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r #

gmapQ :: (forall d. Data d => d -> u) -> Metadata -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Metadata -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata #

Ord Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Read Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Show Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Generic Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep Metadata :: Type -> Type #

Methods

from :: Metadata -> Rep Metadata x #

to :: Rep Metadata x -> Metadata #

type Rep Metadata Source # 
Instance details

Defined in LLVM.AST.Operand

type CallableOperand = Either InlineAssembly Operand Source #

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

data Operand Source #

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

Instances

Instances details
Eq Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

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

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

Data Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Operand -> c Operand #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Operand #

toConstr :: Operand -> Constr #

dataTypeOf :: Operand -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Operand) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Operand) #

gmapT :: (forall b. Data b => b -> b) -> Operand -> Operand #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r #

gmapQ :: (forall d. Data d => d -> u) -> Operand -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Operand -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Operand -> m Operand #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand #

Ord Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Read Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Show Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Generic Operand Source # 
Instance details

Defined in LLVM.AST.Operand

Associated Types

type Rep Operand :: Type -> Type #

Methods

from :: Operand -> Rep Operand x #

to :: Rep Operand x -> Operand #

Typed CallableOperand Source # 
Instance details

Defined in LLVM.AST.Typed

Typed Operand Source # 
Instance details

Defined in LLVM.AST.Typed

Methods

typeOf :: Operand -> Type Source #

type Rep Operand Source # 
Instance details

Defined in LLVM.AST.Operand