llvm-hs-4.0.0.0: General purpose LLVM bindings

Safe HaskellNone
LanguageHaskell98

LLVM.Internal.FFI.LLVMCTypes

Contents

Description

Define types which correspond cleanly with some simple types on the C/C++ side. Encapsulate hsc macro weirdness here, supporting higher-level tricks elsewhere.

Documentation

newtype CPPOpcode Source #

Constructors

CPPOpcode CUInt 

Instances

Eq CPPOpcode Source # 
Data CPPOpcode Source # 

Methods

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

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

toConstr :: CPPOpcode -> Constr #

dataTypeOf :: CPPOpcode -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord CPPOpcode Source # 
Show CPPOpcode Source # 

newtype ICmpPredicate Source #

Constructors

ICmpPredicate CUInt 

Instances

Eq ICmpPredicate Source # 
Data ICmpPredicate Source # 

Methods

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

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

toConstr :: ICmpPredicate -> Constr #

dataTypeOf :: ICmpPredicate -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord ICmpPredicate Source # 
Show ICmpPredicate Source # 

newtype FCmpPredicate Source #

Constructors

FCmpPredicate CUInt 

Instances

Eq FCmpPredicate Source # 
Data FCmpPredicate Source # 

Methods

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

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

toConstr :: FCmpPredicate -> Constr #

dataTypeOf :: FCmpPredicate -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord FCmpPredicate Source # 
Show FCmpPredicate Source # 

newtype FastMathFlags Source #

Constructors

FastMathFlags CUInt 

Instances

Eq FastMathFlags Source # 
Data FastMathFlags Source # 

Methods

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

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

toConstr :: FastMathFlags -> Constr #

dataTypeOf :: FastMathFlags -> DataType #

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

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

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

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

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

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

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

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

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

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

Num FastMathFlags Source # 
Ord FastMathFlags Source # 
Show FastMathFlags Source # 
Bits FastMathFlags Source # 

newtype MemoryOrdering Source #

Constructors

MemoryOrdering CUInt 

Instances

Eq MemoryOrdering Source # 
Data MemoryOrdering Source # 

Methods

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

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

toConstr :: MemoryOrdering -> Constr #

dataTypeOf :: MemoryOrdering -> DataType #

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

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

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

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

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

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

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

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

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

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

newtype UnnamedAddr Source #

Constructors

UnnamedAddr CUInt 

Instances

Eq UnnamedAddr Source # 
Data UnnamedAddr Source # 

Methods

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

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

toConstr :: UnnamedAddr -> Constr #

dataTypeOf :: UnnamedAddr -> DataType #

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

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

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

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

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

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

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

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

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

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

newtype SynchronizationScope Source #

Instances

Eq SynchronizationScope Source # 
Data SynchronizationScope Source # 

Methods

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

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

toConstr :: SynchronizationScope -> Constr #

dataTypeOf :: SynchronizationScope -> DataType #

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

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

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

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

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

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

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

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

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

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

newtype TailCallKind Source #

Constructors

TailCallKind CUInt 

Instances

Eq TailCallKind Source # 
Data TailCallKind Source # 

Methods

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

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

toConstr :: TailCallKind -> Constr #

dataTypeOf :: TailCallKind -> DataType #

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

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

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

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

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

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

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

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

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

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

newtype Linkage Source #

Constructors

Linkage CUInt 

Instances

Eq Linkage Source # 

Methods

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

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

Data Linkage Source # 

Methods

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

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

toConstr :: Linkage -> Constr #

dataTypeOf :: Linkage -> DataType #

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

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

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

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

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

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

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

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

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

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

Read Linkage Source # 
Show Linkage Source # 

newtype Visibility Source #

Constructors

Visibility CUInt 

Instances

Eq Visibility Source # 
Data Visibility Source # 

Methods

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

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

toConstr :: Visibility -> Constr #

dataTypeOf :: Visibility -> DataType #

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

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

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

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

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

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

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

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

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

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

Read Visibility Source # 
Show Visibility Source # 

newtype COMDATSelectionKind Source #

Instances

Eq COMDATSelectionKind Source # 
Data COMDATSelectionKind Source # 

Methods

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

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

toConstr :: COMDATSelectionKind -> Constr #

dataTypeOf :: COMDATSelectionKind -> DataType #

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

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

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

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

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

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

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

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

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

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

Read COMDATSelectionKind Source # 
Show COMDATSelectionKind Source # 

newtype DLLStorageClass Source #

Constructors

DLLStorageClass CUInt 

Instances

Eq DLLStorageClass Source # 
Data DLLStorageClass Source # 

Methods

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

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

toConstr :: DLLStorageClass -> Constr #

