LLVM.Internal.EncodeAST

Documentation

data LocalValue

Constructors

ForwardValue (Ptr Value)

DefinedValue (Ptr Value)

data EncodeState

Constructors

EncodeState

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

Methods

get :: EncodeAST EncodeState

put :: EncodeState -> EncodeAST ()

state :: (EncodeState -> (a, EncodeState)) -> EncodeAST a

newtype EncodeAST a

Constructors

EncodeAST

Fields

• unEncodeAST :: AnyContT (StateT EncodeState IO) a

Instances

Monad EncodeAST

Methods

(>>=) :: EncodeAST a -> (a -> EncodeAST b) -> EncodeAST b

(>>) :: EncodeAST a -> EncodeAST b -> EncodeAST b

return :: a -> EncodeAST a

fail :: String -> EncodeAST a

Functor EncodeAST

Methods

fmap :: (a -> b) -> EncodeAST a -> EncodeAST b

(<$) :: a -> EncodeAST b -> EncodeAST a

Applicative EncodeAST

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

Methods

liftIO :: IO a -> EncodeAST a

MonadThrow EncodeAST

Methods

throwM :: Exception e => e -> EncodeAST a

MonadState EncodeState EncodeAST

Methods

get :: EncodeAST EncodeState

put :: EncodeState -> EncodeAST ()

state :: (EncodeState -> (a, EncodeState)) -> EncodeAST a

EncodeM EncodeAST AttributeList AttributeList

Methods

encodeM :: AttributeList -> EncodeAST AttributeList

EncodeM EncodeAST Name (Ptr BasicBlock)

Methods

encodeM :: Name -> EncodeAST (Ptr BasicBlock)

lookupNamedType :: Name -> EncodeAST (Ptr Type)

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

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

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

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

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

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

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

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

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

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

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

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

referGlobal :: Name -> EncodeAST (Ptr GlobalValue)

referMDNode :: MetadataNodeID -> EncodeAST (Ptr MDNode)

referAttributeGroup :: GroupID -> EncodeAST FunctionAttributeSet

referCOMDAT :: ShortByteString -> EncodeAST (Ptr COMDAT)

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

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

Orphan instances

MonadAnyCont IO m => EncodeM m Name CString

Methods

encodeM :: Name -> m CString