hdirect-0.21.0: An IDL compiler for Haskell

DsMonad

Documentation

data DsM a Source

Instances

runDsM :: String -> Env String TypeInfo -> Env String (Bool, [Attribute]) -> [(String, Maybe String, Type)] -> DsM a -> IO (a, TypeEnv, TagEnv, SourceEnv, IfaceEnv)Source

mapDsM :: (a -> b) -> DsM a -> DsM bSource

lookupType :: String -> DsM (Maybe (Maybe String, Type, [Attribute]))Source

lookupTypeInfo :: String -> DsM (Maybe TypeInfo)Source

lookupAsf :: String -> DsM (Maybe (Bool, [Attribute]))Source

lookupConst :: String -> DsM (Maybe (Either Int32 Expr))Source

lookupIface :: String -> DsM (Maybe Decl)Source

lookupTag :: String -> DsM (Maybe (Maybe String, String))Source

getAttributes :: DsM [Attribute]Source

propagateAttributes :: [Attribute] -> DsM a -> DsM aSource

withAttributes :: [Attribute] -> DsM a -> DsM aSource

getSrcFilename :: DsM StringSource

pushPack :: Maybe (Maybe (String, Maybe Int)) -> DsM ()Source

popPack :: Maybe (String, Maybe Int) -> DsM ()Source

getCurrentPack :: DsM (Maybe Int)Source

openUpScope :: DsM a -> DsM aSource

addToTypeEnv :: String -> Maybe String -> (Type, [Attribute]) -> DsM ()Source

addToIfaceEnv :: String -> Decl -> DsM ()Source

addToConstEnv :: String -> Either Int32 Expr -> DsM ()Source

getConstEnv :: DsM ConstEnvSource

addToTagEnv :: String -> String -> DsM ()Source

addSourceIface :: String -> DsM ()Source

getFilename :: DsM (Maybe String)Source

setFilename :: Maybe String -> DsM ()Source

getInterface :: DsM (Maybe String)Source

withInterface :: String -> DsM a -> DsM aSource

addToPath :: String -> DsM a -> DsM aSource

getPath :: DsM StringSource

inLibrary :: DsM a -> DsM aSource

isInLibrary :: DsM BoolSource

inImportedContext :: DsM a -> DsM aSource

isInImportedContext :: DsM BoolSource

addWarning :: String -> DsM ()Source

ioToDsM :: IO a -> DsM aSource

type TypeEnv = Env String (Maybe String, Type, [Attribute])Source

type SourceEnv = Env String ()Source

type ConstEnv = Env String (Either Int32 Expr)Source

type TagEnv = Env String (Maybe String, String)Source

type IfaceEnv = Env String DeclSource

data TypeInfo Source

Instances