Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.IntegerPredicate

Description

Predicates for the ICmp instruction

Synopsis

data IntegerPredicate
- = EQ
- | NE
- | UGT
- | UGE
- | ULT
- | ULE
- | SGT
- | SGE
- | SLT
- | SLE

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 #
Instance details Defined in LLVM.AST.IntegerPredicate Methods (==) :: IntegerPredicate -> IntegerPredicate -> Bool # (/=) :: IntegerPredicate -> IntegerPredicate -> Bool #
Data IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate 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 #
Instance details Defined in LLVM.AST.IntegerPredicate 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 #
Instance details Defined in LLVM.AST.IntegerPredicate Methods readsPrec :: Int -> ReadS IntegerPredicate # readList :: ReadS [IntegerPredicate] # readPrec :: ReadPrec IntegerPredicate # readListPrec :: ReadPrec [IntegerPredicate] #
Show IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate Methods showsPrec :: Int -> IntegerPredicate -> ShowS # show :: IntegerPredicate -> String # showList :: [IntegerPredicate] -> ShowS #
Generic IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate Associated Types type Rep IntegerPredicate :: * -> * # Methods from :: IntegerPredicate -> Rep IntegerPredicate x # to :: Rep IntegerPredicate x -> IntegerPredicate #
type Rep IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate type Rep IntegerPredicate = D1 (MetaData "IntegerPredicate" "LLVM.AST.IntegerPredicate" "llvm-hs-pure-6.1.0-SoZvXNdOUj4hA8AeUkTV6" 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 :: -> *)))))