llvm-hs-pure-8.0.0: Pure Haskell LLVM functionality (no FFI).
LLVM.AST.IntegerPredicate
Description
Predicates for the ICmp instruction
ICmp
data IntegerPredicate Source #
http://llvm.org/docs/LangRef.html#icmp-instruction
Constructors
Defined in LLVM.AST.IntegerPredicate
Methods
(==) :: IntegerPredicate -> IntegerPredicate -> Bool #
(/=) :: IntegerPredicate -> IntegerPredicate -> Bool #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IntegerPredicate -> c IntegerPredicate #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IntegerPredicate #
toConstr :: IntegerPredicate -> Constr #
dataTypeOf :: IntegerPredicate -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IntegerPredicate) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IntegerPredicate) #
gmapT :: (forall b. Data b => b -> b) -> IntegerPredicate -> IntegerPredicate #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IntegerPredicate -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IntegerPredicate -> r #
gmapQ :: (forall d. Data d => d -> u) -> IntegerPredicate -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> IntegerPredicate -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> IntegerPredicate -> m IntegerPredicate #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IntegerPredicate -> m IntegerPredicate #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IntegerPredicate -> m IntegerPredicate #
compare :: IntegerPredicate -> IntegerPredicate -> Ordering #
(<) :: IntegerPredicate -> IntegerPredicate -> Bool #
(<=) :: IntegerPredicate -> IntegerPredicate -> Bool #
(>) :: IntegerPredicate -> IntegerPredicate -> Bool #
(>=) :: IntegerPredicate -> IntegerPredicate -> Bool #
max :: IntegerPredicate -> IntegerPredicate -> IntegerPredicate #
min :: IntegerPredicate -> IntegerPredicate -> IntegerPredicate #
readsPrec :: Int -> ReadS IntegerPredicate #
readList :: ReadS [IntegerPredicate] #
readPrec :: ReadPrec IntegerPredicate #
readListPrec :: ReadPrec [IntegerPredicate] #
showsPrec :: Int -> IntegerPredicate -> ShowS #
show :: IntegerPredicate -> String #
showList :: [IntegerPredicate] -> ShowS #
Associated Types
type Rep IntegerPredicate :: Type -> Type #
from :: IntegerPredicate -> Rep IntegerPredicate x #
to :: Rep IntegerPredicate x -> IntegerPredicate #