Safe Haskell	Safe
Language	Haskell98

LLVM.AST.FunctionAttribute

Description

Module to allow importing FunctionAttribute distinctly qualified.

Synopsis

Documentation

data FunctionAttribute Source #

http://llvm.org/docs/LangRef.html#function-attributes

Constructors

NoReturn
NoUnwind
ReadNone
ReadOnly
NoInline
NoRecurse
AlwaysInline
MinimizeSize
OptimizeForSize
OptimizeNone
StackProtect
StackProtectReq
StackProtectStrong
NoRedZone
NoImplicitFloat
Naked
InlineHint
StackAlignment Word64
ReturnsTwice
UWTable
NonLazyBind
Builtin
NoBuiltin
Cold
JumpTable
NoDuplicate
SanitizeAddress
SanitizeThread
SanitizeMemory
Speculatable
StringAttribute
Fields stringAttributeKind :: ShortByteString stringAttributeValue :: ShortByteString Use "" for no value -- the two are conflated
AllocSize Word32 (Maybe Word32)	AllocSize 0 (Just 0) is invalid
WriteOnly
ArgMemOnly
Convergent
InaccessibleMemOnly
InaccessibleMemOrArgMemOnly
SafeStack

Instances

Eq FunctionAttribute Source #
Methods (==) :: FunctionAttribute -> FunctionAttribute -> Bool # (/=) :: FunctionAttribute -> FunctionAttribute -> Bool #
Data FunctionAttribute Source #
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 Source #
Methods compare :: FunctionAttribute -> FunctionAttribute -> Ordering # (<) :: FunctionAttribute -> FunctionAttribute -> Bool # (<=) :: FunctionAttribute -> FunctionAttribute -> Bool # (>) :: FunctionAttribute -> FunctionAttribute -> Bool # (>=) :: FunctionAttribute -> FunctionAttribute -> Bool # max :: FunctionAttribute -> FunctionAttribute -> FunctionAttribute # min :: FunctionAttribute -> FunctionAttribute -> FunctionAttribute #
Read FunctionAttribute Source #
Methods readsPrec :: Int -> ReadS FunctionAttribute # readList :: ReadS [FunctionAttribute] # readPrec :: ReadPrec FunctionAttribute # readListPrec :: ReadPrec [FunctionAttribute] #
Show FunctionAttribute Source #
Methods showsPrec :: Int -> FunctionAttribute -> ShowS # show :: FunctionAttribute -> String # showList :: [FunctionAttribute] -> ShowS #
Generic FunctionAttribute Source #
Associated Types type Rep FunctionAttribute :: * -> * # Methods from :: FunctionAttribute -> Rep FunctionAttribute x # to :: Rep FunctionAttribute x -> FunctionAttribute #
type Rep FunctionAttribute Source #
type Rep FunctionAttribute = D1 * (MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.0-ABIfIqE2ohGHl8oRFKMmj0" 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 Source #

http://llvm.org/docs/LangRef.html#attribute-groups

Constructors

GroupID Word

Instances

Eq GroupID Source #
Methods (==) :: GroupID -> GroupID -> Bool # (/=) :: GroupID -> GroupID -> Bool #
Data GroupID Source #
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 Source #
Methods compare :: GroupID -> GroupID -> Ordering # (<) :: GroupID -> GroupID -> Bool # (<=) :: GroupID -> GroupID -> Bool # (>) :: GroupID -> GroupID -> Bool # (>=) :: GroupID -> GroupID -> Bool # max :: GroupID -> GroupID -> GroupID # min :: GroupID -> GroupID -> GroupID #
Read GroupID Source #
Methods readsPrec :: Int -> ReadS GroupID # readList :: ReadS [GroupID] # readPrec :: ReadPrec GroupID # readListPrec :: ReadPrec [GroupID] #
Show GroupID Source #
Methods showsPrec :: Int -> GroupID -> ShowS # show :: GroupID -> String # showList :: [GroupID] -> ShowS #
Generic GroupID Source #
Associated Types type Rep GroupID :: * -> * # Methods from :: GroupID -> Rep GroupID x # to :: Rep GroupID x -> GroupID #
type Rep GroupID Source #
type Rep GroupID = D1 * (MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.0-ABIfIqE2ohGHl8oRFKMmj0" True) (C1 * (MetaCons "GroupID" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word)))