dataTypeOf :: DLLStorageClass -> DataType #

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

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

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

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

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

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

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

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

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

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

Read DLLStorageClass Source # 
Show DLLStorageClass Source # 

newtype CallingConvention Source #

Constructors

CallingConvention CUInt 

Instances

Eq CallingConvention Source # 
Data CallingConvention Source # 

Methods

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

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

toConstr :: CallingConvention -> Constr #

dataTypeOf :: CallingConvention -> DataType #

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

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

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

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

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

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

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

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

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

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

Read CallingConvention Source # 
Show CallingConvention Source # 

newtype ThreadLocalMode Source #

Constructors

ThreadLocalMode CUInt 

Instances

Eq ThreadLocalMode Source # 
Data ThreadLocalMode Source # 

Methods

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

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

toConstr :: ThreadLocalMode -> Constr #

dataTypeOf :: ThreadLocalMode -> DataType #

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

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

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

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

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

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

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

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

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

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

Read ThreadLocalMode Source # 
Show ThreadLocalMode Source # 

newtype ValueSubclassId Source #

Constructors

ValueSubclassId CUInt 

Instances

Eq ValueSubclassId Source # 
Data ValueSubclassId Source # 

Methods

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

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

toConstr :: ValueSubclassId -> Constr #

dataTypeOf :: ValueSubclassId -> DataType #

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

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

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

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

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

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

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

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

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

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

Read ValueSubclassId Source # 
Show ValueSubclassId Source # 

newtype DiagnosticKind Source #

Constructors

DiagnosticKind CUInt 

Instances

Eq DiagnosticKind Source # 
Data DiagnosticKind Source # 

Methods

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

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

toConstr :: DiagnosticKind -> Constr #

dataTypeOf :: DiagnosticKind -> DataType #

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

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

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

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

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

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

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

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

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

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

Read DiagnosticKind Source # 
Show DiagnosticKind Source # 

newtype AsmDialect Source #

Constructors

AsmDialect CUInt 

Instances

Eq AsmDialect Source # 
Data AsmDialect Source # 

Methods

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

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

toConstr :: AsmDialect -> Constr #

dataTypeOf :: AsmDialect -> DataType #

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

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

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

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

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

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

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

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

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

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

Read AsmDialect Source # 
Show AsmDialect Source # 

newtype RMWOperation Source #

Constructors

RMWOperation CUInt 

Instances

Eq RMWOperation Source # 
Data RMWOperation Source # 

Methods

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

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

toConstr :: RMWOperation -> Constr #

dataTypeOf :: RMWOperation -> DataType #

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

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

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

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

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

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

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

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

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

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

Read RMWOperation Source # 
Show RMWOperation Source # 

newtype RelocModel Source #

Constructors

RelocModel CUInt 

Instances

Eq RelocModel Source # 
Data RelocModel Source # 

Methods

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

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

toConstr :: RelocModel -> Constr #

dataTypeOf :: RelocModel -> DataType #

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

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

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

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

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

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

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

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

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

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

Read RelocModel Source # 
Show RelocModel Source # 

newtype CodeModel Source #

Constructors

CodeModel CUInt 

Instances

Eq CodeModel Source # 
Data CodeModel Source # 

Methods

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

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

toConstr :: CodeModel -> Constr #

dataTypeOf :: CodeModel -> DataType #

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

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

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

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

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

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

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

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

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

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

Read CodeModel Source # 
Show CodeModel Source # 

newtype CodeGenOptLevel Source #

Constructors

CodeGenOptLevel CUInt 

Instances

Eq CodeGenOptLevel Source # 
Data CodeGenOptLevel Source # 

Methods

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

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

toConstr :: CodeGenOptLevel -> Constr #

dataTypeOf :: CodeGenOptLevel -> DataType #

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

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

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

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

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

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

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

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

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

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

Read CodeGenOptLevel Source # 
Show CodeGenOptLevel Source # 

newtype CodeGenFileType Source #

Constructors

CodeGenFileType CUInt 

Instances

Eq CodeGenFileType Source # 
Data CodeGenFileType Source # 

Methods

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

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

toConstr :: CodeGenFileType -> Constr #

dataTypeOf :: CodeGenFileType -> DataType #

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

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

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

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

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

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

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

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

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

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

Read CodeGenFileType Source # 
Show CodeGenFileType Source # 

newtype FloatABIType Source #

Constructors

FloatABIType CUInt 

Instances

Eq FloatABIType Source # 
Data FloatABIType Source # 

Methods

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

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

toConstr :: FloatABIType -> Constr #

dataTypeOf :: FloatABIType -> DataType #

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

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

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

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

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

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

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

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

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

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

