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

Safe Haskell	Safe
Language	Haskell98

LLVM.AST.IntegerPredicate

Description

Predicates for the ICmp instruction

Synopsis

Documentation

data IntegerPredicate Source #

http://llvm.org/docs/LangRef.html#icmp-instruction

Constructors

EQ
NE
UGT
UGE
ULT
ULE
SGT
SGE
SLT
SLE

Instances

Eq IntegerPredicate Source #
Methods (==) :: IntegerPredicate -> IntegerPredicate -> Bool # (/=) :: IntegerPredicate -> IntegerPredicate -> Bool #
Data IntegerPredicate Source #
Methods 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 #
Ord IntegerPredicate Source #
Methods compare :: IntegerPredicate -> IntegerPredicate -> Ordering # (<) :: IntegerPredicate -> IntegerPredicate -> Bool # (<=) :: IntegerPredicate -> IntegerPredicate -> Bool # (>) :: IntegerPredicate -> IntegerPredicate -> Bool # (>=) :: IntegerPredicate -> IntegerPredicate -> Bool # max :: IntegerPredicate -> IntegerPredicate -> IntegerPredicate # min :: IntegerPredicate -> IntegerPredicate -> IntegerPredicate #
Read IntegerPredicate Source #
Methods readsPrec :: Int -> ReadS IntegerPredicate # readList :: ReadS [IntegerPredicate] # readPrec :: ReadPrec IntegerPredicate # readListPrec :: ReadPrec [IntegerPredicate] #
Show IntegerPredicate Source #
Methods showsPrec :: Int -> IntegerPredicate -> ShowS # show :: IntegerPredicate -> String # showList :: [IntegerPredicate] -> ShowS #
Generic IntegerPredicate Source #
Associated Types type Rep IntegerPredicate :: * -> * # Methods from :: IntegerPredicate -> Rep IntegerPredicate x # to :: Rep IntegerPredicate x -> IntegerPredicate #
type Rep IntegerPredicate Source #
type Rep IntegerPredicate = D1 * (MetaData "IntegerPredicate" "LLVM.AST.IntegerPredicate" "llvm-hs-pure-5.1.2-Ile9AJMV9yl8jQudqax7H3" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "EQ" PrefixI False) (U1 )) (C1 (MetaCons "NE" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "UGT" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "UGE" PrefixI False) (U1 )) (C1 (MetaCons "ULT" PrefixI False) (U1 ))))) ((:+:) ((:+:) * (C1 * (MetaCons "ULE" PrefixI False) (U1 )) (C1 (MetaCons "SGT" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "SGE" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "SLT" PrefixI False) (U1 )) (C1 (MetaCons "SLE" PrefixI False) (U1 *))))))