-- | Module to allow importing 'ThreadLocalStorage.Model' distinctly qualified. module LLVM.AST.ThreadLocalStorage where import LLVM.Prelude -- | <http://llvm.org/docs/LangRef.html#thread-local-storage-models> data Model = GeneralDynamic | LocalDynamic | InitialExec | LocalExec deriving (Model -> Model -> Bool (Model -> Model -> Bool) -> (Model -> Model -> Bool) -> Eq Model forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Model -> Model -> Bool $c/= :: Model -> Model -> Bool == :: Model -> Model -> Bool $c== :: Model -> Model -> Bool Eq, Eq Model Eq Model => (Model -> Model -> Ordering) -> (Model -> Model -> Bool) -> (Model -> Model -> Bool) -> (Model -> Model -> Bool) -> (Model -> Model -> Bool) -> (Model -> Model -> Model) -> (Model -> Model -> Model) -> Ord Model Model -> Model -> Bool Model -> Model -> Ordering Model -> Model -> Model forall a. Eq a => (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a min :: Model -> Model -> Model $cmin :: Model -> Model -> Model max :: Model -> Model -> Model $cmax :: Model -> Model -> Model >= :: Model -> Model -> Bool $c>= :: Model -> Model -> Bool > :: Model -> Model -> Bool $c> :: Model -> Model -> Bool <= :: Model -> Model -> Bool $c<= :: Model -> Model -> Bool < :: Model -> Model -> Bool $c< :: Model -> Model -> Bool compare :: Model -> Model -> Ordering $ccompare :: Model -> Model -> Ordering $cp1Ord :: Eq Model Ord, ReadPrec [Model] ReadPrec Model Int -> ReadS Model ReadS [Model] (Int -> ReadS Model) -> ReadS [Model] -> ReadPrec Model -> ReadPrec [Model] -> Read Model forall a. (Int -> ReadS a) -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a readListPrec :: ReadPrec [Model] $creadListPrec :: ReadPrec [Model] readPrec :: ReadPrec Model $creadPrec :: ReadPrec Model readList :: ReadS [Model] $creadList :: ReadS [Model] readsPrec :: Int -> ReadS Model $creadsPrec :: Int -> ReadS Model Read, Int -> Model -> ShowS [Model] -> ShowS Model -> String (Int -> Model -> ShowS) -> (Model -> String) -> ([Model] -> ShowS) -> Show Model forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Model] -> ShowS $cshowList :: [Model] -> ShowS show :: Model -> String $cshow :: Model -> String showsPrec :: Int -> Model -> ShowS $cshowsPrec :: Int -> Model -> ShowS Show, Typeable, Typeable Model DataType Constr Typeable Model => (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model) -> (Model -> Constr) -> (Model -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Model)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Model)) -> ((forall b. Data b => b -> b) -> Model -> Model) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r) -> (forall u. (forall d. Data d => d -> u) -> Model -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> Model -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Model -> m Model) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model) -> Data Model Model -> DataType Model -> Constr (forall b. Data b => b -> b) -> Model -> Model (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model forall a. Typeable a => (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a) -> (a -> Constr) -> (a -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c a)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a)) -> ((forall b. Data b => b -> b) -> a -> a) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall u. (forall d. Data d => d -> u) -> a -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> Data a forall u. Int -> (forall d. Data d => d -> u) -> Model -> u forall u. (forall d. Data d => d -> u) -> Model -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Model -> m Model forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Model) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Model) $cLocalExec :: Constr $cInitialExec :: Constr $cLocalDynamic :: Constr $cGeneralDynamic :: Constr $tModel :: DataType gmapMo :: (forall d. Data d => d -> m d) -> Model -> m Model $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model gmapMp :: (forall d. Data d => d -> m d) -> Model -> m Model $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model gmapM :: (forall d. Data d => d -> m d) -> Model -> m Model $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Model -> m Model gmapQi :: Int -> (forall d. Data d => d -> u) -> Model -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Model -> u gmapQ :: (forall d. Data d => d -> u) -> Model -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> Model -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r gmapT :: (forall b. Data b => b -> b) -> Model -> Model $cgmapT :: (forall b. Data b => b -> b) -> Model -> Model dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Model) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Model) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c Model) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Model) dataTypeOf :: Model -> DataType $cdataTypeOf :: Model -> DataType toConstr :: Model -> Constr $ctoConstr :: Model -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model $cp1Data :: Typeable Model Data, (forall x. Model -> Rep Model x) -> (forall x. Rep Model x -> Model) -> Generic Model forall x. Rep Model x -> Model forall x. Model -> Rep Model x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep Model x -> Model $cfrom :: forall x. Model -> Rep Model x Generic)