llvm-hs-pure-5.1.2: Pure Haskell LLVM functionality (no FFI).

Safe HaskellSafe
LanguageHaskell98

LLVM.AST.Attribute

Description

Module to allow importing Attribute distinctly qualified. Before LLVM 3.5, the attributes which could be used on functions and those which could be used on parameters were disjoint. In LLVM 3.5, two attributes (readonly and readnone) can be used in both contexts. Because their interpretation is different in the two contexts and only those two attributes can be used in both contexts, I've opted to keep the Haskell types for parameter and function attributes distinct, but move the two types into separate modules so they can have contructors with the same names.

Synopsis

Documentation

data ParameterAttribute #

Instances

Eq ParameterAttribute # 
Data ParameterAttribute # 

Methods

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

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

toConstr :: ParameterAttribute -> Constr #

dataTypeOf :: ParameterAttribute -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord ParameterAttribute # 
Read ParameterAttribute # 
Show ParameterAttribute # 
Generic ParameterAttribute # 
type Rep ParameterAttribute # 
type Rep ParameterAttribute = D1 * (MetaData "ParameterAttribute" "LLVM.AST.ParameterAttribute" "llvm-hs-pure-5.1.2-qCZ6zsfFwOAi7RJjiJ9gI" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ZeroExt" PrefixI False) (U1 *)) (C1 * (MetaCons "SignExt" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "InReg" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "SRet" PrefixI False) (U1 *)) (C1 * (MetaCons "Alignment" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NoAlias" PrefixI False) (U1 *)) (C1 * (MetaCons "ByVal" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "NoCapture" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Nest" PrefixI False) (U1 *)) (C1 * (MetaCons "ReadNone" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ReadOnly" PrefixI False) (U1 *)) (C1 * (MetaCons "WriteOnly" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "InAlloca" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "NonNull" PrefixI False) (U1 *)) (C1 * (MetaCons "Dereferenceable" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "DereferenceableOrNull" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64))) (C1 * (MetaCons "Returned" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "SwiftSelf" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "SwiftError" PrefixI False) (U1 *)) (C1 * (MetaCons "StringAttribute" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "stringAttributeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Just Symbol "stringAttributeValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))))))))

data FunctionAttribute #

Instances

Eq FunctionAttribute # 
Data FunctionAttribute # 

Methods

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

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

toConstr :: FunctionAttribute -> Constr #

dataTypeOf :: FunctionAttribute -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord FunctionAttribute # 
Read FunctionAttribute # 
Show FunctionAttribute # 
Generic FunctionAttribute # 
type Rep FunctionAttribute # 
type Rep FunctionAttribute = D1 * (MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.2-qCZ6zsfFwOAi7RJjiJ9gI" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "NoReturn" PrefixI False) (U1 *)) (C1 * (MetaCons "NoUnwind" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "ReadNone" PrefixI False) (U1 *)) (C1 * (MetaCons "ReadOnly" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "NoInline" PrefixI False) (U1 *)) (C1 * (MetaCons "NoRecurse" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "AlwaysInline" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "MinimizeSize" PrefixI False) (U1 *)) (C1 * (MetaCons "OptimizeForSize" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "OptimizeNone" PrefixI False) (U1 *)) (C1 * (MetaCons "StackProtect" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "StackProtectReq" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "StackProtectStrong" PrefixI False) (U1 *)) (C1 * (MetaCons "NoRedZone" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NoImplicitFloat" PrefixI False) (U1 *)) (C1 * (MetaCons "Naked" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "InlineHint" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "StackAlignment" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64))) (C1 * (MetaCons "ReturnsTwice" PrefixI False) (U1 *))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "UWTable" PrefixI False) (U1 *)) (C1 * (MetaCons "NonLazyBind" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Builtin" PrefixI False) (U1 *)) (C1 * (MetaCons "NoBuiltin" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Cold" PrefixI False) (U1 *)) (C1 * (MetaCons "JumpTable" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "NoDuplicate" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "SanitizeAddress" PrefixI False) (U1 *)) (C1 * (MetaCons "SanitizeThread" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "SanitizeMemory" PrefixI False) (U1 *)) (C1 * (MetaCons "Speculatable" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "StringAttribute" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "stringAttributeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Just Symbol "stringAttributeValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))) ((:+:) * (C1 * (MetaCons "AllocSize" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word32))))) (C1 * (MetaCons "WriteOnly" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "ArgMemOnly" PrefixI False) (U1 *)) (C1 * (MetaCons "Convergent" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "InaccessibleMemOnly" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "InaccessibleMemOrArgMemOnly" PrefixI False) (U1 *)) (C1 * (MetaCons "SafeStack" PrefixI False) (U1 *))))))))

newtype GroupID #

Constructors

GroupID Word 

Instances

Eq GroupID # 

Methods

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

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

Data GroupID # 

Methods

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

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

toConstr :: GroupID -> Constr #

dataTypeOf :: GroupID -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord GroupID # 
Read GroupID # 
Show GroupID # 
Generic GroupID # 

Associated Types

type Rep GroupID :: * -> * #

Methods

from :: GroupID -> Rep GroupID x #

to :: Rep GroupID x -> GroupID #

type Rep GroupID # 
type Rep GroupID = D1 * (MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.2-qCZ6zsfFwOAi7RJjiJ9gI" True) (C1 * (MetaCons "GroupID" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word)))