Read FloatABIType Source # 
Show FloatABIType Source # 

newtype FPOpFusionMode Source #

Constructors

FPOpFusionMode CUInt 

Instances

Eq FPOpFusionMode Source # 
Data FPOpFusionMode Source # 

Methods

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

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

toConstr :: FPOpFusionMode -> Constr #

dataTypeOf :: FPOpFusionMode -> DataType #

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

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

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

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

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

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

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

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

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

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

Read FPOpFusionMode Source # 
Show FPOpFusionMode Source # 

newtype TargetOptionFlag Source #

Constructors

TargetOptionFlag CUInt 

Instances

Eq TargetOptionFlag Source # 
Data TargetOptionFlag Source # 

Methods

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

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

toConstr :: TargetOptionFlag -> Constr #

dataTypeOf :: TargetOptionFlag -> DataType #

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

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

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

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

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

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

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

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

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

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

Read TargetOptionFlag Source # 
Show TargetOptionFlag Source # 

newtype TypeKind Source #

Constructors

TypeKind CUInt 

Instances

Eq TypeKind Source # 
Data TypeKind Source # 

Methods

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

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

toConstr :: TypeKind -> Constr #

dataTypeOf :: TypeKind -> DataType #

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

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

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

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

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

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

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

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

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

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

Read TypeKind Source # 
Show TypeKind Source # 

newtype ParameterAttributeKind Source #

Instances

Eq ParameterAttributeKind Source # 
Data ParameterAttributeKind Source # 

Methods

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

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

toConstr :: ParameterAttributeKind -> Constr #

dataTypeOf :: ParameterAttributeKind -> DataType #

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

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

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

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

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

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

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

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

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

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

Read ParameterAttributeKind Source # 
Show ParameterAttributeKind Source # 

newtype FunctionAttributeKind Source #

Instances

Eq FunctionAttributeKind Source # 
Data FunctionAttributeKind Source # 

Methods

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

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

toConstr :: FunctionAttributeKind -> Constr #

dataTypeOf :: FunctionAttributeKind -> DataType #

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

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

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

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

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

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

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

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

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

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

Read FunctionAttributeKind Source # 
Show FunctionAttributeKind Source # 

newtype FloatSemantics Source #

Constructors

FloatSemantics CUInt 

Instances

Eq FloatSemantics Source # 
Data FloatSemantics Source # 

Methods

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

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

toConstr :: FloatSemantics -> Constr #

dataTypeOf :: FloatSemantics -> DataType #

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

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

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

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

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

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

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

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

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

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

Read FloatSemantics Source # 
Show FloatSemantics Source # 

newtype VerifierFailureAction Source #

Instances

Eq VerifierFailureAction Source # 
Data VerifierFailureAction Source # 

Methods

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

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

toConstr :: VerifierFailureAction -> Constr #

dataTypeOf :: VerifierFailureAction -> DataType #

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

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

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

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

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

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

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

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

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

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

Num VerifierFailureAction Source # 
Read VerifierFailureAction Source # 
Show VerifierFailureAction Source # 
Bits VerifierFailureAction Source # 

newtype LibFunc Source #

Constructors

LibFunc CUInt 

Instances

Eq LibFunc Source # 

Methods

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

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

Data LibFunc Source # 

Methods

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

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

toConstr :: LibFunc -> Constr #

dataTypeOf :: LibFunc -> DataType #

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

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

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

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

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

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

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

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

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

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

Num LibFunc Source # 
Read LibFunc Source # 
Show LibFunc Source # 
Storable LibFunc Source # 
Bits LibFunc Source # 
Monad m => DecodeM m LibraryFunction LibFunc Source # 
Monad m => EncodeM m LibraryFunction LibFunc Source # 

newtype JITSymbolFlags Source #

Constructors

JITSymbolFlags CUInt 

Instances

Eq JITSymbolFlags Source # 
Data JITSymbolFlags Source # 

Methods

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

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

toConstr :: JITSymbolFlags -> Constr #

dataTypeOf :: JITSymbolFlags -> DataType #

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

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

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

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

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

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

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

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

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

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

Num JITSymbolFlags Source # 
Read JITSymbolFlags Source # 
Show JITSymbolFlags Source # 
Storable JITSymbolFlags Source # 
Bits JITSymbolFlags Source # 
Monad m => DecodeM m JITSymbolFlags JITSymbolFlags Source # 
Monad m => EncodeM m JITSymbolFlags JITSymbolFlags Source # 

Orphan instances

Data CUInt Source # 

Methods

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

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

toConstr :: CUInt -> Constr #

dataTypeOf :: CUInt -> DataType #

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

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

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

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

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

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

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

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

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

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