llvm-pretty-0.7.0.0: A pretty printing library inspired by the llvm binding.

Safe HaskellSafe
LanguageHaskell2010

Text.LLVM.AST

Synopsis

Documentation

data NamedMd Source #

Constructors

NamedMd 

Fields

Instances

parseDataLayout :: MonadPlus m => String -> m DataLayout Source #

Parse the data layout string.

parseLayoutSpec :: MonadPlus m => String -> m LayoutSpec Source #

Parse a single layout specification from a string.

newtype Ident Source #

Constructors

Ident String 

Instances

data Type' ident Source #

Constructors

PrimType PrimType 
Alias ident 
Array Int32 (Type' ident) 
FunTy (Type' ident) [Type' ident] Bool 
PtrTo (Type' ident) 
Struct [Type' ident] 
PackedStruct [Type' ident] 
Vector Int32 (Type' ident) 
Opaque 

Instances

Functor Type' Source # 

Methods

fmap :: (a -> b) -> Type' a -> Type' b #

(<$) :: a -> Type' b -> Type' a #

DefineArgs Type (Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> Type -> (Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

Eq ident => Eq (Type' ident) Source # 

Methods

(==) :: Type' ident -> Type' ident -> Bool #

(/=) :: Type' ident -> Type' ident -> Bool #

Ord ident => Ord (Type' ident) Source # 

Methods

compare :: Type' ident -> Type' ident -> Ordering #

(<) :: Type' ident -> Type' ident -> Bool #

(<=) :: Type' ident -> Type' ident -> Bool #

(>) :: Type' ident -> Type' ident -> Bool #

(>=) :: Type' ident -> Type' ident -> Bool #

max :: Type' ident -> Type' ident -> Type' ident #

min :: Type' ident -> Type' ident -> Type' ident #

Show ident => Show (Type' ident) Source # 

Methods

showsPrec :: Int -> Type' ident -> ShowS #

show :: Type' ident -> String #

showList :: [Type' ident] -> ShowS #

DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type) -> (Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k) Source # 

Methods

defineBody :: [Typed Ident] -> (Type :> as) -> (Typed Value -> k) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type, Type) -> (Typed Value -> Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

updateAliases :: (a -> Type' b) -> Type' a -> Type' b Source #

Traverse a type, updating or removing aliases.

data NullResult lab Source #

Constructors

HasNull (Value' lab) 
ResolveNull Ident 

elimSequentialType :: MonadPlus m => Type -> m Type Source #

Eliminator for array, pointer and vector types.

data TypeDecl Source #

Constructors

TypeDecl 

Fields

data Declare Source #

Constructors

Declare 

Instances

decFunType :: Declare -> Type Source #

The function type of this declaration

data BlockLabel Source #

Constructors

Named Ident 
Anon Int 

Instances

Eq BlockLabel Source # 
Ord BlockLabel Source # 
Show BlockLabel Source # 
IsString BlockLabel Source # 
IsValue Value Source # 

Methods

toValue :: Value -> Value Source #

DefineArgs Type (Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> Type -> (Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type) -> (Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k) Source # 

Methods

defineBody :: [Typed Ident] -> (Type :> as) -> (Typed Value -> k) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type, Type) -> (Typed Value -> Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

data BasicBlock' lab Source #

Constructors

BasicBlock 

Fields

Instances

Show lab => Show (BasicBlock' lab) Source # 

Methods

showsPrec :: Int -> BasicBlock' lab -> ShowS #

show :: BasicBlock' lab -> String #

showList :: [BasicBlock' lab] -> ShowS #

brTargets :: BasicBlock' lab -> [lab] Source #

newtype GC Source #

Constructors

GC 

Fields

Instances

Show GC Source # 

Methods

showsPrec :: Int -> GC -> ShowS #

show :: GC -> String #

showList :: [GC] -> ShowS #

data Typed a Source #

Constructors

Typed 

Fields

Instances

Functor Typed Source # 

Methods

fmap :: (a -> b) -> Typed a -> Typed b #

(<$) :: a -> Typed b -> Typed a #

Foldable Typed Source # 

Methods

fold :: Monoid m => Typed m -> m #

foldMap :: Monoid m => (a -> m) -> Typed a -> m #

foldr :: (a -> b -> b) -> b -> Typed a -> b #

foldr' :: (a -> b -> b) -> b -> Typed a -> b #

foldl :: (b -> a -> b) -> b -> Typed a -> b #

foldl' :: (b -> a -> b) -> b -> Typed a -> b #

foldr1 :: (a -> a -> a) -> Typed a -> a #

foldl1 :: (a -> a -> a) -> Typed a -> a #

toList :: Typed a -> [a] #

null :: Typed a -> Bool #

length :: Typed a -> Int #

elem :: Eq a => a -> Typed a -> Bool #

maximum :: Ord a => Typed a -> a #

minimum :: Ord a => Typed a -> a #

sum :: Num a => Typed a -> a #

product :: Num a => Typed a -> a #

Traversable Typed Source # 

Methods

traverse :: Applicative f => (a -> f b) -> Typed a -> f (Typed b) #

sequenceA :: Applicative f => Typed (f a) -> f (Typed a) #

mapM :: Monad m => (a -> m b) -> Typed a -> m (Typed b) #

sequence :: Monad m => Typed (m a) -> m (Typed a) #

DefineArgs Type (Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> Type -> (Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

Show a => Show (Typed a) Source # 

Methods

showsPrec :: Int -> Typed a -> ShowS #

show :: Typed a -> String #

showList :: [Typed a] -> ShowS #

IsValue a => IsValue (Typed a) Source # 

Methods

toValue :: Typed a -> Value Source #

DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type) -> (Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k) Source # 

Methods

defineBody :: [Typed Ident] -> (Type :> as) -> (Typed Value -> k) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type, Type) -> (Typed Value -> Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

mapMTyped :: Monad m => (a -> m b) -> Typed a -> m (Typed b) Source #

data ArithOp Source #

Constructors

Add Bool Bool
  • Integral addition.
  • First boolean flag: check for unsigned overflow.
  • Second boolean flag: check for signed overflow.
  • If the checks fail, then the result is poisoned.
FAdd

Floating point addition.

Sub Bool Bool
  • Integral subtraction.
  • First boolean flag: check for unsigned overflow.
  • Second boolean flag: check for signed overflow.
  • If the checks fail, then the result is poisoned.
FSub

Floating point subtraction.

Mul Bool Bool
  • Integral multiplication.
  • First boolean flag: check for unsigned overflow.
  • Second boolean flag: check for signed overflow.
  • If the checks fail, then the result is poisoned.
FMul

Floating point multiplication.

UDiv Bool
  • Integral unsigned division.
  • Boolean flag: check for exact result.
  • If the check fails, then the result is poisoned.
SDiv Bool
  • Integral signed division.
  • Boolean flag: check for exact result.
  • If the check fails, then the result is poisoned.
FDiv

Floating point division.

URem

Integral unsigned reminder resulting from unsigned division. Division by 0 is undefined.

SRem
  • Integral signded reminder resulting from signed division.
  • The sign of the reminder matches the divident (first parameter).
  • Division by 0 is undefined.
FRem
  • Floating point reminder resulting from floating point division.
  • The reminder has the same sign as the divident (first parameter).

data BitOp Source #

Constructors

Shl Bool Bool
  • Shift left.
  • First bool flag: check for unsigned overflow (i.e., shifted out a 1).
  • Second bool flag: check for signed overflow (i.e., shifted out something that does not match the sign bit)

    If a check fails, then the result is poisoned.

    The value of the second parameter must be strictly less than the nubmer of bits in the first parameter, otherwise the result is undefined.

Lshr Bool
  • Logical shift right.
  • The boolean is for exact check: posion the result, if we shift out a 1 bit (i.e., had to round).

The value of the second parameter must be strictly less than the nubmer of bits in the first parameter, otherwise the result is undefined.

Ashr Bool
  • Arithmetic shift right.
  • The boolean is for exact check: posion the result, if we shift out a 1 bit (i.e., had to round).

The value of the second parameter must be strictly less than the nubmer of bits in the first parameter, otherwise the result is undefined.

And 
Or 
Xor 

Instances

type Align = Int Source #

data Instr' lab Source #

Constructors

Ret (Typed (Value' lab))
  • Return from function with the given value.
  • Ends basic block.
RetVoid
  • Return from function.
  • Ends basic block.
Arith ArithOp (Typed (Value' lab)) (Value' lab)
  • Binary arithmetic operation, both operands have the same type.
  • Middle of basic block.
  • The result is the same as parameters.
Bit BitOp (Typed (Value' lab)) (Value' lab)
  • Binary bit-vector operation, both operands have the same type.
  • Middle of basic block.
  • The result is the same as parameters.
Conv ConvOp (Typed (Value' lab)) Type
  • Convert a value from one type to another.
  • Middle of basic block.
  • The result matches the 3rd parameter.
Call Bool Type (Value' lab) [Typed (Value' lab)]
  • Call a function. The boolean is tail-call hint (XXX: needs to be updated)
  • Middle of basic block.
  • The result is as indicated by the provided type.
Alloca Type (Maybe (Typed (Value' lab))) (Maybe Int)
  • Allocated space on the stack: type of elements; how many elements (1 if Nothing); required alignment.
  • Middle of basic block.
  • Returns a pointer to hold the given number of elemets.
Load (Typed (Value' lab)) (Maybe Align)
  • Read a value from the given address: address to read from; assumptions about alignment of the given pointer.
  • Middle of basic block.
  • Returns a value of type matching the pointer.
Store (Typed (Value' lab)) (Typed (Value' lab)) (Maybe Align)
  • Write a value to memory: value to store; pointer to location where to store; assumptions about the alignment of the given pointer.
  • Middle of basic block.
  • Effect.
ICmp ICmpOp (Typed (Value' lab)) (Value' lab)
  • Compare two integral values.
  • Middle of basic block.
  • Returns a boolean value.
FCmp FCmpOp (Typed (Value' lab)) (Value' lab)
  • Compare two floating point values.
  • Middle of basic block.
  • Returns a boolean value.
Phi Type [(Value' lab, lab)]
  • Join point for an SSA value: we get one value per predecessor basic block.
  • Middle of basic block.
  • Returns a value of the specified type.
GEP Bool (Typed (Value' lab)) [Typed (Value' lab)]
  • "Get element pointer", compute the address of a field in a structure: inbounds check (value poisoned if this fails); pointer to parent strucutre; path to a sub-component of a strucutre.
  • Middle of basic block.
  • Returns the address of the requiested member.

The types in path are the types of the index, not the fields.

The indexes are in units of a fields (i.e., the first element in a struct is field 0, the next one is 1, etc., regardless of the size of the fields in bytes).

Select (Typed (Value' lab)) (Typed (Value' lab)) (Value' lab)
  • Local if-then-else; the first argument is boolean, if true pick the 2nd argument, otherwise evaluate to the 3rd.
  • Middle of basic block.
  • Returns either the 2nd or the 3rd argument.
ExtractValue (Typed (Value' lab)) [Int32]
  • Get the value of a member of an aggregate value: the first argument is an aggregate value (not a pointer!), the second is a path of indexes, similar to the one in GEP.
  • Middle of basic block.
  • Returns the given member of the aggregate value.
InsertValue (Typed (Value' lab)) (Typed (Value' lab)) [Int32]
  • Set the value for a member of an aggregate value: the first argument is the value to insert, the second is the aggreagate value to be modified.
  • Middle of basic block.
  • Returns an updated aggregate value.
ExtractElt (Typed (Value' lab)) (Value' lab)
  • Get an element from a vector: the first argument is a vector, the second an index.
  • Middle of basic block.
  • Returns the element at the given positoin.
InsertElt (Typed (Value' lab)) (Typed (Value' lab)) (Value' lab)
  • Modify an element of a vector: the first argument is the vector, the second the value to be inserted, the third is the index where to insert the value.
  • Middle of basic block.
  • Returns an updated vector.
ShuffleVector (Typed (Value' lab)) (Value' lab) (Typed (Value' lab)) 
Jump lab
  • Jump to the given basic block.
  • Ends basic block.
Br (Typed (Value' lab)) lab lab
  • Conditional jump: if the value is true jump to the first basic block, otherwise jump to the second.
  • Ends basic block.
Invoke Type (Value' lab) [Typed (Value' lab)] lab lab 
Comment String

Comment

Unreachable

No defined sematics, we should not get to here.

Unwind 
VaArg (Typed (Value' lab)) Type 
IndirectBr (Typed (Value' lab)) [lab] 
Switch (Typed (Value' lab)) lab [(Integer, lab)]
  • Multi-way branch: the first value determines the direction of the branch, the label is a default direction, if the value does not appear in the jump table, the last argument is the jump table.
  • Ends basic block.
LandingPad Type (Typed (Value' lab)) Bool [Clause' lab] 
Resume (Typed (Value' lab)) 

Instances

Functor Instr' Source # 

Methods

fmap :: (a -> b) -> Instr' a -> Instr' b #

(<$) :: a -> Instr' b -> Instr' a #

HasLabel Instr' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Instr' a -> m (Instr' b) Source #

Show lab => Show (Instr' lab) Source # 

Methods

showsPrec :: Int -> Instr' lab -> ShowS #

show :: Instr' lab -> String #

showList :: [Instr' lab] -> ShowS #

Generic (Instr' lab) Source # 

Associated Types

type Rep (Instr' lab) :: * -> * #

Methods

from :: Instr' lab -> Rep (Instr' lab) x #

to :: Rep (Instr' lab) x -> Instr' lab #

type Rep (Instr' lab) Source # 
type Rep (Instr' lab) = D1 (MetaData "Instr'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Ret" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))) ((:+:) (C1 (MetaCons "RetVoid" PrefixI False) U1) (C1 (MetaCons "Arith" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))))) ((:+:) ((:+:) (C1 (MetaCons "Bit" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BitOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))) (C1 (MetaCons "Conv" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConvOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))))) ((:+:) (C1 (MetaCons "Call" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)]))))) (C1 (MetaCons "Alloca" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Typed (Value' lab))))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Load" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Align))))) (C1 (MetaCons "Store" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Align))))))) ((:+:) (C1 (MetaCons "ICmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ICmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))) (C1 (MetaCons "FCmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FCmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))))) ((:+:) ((:+:) (C1 (MetaCons "Phi" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Value' lab, lab)])))) (C1 (MetaCons "GEP" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)])))))) ((:+:) (C1 (MetaCons "Select" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))) (C1 (MetaCons "ExtractValue" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Int32])))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "InsertValue" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Int32]))))) ((:+:) (C1 (MetaCons "ExtractElt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab))))) (C1 (MetaCons "InsertElt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))))) ((:+:) ((:+:) (C1 (MetaCons "ShuffleVector" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))))) (C1 (MetaCons "Jump" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)))) ((:+:) (C1 (MetaCons "Br" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab))))) (C1 (MetaCons "Invoke" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)])) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab))))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Comment" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Unreachable" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Unwind" PrefixI False) U1) (C1 (MetaCons "VaArg" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))))) ((:+:) ((:+:) (C1 (MetaCons "IndirectBr" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [lab])))) (C1 (MetaCons "Switch" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Integer, lab)])))))) ((:+:) (C1 (MetaCons "LandingPad" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Clause' lab]))))) (C1 (MetaCons "Resume" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))))))))

data Clause' lab Source #

Constructors

Catch (Typed (Value' lab)) 
Filter (Typed (Value' lab)) 

Instances

Functor Clause' Source # 

Methods

fmap :: (a -> b) -> Clause' a -> Clause' b #

(<$) :: a -> Clause' b -> Clause' a #

Generic1 Clause' Source # 

Associated Types

type Rep1 (Clause' :: * -> *) :: * -> * #

Methods

from1 :: Clause' a -> Rep1 Clause' a #

to1 :: Rep1 Clause' a -> Clause' a #

HasLabel Clause' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Clause' a -> m (Clause' b) Source #

Show lab => Show (Clause' lab) Source # 

Methods

showsPrec :: Int -> Clause' lab -> ShowS #

show :: Clause' lab -> String #

showList :: [Clause' lab] -> ShowS #

Generic (Clause' lab) Source # 

Associated Types

type Rep (Clause' lab) :: * -> * #

Methods

from :: Clause' lab -> Rep (Clause' lab) x #

to :: Rep (Clause' lab) x -> Clause' lab #

type Rep1 Clause' Source # 
type Rep (Clause' lab) Source # 
type Rep (Clause' lab) = D1 (MetaData "Clause'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) (C1 (MetaCons "Catch" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))) (C1 (MetaCons "Filter" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))))

data ICmpOp Source #

Constructors

Ieq 
Ine 
Iugt 
Iuge 
Iult 
Iule 
Isgt 
Isge 
Islt 
Isle 

Instances

data FCmpOp Source #

Instances

data Value' lab Source #

Instances

Functor Value' Source # 

Methods

fmap :: (a -> b) -> Value' a -> Value' b #

(<$) :: a -> Value' b -> Value' a #

Generic1 Value' Source # 

Associated Types

type Rep1 (Value' :: * -> *) :: * -> * #

Methods

from1 :: Value' a -> Rep1 Value' a #

to1 :: Rep1 Value' a -> Value' a #

HasLabel Value' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Value' a -> m (Value' b) Source #

IsValue Value Source # 

Methods

toValue :: Value -> Value Source #

DefineArgs Type (Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> Type -> (Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

Show lab => Show (Value' lab) Source # 

Methods

showsPrec :: Int -> Value' lab -> ShowS #

show :: Value' lab -> String #

showList :: [Value' lab] -> ShowS #

Generic (Value' lab) Source # 

Associated Types

type Rep (Value' lab) :: * -> * #

Methods

from :: Value' lab -> Rep (Value' lab) x #

to :: Rep (Value' lab) x -> Value' lab #

DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type) -> (Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k) Source # 

Methods

defineBody :: [Typed Ident] -> (Type :> as) -> (Typed Value -> k) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ()) Source # 

Methods

defineBody :: [Typed Ident] -> (Type, Type, Type) -> (Typed Value -> Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

type Rep1 Value' Source # 
type Rep1 Value' = D1 (MetaData "Value'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ValInteger" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) (C1 (MetaCons "ValBool" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:+:) (C1 (MetaCons "ValFloat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float))) (C1 (MetaCons "ValDouble" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))))) ((:+:) ((:+:) (C1 (MetaCons "ValIdent" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident))) (C1 (MetaCons "ValSymbol" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)))) ((:+:) (C1 (MetaCons "ValNull" PrefixI False) U1) ((:+:) (C1 (MetaCons "ValArray" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) [] (Rec1 Value'))))) (C1 (MetaCons "ValVector" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) [] (Rec1 Value'))))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ValStruct" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) [] ((:.:) Typed (Rec1 Value'))))) (C1 (MetaCons "ValPackedStruct" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) [] ((:.:) Typed (Rec1 Value')))))) ((:+:) (C1 (MetaCons "ValString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "ValConstExpr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 ConstExpr'))))) ((:+:) ((:+:) (C1 (MetaCons "ValUndef" PrefixI False) U1) (C1 (MetaCons "ValLabel" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))) ((:+:) (C1 (MetaCons "ValZeroInit" PrefixI False) U1) ((:+:) (C1 (MetaCons "ValAsm" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) (C1 (MetaCons "ValMd" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 ValMd'))))))))
type Rep (Value' lab) Source # 
type Rep (Value' lab) = D1 (MetaData "Value'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ValInteger" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) (C1 (MetaCons "ValBool" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:+:) (C1 (MetaCons "ValFloat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float))) (C1 (MetaCons "ValDouble" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))))) ((:+:) ((:+:) (C1 (MetaCons "ValIdent" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident))) (C1 (MetaCons "ValSymbol" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)))) ((:+:) (C1 (MetaCons "ValNull" PrefixI False) U1) ((:+:) (C1 (MetaCons "ValArray" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Value' lab])))) (C1 (MetaCons "ValVector" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Value' lab])))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ValStruct" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)]))) (C1 (MetaCons "ValPackedStruct" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)])))) ((:+:) (C1 (MetaCons "ValString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "ValConstExpr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ConstExpr' lab)))))) ((:+:) ((:+:) (C1 (MetaCons "ValUndef" PrefixI False) U1) (C1 (MetaCons "ValLabel" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)))) ((:+:) (C1 (MetaCons "ValZeroInit" PrefixI False) U1) ((:+:) (C1 (MetaCons "ValAsm" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) (C1 (MetaCons "ValMd" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ValMd' lab)))))))))

data ValMd' lab Source #

Instances

Functor ValMd' Source # 

Methods

fmap :: (a -> b) -> ValMd' a -> ValMd' b #

(<$) :: a -> ValMd' b -> ValMd' a #

Generic1 ValMd' Source # 

Associated Types

type Rep1 (ValMd' :: * -> *) :: * -> * #

Methods

from1 :: ValMd' a -> Rep1 ValMd' a #

to1 :: Rep1 ValMd' a -> ValMd' a #

HasLabel ValMd' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ValMd' a -> m (ValMd' b) Source #

Show lab => Show (ValMd' lab) Source # 

Methods

showsPrec :: Int -> ValMd' lab -> ShowS #

show :: ValMd' lab -> String #

showList :: [ValMd' lab] -> ShowS #

Generic (ValMd' lab) Source # 

Associated Types

type Rep (ValMd' lab) :: * -> * #

Methods

from :: ValMd' lab -> Rep (ValMd' lab) x #

to :: Rep (ValMd' lab) x -> ValMd' lab #

type Rep1 ValMd' Source # 
type Rep (ValMd' lab) Source # 

data DebugLoc' lab Source #

Constructors

DebugLoc 

Fields

Instances

Functor DebugLoc' Source # 

Methods

fmap :: (a -> b) -> DebugLoc' a -> DebugLoc' b #

(<$) :: a -> DebugLoc' b -> DebugLoc' a #

Generic1 DebugLoc' Source # 

Associated Types

type Rep1 (DebugLoc' :: * -> *) :: * -> * #

HasLabel DebugLoc' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugLoc' a -> m (DebugLoc' b) Source #

Show lab => Show (DebugLoc' lab) Source # 

Methods

showsPrec :: Int -> DebugLoc' lab -> ShowS #

show :: DebugLoc' lab -> String #

showList :: [DebugLoc' lab] -> ShowS #

Generic (DebugLoc' lab) Source # 

Associated Types

type Rep (DebugLoc' lab) :: * -> * #

Methods

from :: DebugLoc' lab -> Rep (DebugLoc' lab) x #

to :: Rep (DebugLoc' lab) x -> DebugLoc' lab #

type Rep1 DebugLoc' Source # 
type Rep (DebugLoc' lab) Source # 

data Stmt' lab Source #

Constructors

Result Ident (Instr' lab) [(String, ValMd' lab)] 
Effect (Instr' lab) [(String, ValMd' lab)] 

Instances

Functor Stmt' Source # 

Methods

fmap :: (a -> b) -> Stmt' a -> Stmt' b #

(<$) :: a -> Stmt' b -> Stmt' a #

Generic1 Stmt' Source # 

Associated Types

type Rep1 (Stmt' :: * -> *) :: * -> * #

Methods

from1 :: Stmt' a -> Rep1 Stmt' a #

to1 :: Rep1 Stmt' a -> Stmt' a #

HasLabel Stmt' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Stmt' a -> m (Stmt' b) Source #

Show lab => Show (Stmt' lab) Source # 

Methods

showsPrec :: Int -> Stmt' lab -> ShowS #

show :: Stmt' lab -> String #

showList :: [Stmt' lab] -> ShowS #

Generic (Stmt' lab) Source # 

Associated Types

type Rep (Stmt' lab) :: * -> * #

Methods

from :: Stmt' lab -> Rep (Stmt' lab) x #

to :: Rep (Stmt' lab) x -> Stmt' lab #

type Rep1 Stmt' Source # 
type Rep (Stmt' lab) Source # 

stmtInstr :: Stmt' lab -> Instr' lab Source #

stmtMetadata :: Stmt' lab -> [(String, ValMd' lab)] Source #

extendMetadata :: (String, ValMd' lab) -> Stmt' lab -> Stmt' lab Source #

data ConstExpr' lab Source #

Constructors

ConstGEP Bool (Maybe Type) [Typed (Value' lab)]

Element type introduced in LLVM 3.7

ConstConv ConvOp (Typed (Value' lab)) Type 
ConstSelect (Typed (Value' lab)) (Typed (Value' lab)) (Typed (Value' lab)) 
ConstBlockAddr Symbol lab 
ConstFCmp FCmpOp (Typed (Value' lab)) (Typed (Value' lab)) 
ConstICmp ICmpOp (Typed (Value' lab)) (Typed (Value' lab)) 
ConstArith ArithOp (Typed (Value' lab)) (Value' lab) 
ConstBit BitOp (Typed (Value' lab)) (Value' lab) 

Instances

Functor ConstExpr' Source # 

Methods

fmap :: (a -> b) -> ConstExpr' a -> ConstExpr' b #

(<$) :: a -> ConstExpr' b -> ConstExpr' a #

Generic1 ConstExpr' Source # 

Associated Types

type Rep1 (ConstExpr' :: * -> *) :: * -> * #

HasLabel ConstExpr' Source #

Clever instance that actually uses the block name

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ConstExpr' a -> m (ConstExpr' b) Source #

Show lab => Show (ConstExpr' lab) Source # 

Methods

showsPrec :: Int -> ConstExpr' lab -> ShowS #

show :: ConstExpr' lab -> String #

showList :: [ConstExpr' lab] -> ShowS #

Generic (ConstExpr' lab) Source # 

Associated Types

type Rep (ConstExpr' lab) :: * -> * #

Methods

from :: ConstExpr' lab -> Rep (ConstExpr' lab) x #

to :: Rep (ConstExpr' lab) x -> ConstExpr' lab #

type Rep1 ConstExpr' Source # 
type Rep1 ConstExpr' = D1 (MetaData "ConstExpr'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ConstGEP" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Type))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) [] ((:.:) Typed (Rec1 Value'))))))) (C1 (MetaCons "ConstConv" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConvOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))))) ((:+:) (C1 (MetaCons "ConstSelect" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value')))))) (C1 (MetaCons "ConstBlockAddr" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))))) ((:+:) ((:+:) (C1 (MetaCons "ConstFCmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FCmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value')))))) (C1 (MetaCons "ConstICmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ICmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))))))) ((:+:) (C1 (MetaCons "ConstArith" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 Value'))))) (C1 (MetaCons "ConstBit" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BitOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Typed (Rec1 Value'))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 Value'))))))))
type Rep (ConstExpr' lab) Source # 
type Rep (ConstExpr' lab) = D1 (MetaData "ConstExpr'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ConstGEP" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Type))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Typed (Value' lab)]))))) (C1 (MetaCons "ConstConv" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConvOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))))) ((:+:) (C1 (MetaCons "ConstSelect" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))))) (C1 (MetaCons "ConstBlockAddr" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 lab)))))) ((:+:) ((:+:) (C1 (MetaCons "ConstFCmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FCmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab))))))) (C1 (MetaCons "ConstICmp" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ICmpOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))))))) ((:+:) (C1 (MetaCons "ConstArith" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))) (C1 (MetaCons "ConstBit" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BitOp)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Typed (Value' lab)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' lab)))))))))

data DebugInfo' lab Source #

Instances

Functor DebugInfo' Source # 

Methods

fmap :: (a -> b) -> DebugInfo' a -> DebugInfo' b #

(<$) :: a -> DebugInfo' b -> DebugInfo' a #

Generic1 DebugInfo' Source # 

Associated Types

type Rep1 (DebugInfo' :: * -> *) :: * -> * #

HasLabel DebugInfo' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugInfo' a -> m (DebugInfo' b) Source #

Show lab => Show (DebugInfo' lab) Source # 

Methods

showsPrec :: Int -> DebugInfo' lab -> ShowS #

show :: DebugInfo' lab -> String #

showList :: [DebugInfo' lab] -> ShowS #

Generic (DebugInfo' lab) Source # 

Associated Types

type Rep (DebugInfo' lab) :: * -> * #

Methods

from :: DebugInfo' lab -> Rep (DebugInfo' lab) x #

to :: Rep (DebugInfo' lab) x -> DebugInfo' lab #

type Rep1 DebugInfo' Source # 
type Rep1 DebugInfo' = D1 (MetaData "DebugInfo'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoBasicType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIBasicType))) ((:+:) (C1 (MetaCons "DebugInfoCompileUnit" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DICompileUnit'))) (C1 (MetaCons "DebugInfoCompositeType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DICompositeType'))))) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoDerivedType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DIDerivedType'))) (C1 (MetaCons "DebugInfoEnumerator" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64))))) ((:+:) (C1 (MetaCons "DebugInfoExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIExpression))) (C1 (MetaCons "DebugInfoFile" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFile)))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoGlobalVariable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DIGlobalVariable'))) (C1 (MetaCons "DebugInfoGlobalVariableExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DIGlobalVariableExpression')))) ((:+:) (C1 (MetaCons "DebugInfoLexicalBlock" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DILexicalBlock'))) (C1 (MetaCons "DebugInfoLexicalBlockFile" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DILexicalBlockFile'))))) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoLocalVariable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DILocalVariable'))) (C1 (MetaCons "DebugInfoSubprogram" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DISubprogram')))) ((:+:) (C1 (MetaCons "DebugInfoSubrange" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DISubrange))) (C1 (MetaCons "DebugInfoSubroutineType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 DISubroutineType')))))))
type Rep (DebugInfo' lab) Source # 
type Rep (DebugInfo' lab) = D1 (MetaData "DebugInfo'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoBasicType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIBasicType))) ((:+:) (C1 (MetaCons "DebugInfoCompileUnit" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DICompileUnit' lab)))) (C1 (MetaCons "DebugInfoCompositeType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DICompositeType' lab)))))) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoDerivedType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DIDerivedType' lab)))) (C1 (MetaCons "DebugInfoEnumerator" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int64))))) ((:+:) (C1 (MetaCons "DebugInfoExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIExpression))) (C1 (MetaCons "DebugInfoFile" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFile)))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoGlobalVariable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DIGlobalVariable' lab)))) (C1 (MetaCons "DebugInfoGlobalVariableExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DIGlobalVariableExpression' lab))))) ((:+:) (C1 (MetaCons "DebugInfoLexicalBlock" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DILexicalBlock' lab)))) (C1 (MetaCons "DebugInfoLexicalBlockFile" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DILexicalBlockFile' lab)))))) ((:+:) ((:+:) (C1 (MetaCons "DebugInfoLocalVariable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DILocalVariable' lab)))) (C1 (MetaCons "DebugInfoSubprogram" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DISubprogram' lab))))) ((:+:) (C1 (MetaCons "DebugInfoSubrange" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DISubrange))) (C1 (MetaCons "DebugInfoSubroutineType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DISubroutineType' lab))))))))

data DICompileUnit' lab Source #

Instances

Functor DICompileUnit' Source # 

Methods

fmap :: (a -> b) -> DICompileUnit' a -> DICompileUnit' b #

(<$) :: a -> DICompileUnit' b -> DICompileUnit' a #

Generic1 DICompileUnit' Source # 

Associated Types

type Rep1 (DICompileUnit' :: * -> *) :: * -> * #

HasLabel DICompileUnit' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompileUnit' a -> m (DICompileUnit' b) Source #

Show lab => Show (DICompileUnit' lab) Source # 
Generic (DICompileUnit' lab) Source # 

Associated Types

type Rep (DICompileUnit' lab) :: * -> * #

Methods

from :: DICompileUnit' lab -> Rep (DICompileUnit' lab) x #

to :: Rep (DICompileUnit' lab) x -> DICompileUnit' lab #

type Rep1 DICompileUnit' Source # 
type Rep1 DICompileUnit' = D1 (MetaData "DICompileUnit'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DICompileUnit" PrefixI True) ((:*:) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuLanguage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfLang)) (S1 (MetaSel (Just Symbol "dicuFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dicuProducer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dicuIsOptimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dicuRuntimeVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))) ((:*:) (S1 (MetaSel (Just Symbol "dicuSplitDebugFilename") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FilePath))) (S1 (MetaSel (Just Symbol "dicuEmissionKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIEmissionKind))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuEnums") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dicuRetainedTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dicuSubprograms") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dicuGlobals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuImports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dicuMacros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dicuDWOId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) (S1 (MetaSel (Just Symbol "dicuSplitDebugInlining") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))
type Rep (DICompileUnit' lab) Source # 
type Rep (DICompileUnit' lab) = D1 (MetaData "DICompileUnit'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DICompileUnit" PrefixI True) ((:*:) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuLanguage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfLang)) (S1 (MetaSel (Just Symbol "dicuFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dicuProducer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dicuIsOptimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dicuRuntimeVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))) ((:*:) (S1 (MetaSel (Just Symbol "dicuSplitDebugFilename") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FilePath))) (S1 (MetaSel (Just Symbol "dicuEmissionKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIEmissionKind))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuEnums") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dicuRetainedTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dicuSubprograms") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dicuGlobals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dicuImports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dicuMacros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dicuDWOId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) (S1 (MetaSel (Just Symbol "dicuSplitDebugInlining") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))

data DICompositeType' lab Source #

Instances

Functor DICompositeType' Source # 

Methods

fmap :: (a -> b) -> DICompositeType' a -> DICompositeType' b #

(<$) :: a -> DICompositeType' b -> DICompositeType' a #

Generic1 DICompositeType' Source # 

Associated Types

type Rep1 (DICompositeType' :: * -> *) :: * -> * #

HasLabel DICompositeType' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompositeType' a -> m (DICompositeType' b) Source #

Show lab => Show (DICompositeType' lab) Source # 
Generic (DICompositeType' lab) Source # 

Associated Types

type Rep (DICompositeType' lab) :: * -> * #

type Rep1 DICompositeType' Source # 
type Rep1 DICompositeType' = D1 (MetaData "DICompositeType'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DICompositeType" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictTag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfTag)) ((:*:) (S1 (MetaSel (Just Symbol "dictName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dictFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dictScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dictBaseType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dictSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictAlign") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) (S1 (MetaSel (Just Symbol "dictOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64))) ((:*:) (S1 (MetaSel (Just Symbol "dictFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dictElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictRuntimeLang") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfLang)) (S1 (MetaSel (Just Symbol "dictVTableHolder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dictTemplateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dictIdentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))))))))
type Rep (DICompositeType' lab) Source # 
type Rep (DICompositeType' lab) = D1 (MetaData "DICompositeType'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DICompositeType" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictTag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfTag)) ((:*:) (S1 (MetaSel (Just Symbol "dictName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dictFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dictScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dictBaseType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dictSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictAlign") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) (S1 (MetaSel (Just Symbol "dictOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64))) ((:*:) (S1 (MetaSel (Just Symbol "dictFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dictElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dictRuntimeLang") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfLang)) (S1 (MetaSel (Just Symbol "dictVTableHolder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dictTemplateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dictIdentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))))))))

data DIDerivedType' lab Source #

Instances

Functor DIDerivedType' Source # 

Methods

fmap :: (a -> b) -> DIDerivedType' a -> DIDerivedType' b #

(<$) :: a -> DIDerivedType' b -> DIDerivedType' a #

Generic1 DIDerivedType' Source # 

Associated Types

type Rep1 (DIDerivedType' :: * -> *) :: * -> * #

HasLabel DIDerivedType' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIDerivedType' a -> m (DIDerivedType' b) Source #

Show lab => Show (DIDerivedType' lab) Source # 
Generic (DIDerivedType' lab) Source # 

Associated Types

type Rep (DIDerivedType' lab) :: * -> * #

Methods

from :: DIDerivedType' lab -> Rep (DIDerivedType' lab) x #

to :: Rep (DIDerivedType' lab) x -> DIDerivedType' lab #

type Rep1 DIDerivedType' Source # 
type Rep (DIDerivedType' lab) Source # 

data DIFile Source #

Constructors

DIFile 

Instances

data DIGlobalVariable' lab Source #

Instances

Functor DIGlobalVariable' Source # 
Generic1 DIGlobalVariable' Source # 

Associated Types

type Rep1 (DIGlobalVariable' :: * -> *) :: * -> * #

HasLabel DIGlobalVariable' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIGlobalVariable' a -> m (DIGlobalVariable' b) Source #

Show lab => Show (DIGlobalVariable' lab) Source # 
Generic (DIGlobalVariable' lab) Source # 

Associated Types

type Rep (DIGlobalVariable' lab) :: * -> * #

type Rep1 DIGlobalVariable' Source # 
type Rep1 DIGlobalVariable' = D1 (MetaData "DIGlobalVariable'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DIGlobalVariable" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "digvScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "digvName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "digvLinkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) ((:*:) (S1 (MetaSel (Just Symbol "digvFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "digvLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "digvType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) ((:*:) (S1 (MetaSel (Just Symbol "digvIsLocal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "digvIsDefinition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:*:) (S1 (MetaSel (Just Symbol "digvVariable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) ((:*:) (S1 (MetaSel (Just Symbol "digvDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "digvAlignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Word32))))))))
type Rep (DIGlobalVariable' lab) Source # 
type Rep (DIGlobalVariable' lab) = D1 (MetaData "DIGlobalVariable'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DIGlobalVariable" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "digvScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "digvName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "digvLinkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) ((:*:) (S1 (MetaSel (Just Symbol "digvFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "digvLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "digvType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) ((:*:) (S1 (MetaSel (Just Symbol "digvIsLocal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "digvIsDefinition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:*:) (S1 (MetaSel (Just Symbol "digvVariable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) ((:*:) (S1 (MetaSel (Just Symbol "digvDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "digvAlignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Word32))))))))

data DIGlobalVariableExpression' lab Source #

Instances

Functor DIGlobalVariableExpression' Source # 
Generic1 DIGlobalVariableExpression' Source # 
HasLabel DIGlobalVariableExpression' Source # 
Show lab => Show (DIGlobalVariableExpression' lab) Source # 
Generic (DIGlobalVariableExpression' lab) Source # 
type Rep1 DIGlobalVariableExpression' Source # 
type Rep1 DIGlobalVariableExpression' = D1 (MetaData "DIGlobalVariableExpression'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DIGlobalVariableExpression" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "digveVariable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "digveExpression") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))))
type Rep (DIGlobalVariableExpression' lab) Source # 
type Rep (DIGlobalVariableExpression' lab) = D1 (MetaData "DIGlobalVariableExpression'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DIGlobalVariableExpression" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "digveVariable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "digveExpression") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))))

data DILexicalBlock' lab Source #

Constructors

DILexicalBlock 

Instances

Functor DILexicalBlock' Source # 

Methods

fmap :: (a -> b) -> DILexicalBlock' a -> DILexicalBlock' b #

(<$) :: a -> DILexicalBlock' b -> DILexicalBlock' a #

Generic1 DILexicalBlock' Source # 

Associated Types

type Rep1 (DILexicalBlock' :: * -> *) :: * -> * #

HasLabel DILexicalBlock' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlock' a -> m (DILexicalBlock' b) Source #

Show lab => Show (DILexicalBlock' lab) Source # 
Generic (DILexicalBlock' lab) Source # 

Associated Types

type Rep (DILexicalBlock' lab) :: * -> * #

Methods

from :: DILexicalBlock' lab -> Rep (DILexicalBlock' lab) x #

to :: Rep (DILexicalBlock' lab) x -> DILexicalBlock' lab #

type Rep1 DILexicalBlock' Source # 
type Rep (DILexicalBlock' lab) Source # 
type Rep (DILexicalBlock' lab) = D1 (MetaData "DILexicalBlock'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DILexicalBlock" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dilbScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dilbFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dilbLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dilbColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)))))

data DILexicalBlockFile' lab Source #

Instances

Functor DILexicalBlockFile' Source # 
Generic1 DILexicalBlockFile' Source # 
HasLabel DILexicalBlockFile' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlockFile' a -> m (DILexicalBlockFile' b) Source #

Show lab => Show (DILexicalBlockFile' lab) Source # 
Generic (DILexicalBlockFile' lab) Source # 

Associated Types

type Rep (DILexicalBlockFile' lab) :: * -> * #

type Rep1 DILexicalBlockFile' Source # 
type Rep1 DILexicalBlockFile' = D1 (MetaData "DILexicalBlockFile'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DILexicalBlockFile" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "dilbfScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 ValMd')) ((:*:) (S1 (MetaSel (Just Symbol "dilbfFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dilbfDiscriminator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))
type Rep (DILexicalBlockFile' lab) Source # 
type Rep (DILexicalBlockFile' lab) = D1 (MetaData "DILexicalBlockFile'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DILexicalBlockFile" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "dilbfScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ValMd' lab))) ((:*:) (S1 (MetaSel (Just Symbol "dilbfFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dilbfDiscriminator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))

data DILocalVariable' lab Source #

Instances

Functor DILocalVariable' Source # 

Methods

fmap :: (a -> b) -> DILocalVariable' a -> DILocalVariable' b #

(<$) :: a -> DILocalVariable' b -> DILocalVariable' a #

Generic1 DILocalVariable' Source # 

Associated Types

type Rep1 (DILocalVariable' :: * -> *) :: * -> * #

HasLabel DILocalVariable' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILocalVariable' a -> m (DILocalVariable' b) Source #

Show lab => Show (DILocalVariable' lab) Source # 
Generic (DILocalVariable' lab) Source # 

Associated Types

type Rep (DILocalVariable' lab) :: * -> * #

type Rep1 DILocalVariable' Source # 
type Rep (DILocalVariable' lab) Source # 

data DISubprogram' lab Source #

Instances

Functor DISubprogram' Source # 

Methods

fmap :: (a -> b) -> DISubprogram' a -> DISubprogram' b #

(<$) :: a -> DISubprogram' b -> DISubprogram' a #

Generic1 DISubprogram' Source # 

Associated Types

type Rep1 (DISubprogram' :: * -> *) :: * -> * #

HasLabel DISubprogram' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubprogram' a -> m (DISubprogram' b) Source #

Show lab => Show (DISubprogram' lab) Source # 
Generic (DISubprogram' lab) Source # 

Associated Types

type Rep (DISubprogram' lab) :: * -> * #

Methods

from :: DISubprogram' lab -> Rep (DISubprogram' lab) x #

to :: Rep (DISubprogram' lab) x -> DISubprogram' lab #

type Rep1 DISubprogram' Source # 
type Rep1 DISubprogram' = D1 (MetaData "DISubprogram'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DISubprogram" PrefixI True) ((:*:) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dispName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "dispLinkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dispFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dispType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))) ((:*:) (S1 (MetaSel (Just Symbol "dispIsLocal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Just Symbol "dispIsDefinition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "dispScopeLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispContainingType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dispVirtuality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfVirtuality))) ((:*:) (S1 (MetaSel (Just Symbol "dispVirtualIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dispThisAdjustment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dispIsOptimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:*:) (S1 (MetaSel (Just Symbol "dispTemplateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) ((:*:) (S1 (MetaSel (Just Symbol "dispDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd'))) (S1 (MetaSel (Just Symbol "dispVariables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))))))))
type Rep (DISubprogram' lab) Source # 
type Rep (DISubprogram' lab) = D1 (MetaData "DISubprogram'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DISubprogram" PrefixI True) ((:*:) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispScope") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dispName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "dispLinkageName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "dispFile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dispType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))) ((:*:) (S1 (MetaSel (Just Symbol "dispIsLocal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Just Symbol "dispIsDefinition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "dispScopeLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))))) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispContainingType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dispVirtuality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DwarfVirtuality))) ((:*:) (S1 (MetaSel (Just Symbol "dispVirtualIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) (S1 (MetaSel (Just Symbol "dispThisAdjustment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "dispFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "dispIsOptimized") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:*:) (S1 (MetaSel (Just Symbol "dispTemplateParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) ((:*:) (S1 (MetaSel (Just Symbol "dispDeclaration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab)))) (S1 (MetaSel (Just Symbol "dispVariables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))))))))

data DISubroutineType' lab Source #

Constructors

DISubroutineType 

Instances

Functor DISubroutineType' Source # 
Generic1 DISubroutineType' Source # 

Associated Types

type Rep1 (DISubroutineType' :: * -> *) :: * -> * #

HasLabel DISubroutineType' Source # 

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubroutineType' a -> m (DISubroutineType' b) Source #

Show lab => Show (DISubroutineType' lab) Source # 
Generic (DISubroutineType' lab) Source # 

Associated Types

type Rep (DISubroutineType' lab) :: * -> * #

type Rep1 DISubroutineType' Source # 
type Rep1 DISubroutineType' = D1 (MetaData "DISubroutineType'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DISubroutineType" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "distFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "distTypeArray") NoSourceUnpackedness NoSourceStrictness DecidedLazy) ((:.:) Maybe (Rec1 ValMd')))))
type Rep (DISubroutineType' lab) Source # 
type Rep (DISubroutineType' lab) = D1 (MetaData "DISubroutineType'" "Text.LLVM.AST" "llvm-pretty-0.7.0.0-GiI87IR8uMaFpu875Fd5Bx" False) (C1 (MetaCons "DISubroutineType" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "distFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DIFlags)) (S1 (MetaSel (Just Symbol "distTypeArray") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ValMd' lab))))))

data IndexResult Source #

Constructors

Invalid

An invalid use of GEP

HasType Type

A resolved type

Resolve Ident (Type -> IndexResult)

Continue, after resolving an alias

resolveGepFull Source #

Arguments

:: (Ident -> Maybe Type)

Type alias resolution

-> Type

Pointer type

-> [Typed (Value' lab)]

Path

-> Maybe Type

Type of result

Resolves the type of a GEP instruction. Type aliases are resolved using the given function. An invalid use of GEP or one relying on unknown type aliases will return Nothing

resolveGep :: Type -> [Typed (Value' lab)] -> IndexResult Source #

Resolve the type of a GEP instruction. Note that the type produced is the type of the result, not necessarily a pointer.

resolveGepBody :: Type -> [Typed (Value' lab)] -> IndexResult Source #

Resolve the type of a GEP instruction. This assumes that the input has already been processed as a pointer.