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.1.0-ABIfIqE2ohGHl8oRFKMmj0" 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.1.0-ABIfIqE2ohGHl8oRFKMmj0" 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 *))))))