Safe Haskell	Safe-Inferred
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

Instances details

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 :: forall r r'. (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 #
Generic IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate Associated Types type Rep IntegerPredicate :: Type -> Type # Methods from :: IntegerPredicate -> Rep IntegerPredicate x # to :: Rep IntegerPredicate x -> 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 #
Eq IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate Methods (==) :: IntegerPredicate -> IntegerPredicate -> Bool # (/=) :: IntegerPredicate -> IntegerPredicate -> Bool #
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 #
Monad m => DecodeM m IntegerPredicate ICmpPredicate Source #
Instance details Defined in LLVM.Internal.IntegerPredicate Methods decodeM :: ICmpPredicate -> m IntegerPredicate Source #
Monad m => EncodeM m IntegerPredicate ICmpPredicate Source #
Instance details Defined in LLVM.Internal.IntegerPredicate Methods encodeM :: IntegerPredicate -> m ICmpPredicate Source #
type Rep IntegerPredicate Source #
Instance details Defined in LLVM.AST.IntegerPredicate type Rep IntegerPredicate = D1 ('MetaData "IntegerPredicate" "LLVM.AST.IntegerPredicate" "llvm-party-12.1.1-inplace" 'False) (((C1 ('MetaCons "EQ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UGT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UGE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ULT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ULE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SGT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SGE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SLT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SLE" 'PrefixI 'False) (U1 :: Type -> Type)))))