llvm-hs-5.1.1: General purpose LLVM bindings

Safe Haskell	None
Language	Haskell98

LLVM.Internal.EncodeAST

Contents

Orphan instances

Documentation

data LocalValue Source #

Constructors

ForwardValue (Ptr Value)
DefinedValue (Ptr Value)

data EncodeState Source #

Constructors

Fields

encodeStateBuilder :: Ptr Builder
encodeStateContext :: Context
encodeStateLocals :: Map Name LocalValue
encodeStateGlobals :: Map Name (Ptr GlobalValue)
encodeStateAllBlocks :: Map (Name, Name) (Ptr BasicBlock)
encodeStateBlocks :: Map Name (Ptr BasicBlock)
encodeStateMDNodes :: Map MetadataNodeID (Ptr MDNode)
encodeStateNamedTypes :: Map Name (Ptr Type)
encodeStateAttributeGroups :: Map GroupID FunctionAttributeSet
encodeStateCOMDATs :: Map ShortByteString (Ptr COMDAT)

Instances

MonadState EncodeState EncodeAST Source #
Methods get :: EncodeAST EncodeState # put :: EncodeState -> EncodeAST () # state :: (EncodeState -> (a, EncodeState)) -> EncodeAST a #

newtype EncodeAST a Source #

Constructors

EncodeAST
Fields unEncodeAST :: AnyContT (StateT EncodeState IO) a

Instances

Monad EncodeAST Source #
Methods (>>=) :: EncodeAST a -> (a -> EncodeAST b) -> EncodeAST b # (>>) :: EncodeAST a -> EncodeAST b -> EncodeAST b # return :: a -> EncodeAST a # fail :: String -> EncodeAST a #
Functor EncodeAST Source #
Methods fmap :: (a -> b) -> EncodeAST a -> EncodeAST b # (<$) :: a -> EncodeAST b -> EncodeAST a #
Applicative EncodeAST Source #
Methods pure :: a -> EncodeAST a # (<>) :: EncodeAST (a -> b) -> EncodeAST a -> EncodeAST b # liftA2 :: (a -> b -> c) -> EncodeAST a -> EncodeAST b -> EncodeAST c # (>) :: EncodeAST a -> EncodeAST b -> EncodeAST b # (<*) :: EncodeAST a -> EncodeAST b -> EncodeAST a #
MonadIO EncodeAST Source #
Methods liftIO :: IO a -> EncodeAST a #
MonadThrow EncodeAST Source #
Methods throwM :: Exception e => e -> EncodeAST a #
MonadState EncodeState EncodeAST Source #
Methods get :: EncodeAST EncodeState # put :: EncodeState -> EncodeAST () # state :: (EncodeState -> (a, EncodeState)) -> EncodeAST a #
EncodeM EncodeAST AttributeList AttributeList Source #
Methods encodeM :: AttributeList -> EncodeAST AttributeList Source #
EncodeM EncodeAST Name (Ptr BasicBlock) Source #
Methods encodeM :: Name -> EncodeAST (Ptr BasicBlock) Source #

lookupNamedType :: Name -> EncodeAST (Ptr Type) Source #

defineType :: Name -> Ptr Type -> EncodeAST () Source #

runEncodeAST :: Context -> EncodeAST a -> IO a Source #

withName :: Name -> (CString -> IO a) -> IO a Source #

phase :: EncodeAST a -> EncodeAST (EncodeAST a) Source #

defineLocal :: DescendentOf Value v => Name -> Ptr v -> EncodeAST () Source #

defineGlobal :: DescendentOf GlobalValue v => Name -> Ptr v -> EncodeAST () Source #

defineMDNode :: MetadataNodeID -> Ptr MDNode -> EncodeAST () Source #

defineAttributeGroup :: GroupID -> FunctionAttributeSet -> EncodeAST () Source #

defineCOMDAT :: ShortByteString -> Ptr COMDAT -> EncodeAST () Source #

refer :: (Show n, Ord n) => (EncodeState -> Map n v) -> n -> EncodeAST v -> EncodeAST v Source #

undefinedReference :: Show n => String -> n -> EncodeAST a Source #

referOrThrow :: (Show n, Ord n) => (EncodeState -> Map n v) -> String -> n -> EncodeAST v Source #

referGlobal :: Name -> EncodeAST (Ptr GlobalValue) Source #

referMDNode :: MetadataNodeID -> EncodeAST (Ptr MDNode) Source #

referAttributeGroup :: GroupID -> EncodeAST FunctionAttributeSet Source #

referCOMDAT :: ShortByteString -> EncodeAST (Ptr COMDAT) Source #

defineBasicBlock :: Name -> Name -> Ptr BasicBlock -> EncodeAST () Source #

getBlockForAddress :: Name -> Name -> EncodeAST (Ptr BasicBlock) Source #

Orphan instances

MonadAnyCont IO m => EncodeM m Name CString Source #
Methods encodeM :: Name -> m CString Source #