Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Type

Description

A representation of an LLVM type

Synopsis

Documentation

data FloatingPointType Source #

LLVM supports some special formats floating point format. This type is to distinguish those format. Also see http://llvm.org/docs/LangRef.html#floating-point-types

Constructors

HalfFP	16-bit floating point value
FloatFP	32-bit floating point value
DoubleFP	64-bit floating point value
FP128FP	128-bit floating point value (112-bit mantissa)
X86_FP80FP	80-bit floating point value (X87)
PPC_FP128FP	128-bit floating point value (two 64-bits)

Instances

Eq FloatingPointType Source #
Methods (==) :: FloatingPointType -> FloatingPointType -> Bool # (/=) :: FloatingPointType -> FloatingPointType -> Bool #
Data FloatingPointType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FloatingPointType -> c FloatingPointType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FloatingPointType # toConstr :: FloatingPointType -> Constr # dataTypeOf :: FloatingPointType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FloatingPointType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FloatingPointType) # gmapT :: (forall b. Data b => b -> b) -> FloatingPointType -> FloatingPointType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointType -> r # gmapQ :: (forall d. Data d => d -> u) -> FloatingPointType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FloatingPointType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType #
Ord FloatingPointType Source #
Methods compare :: FloatingPointType -> FloatingPointType -> Ordering # (<) :: FloatingPointType -> FloatingPointType -> Bool # (<=) :: FloatingPointType -> FloatingPointType -> Bool # (>) :: FloatingPointType -> FloatingPointType -> Bool # (>=) :: FloatingPointType -> FloatingPointType -> Bool # max :: FloatingPointType -> FloatingPointType -> FloatingPointType # min :: FloatingPointType -> FloatingPointType -> FloatingPointType #
Read FloatingPointType Source #
Methods readsPrec :: Int -> ReadS FloatingPointType # readList :: ReadS [FloatingPointType] # readPrec :: ReadPrec FloatingPointType # readListPrec :: ReadPrec [FloatingPointType] #
Show FloatingPointType Source #
Methods showsPrec :: Int -> FloatingPointType -> ShowS # show :: FloatingPointType -> String # showList :: [FloatingPointType] -> ShowS #
Generic FloatingPointType Source #
Associated Types type Rep FloatingPointType :: * -> * # Methods from :: FloatingPointType -> Rep FloatingPointType x # to :: Rep FloatingPointType x -> FloatingPointType #
type Rep FloatingPointType Source #
type Rep FloatingPointType = D1 (MetaData "FloatingPointType" "LLVM.AST.Type" "llvm-hs-pure-5.0.0-EhWu9UEKVIZCRIhKnrKWrq" False) ((:+:) ((:+:) (C1 (MetaCons "HalfFP" PrefixI False) U1) ((:+:) (C1 (MetaCons "FloatFP" PrefixI False) U1) (C1 (MetaCons "DoubleFP" PrefixI False) U1))) ((:+:) (C1 (MetaCons "FP128FP" PrefixI False) U1) ((:+:) (C1 (MetaCons "X86_FP80FP" PrefixI False) U1) (C1 (MetaCons "PPC_FP128FP" PrefixI False) U1))))

data Type Source #

http://llvm.org/docs/LangRef.html#type-system

Constructors

VoidType	http://llvm.org/docs/LangRef.html#void-type
IntegerType	http://llvm.org/docs/LangRef.html#integer-type
Fields typeBits :: Word32
PointerType	http://llvm.org/docs/LangRef.html#pointer-type
Fields pointerReferent :: Type pointerAddrSpace :: AddrSpace
FloatingPointType	http://llvm.org/docs/LangRef.html#floating-point-types
Fields floatingPointType :: FloatingPointType
FunctionType	http://llvm.org/docs/LangRef.html#function-type
Fields resultType :: Type argumentTypes :: [Type] isVarArg :: Bool
VectorType	http://llvm.org/docs/LangRef.html#vector-type
Fields nVectorElements :: Word32 elementType :: Type
StructureType	http://llvm.org/docs/LangRef.html#structure-type
Fields isPacked :: Bool elementTypes :: [Type]
ArrayType	http://llvm.org/docs/LangRef.html#array-type
Fields nArrayElements :: Word64 elementType :: Type
NamedTypeReference Name	http://llvm.org/docs/LangRef.html#opaque-structure-types
MetadataType	http://llvm.org/docs/LangRef.html#metadata-type
LabelType	http://llvm.org/docs/LangRef.html#token-type
TokenType	http://llvm.org/docs/LangRef.html#label-type

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Ord Type Source #
Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Read Type Source #
Methods readsPrec :: Int -> ReadS Type # readList :: ReadS [Type] # readPrec :: ReadPrec Type # readListPrec :: ReadPrec [Type] #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Associated Types type Rep Type :: * -> * # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
type Rep Type Source #
type Rep Type = D1 (MetaData "Type" "LLVM.AST.Type" "llvm-hs-pure-5.0.0-EhWu9UEKVIZCRIhKnrKWrq" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "VoidType" PrefixI False) U1) ((:+:) (C1 (MetaCons "IntegerType" PrefixI True) (S1 (MetaSel (Just Symbol "typeBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) (C1 (MetaCons "PointerType" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "pointerReferent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Just Symbol "pointerAddrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AddrSpace)))))) ((:+:) (C1 (MetaCons "FloatingPointType" PrefixI True) (S1 (MetaSel (Just Symbol "floatingPointType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FloatingPointType))) ((:+:) (C1 (MetaCons "FunctionType" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) ((::) (S1 (MetaSel (Just Symbol "argumentTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type])) (S1 (MetaSel (Just Symbol "isVarArg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) (C1 (MetaCons "VectorType" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "nVectorElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "elementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))))) ((:+:) ((:+:) (C1 (MetaCons "StructureType" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "isPacked") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "elementTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type])))) ((:+:) (C1 (MetaCons "ArrayType" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "nArrayElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) (S1 (MetaSel (Just Symbol "elementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) (C1 (MetaCons "NamedTypeReference" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))))) ((:+:) (C1 (MetaCons "MetadataType" PrefixI False) U1) ((:+:) (C1 (MetaCons "LabelType" PrefixI False) U1) (C1 (MetaCons "TokenType" PrefixI False) U1)))))