LLVM.Internal.DecodeAST

Documentation

type NameMap a = Map (Ptr a) Word

data DecodeState

Constructors

DecodeState

Fields

• globalVarNum :: NameMap GlobalValue
• localVarNum :: NameMap Value
• localNameCounter :: Maybe Word
• namedTypeNum :: NameMap Type
• typesToDefine :: Seq (Ptr Type)
• metadataNodesToDefine :: Seq (MetadataNodeID, Ptr MDNode)
• metadataNodes :: Map (Ptr MDNode) MetadataNodeID
• metadataKinds :: Array Word ShortByteString
• parameterAttributeLists :: Map ParameterAttributeSet [ParameterAttribute]
• functionAttributeListIDs :: [(FunctionAttributeSet, GroupID)]
• comdats :: Map (Ptr COMDAT) (ShortByteString, SelectionKind)

Instances

MonadState DecodeState DecodeAST

Methods

get :: DecodeAST DecodeState

put :: DecodeState -> DecodeAST ()

state :: (DecodeState -> (a, DecodeState)) -> DecodeAST a

initialDecode :: DecodeState

newtype DecodeAST a

Constructors

DecodeAST

Fields

• unDecodeAST :: AnyContT (StateT DecodeState IO) a

Instances

Monad DecodeAST

Methods

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

(>>) :: DecodeAST a -> DecodeAST b -> DecodeAST b

return :: a -> DecodeAST a

fail :: String -> DecodeAST a

Functor DecodeAST

Methods

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

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

Applicative DecodeAST

Methods

pure :: a -> DecodeAST a

(<*>) :: DecodeAST (a -> b) -> DecodeAST a -> DecodeAST b

liftA2 :: (a -> b -> c) -> DecodeAST a -> DecodeAST b -> DecodeAST c

(*>) :: DecodeAST a -> DecodeAST b -> DecodeAST b

(<*) :: DecodeAST a -> DecodeAST b -> DecodeAST a

MonadIO DecodeAST

Methods

liftIO :: IO a -> DecodeAST a

MonadState DecodeState DecodeAST

Methods

get :: DecodeAST DecodeState

put :: DecodeState -> DecodeAST ()

state :: (DecodeState -> (a, DecodeState)) -> DecodeAST a

DecodeM DecodeAST Name (Ptr BasicBlock)

Methods

decodeM :: Ptr BasicBlock -> DecodeAST Name

DecodeM DecodeAST AttributeList (AttrSetDecoder a, a)

Methods

decodeM :: (AttrSetDecoder a, a) -> DecodeAST AttributeList

runDecodeAST :: DecodeAST a -> IO a

localScope :: DecodeAST a -> DecodeAST a

getName :: (Ptr a -> IO CString) -> Ptr a -> (DecodeState -> NameMap a) -> DecodeAST Word -> DecodeAST Name

getValueName :: DescendentOf Value v => Ptr v -> (DecodeState -> NameMap v) -> DecodeAST Word -> DecodeAST Name

getLocalName :: DescendentOf Value v => Ptr v -> DecodeAST Name

getGlobalName :: DescendentOf GlobalValue v => Ptr v -> DecodeAST Name

getTypeName :: Ptr Type -> DecodeAST Name

saveNamedType :: Ptr Type -> DecodeAST ()

getMetadataNodeID :: Ptr MDNode -> DecodeAST MetadataNodeID

takeTypeToDefine :: DecodeAST (Maybe (Ptr Type))

takeMetadataNodeToDefine :: DecodeAST (Maybe (MetadataNodeID, Ptr MDNode))

getAttributeGroupID :: FunctionAttributeSet -> DecodeAST GroupID