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 '