Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Type

Description

A representation of an LLVM type

Synopsis

Documentation

data FloatingPointFormat Source #

LLVM supports some special formats floating point format. This type is to distinguish those format. I believe it's treated as a format for "a" float, as opposed to a vector of two floats, because its intended usage is to represent a single number with a combined significand.

Constructors

IEEE
DoubleExtended
PairOfFloats

Instances

Eq FloatingPointFormat Source #
Methods (==) :: FloatingPointFormat -> FloatingPointFormat -> Bool # (/=) :: FloatingPointFormat -> FloatingPointFormat -> Bool #
Data FloatingPointFormat Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FloatingPointFormat -> c FloatingPointFormat # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FloatingPointFormat # toConstr :: FloatingPointFormat -> Constr # dataTypeOf :: FloatingPointFormat -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FloatingPointFormat) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FloatingPointFormat) # gmapT :: (forall b. Data b => b -> b) -> FloatingPointFormat -> FloatingPointFormat # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointFormat -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointFormat -> r # gmapQ :: (forall d. Data d => d -> u) -> FloatingPointFormat -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FloatingPointFormat -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FloatingPointFormat -> m FloatingPointFormat # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointFormat -> m FloatingPointFormat # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointFormat -> m FloatingPointFormat #
Ord FloatingPointFormat Source #
Methods compare :: FloatingPointFormat -> FloatingPointFormat -> Ordering # (<) :: FloatingPointFormat -> FloatingPointFormat -> Bool # (<=) :: FloatingPointFormat -> FloatingPointFormat -> Bool # (>) :: FloatingPointFormat -> FloatingPointFormat -> Bool # (>=) :: FloatingPointFormat -> FloatingPointFormat -> Bool # max :: FloatingPointFormat -> FloatingPointFormat -> FloatingPointFormat # min :: FloatingPointFormat -> FloatingPointFormat -> FloatingPointFormat #
Read FloatingPointFormat Source #
Methods readsPrec :: Int -> ReadS FloatingPointFormat # readList :: ReadS [FloatingPointFormat] # readPrec :: ReadPrec FloatingPointFormat # readListPrec :: ReadPrec [FloatingPointFormat] #
Show FloatingPointFormat Source #
Methods showsPrec :: Int -> FloatingPointFormat -> ShowS # show :: FloatingPointFormat -> String # showList :: [FloatingPointFormat] -> ShowS #

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 typeBits :: Word32 floatingPointFormat :: FloatingPointFormat
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
TokenType	http://llvm.org/docs/LangRef.html#token-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 #