| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Wasm.Interpreter
Documentation
data ModuleInstance Source #
Constructors
| ModuleInstance | |
Fields
| |
Instances
| Eq ModuleInstance Source # | |
Defined in Language.Wasm.Interpreter Methods (==) :: ModuleInstance -> ModuleInstance -> Bool # (/=) :: ModuleInstance -> ModuleInstance -> Bool # | |
| Show ModuleInstance Source # | |
Defined in Language.Wasm.Interpreter Methods showsPrec :: Int -> ModuleInstance -> ShowS # show :: ModuleInstance -> String # showList :: [ModuleInstance] -> ShowS # | |
data ExternalValue Source #
Constructors
| ExternFunction Address | |
| ExternTable Address | |
| ExternMemory Address | |
| ExternGlobal Address |
Instances
| Eq ExternalValue Source # | |
Defined in Language.Wasm.Interpreter Methods (==) :: ExternalValue -> ExternalValue -> Bool # (/=) :: ExternalValue -> ExternalValue -> Bool # | |
| Show ExternalValue Source # | |
Defined in Language.Wasm.Interpreter Methods showsPrec :: Int -> ExternalValue -> ShowS # show :: ExternalValue -> String # showList :: [ExternalValue] -> ShowS # | |
data ExportInstance Source #
Constructors
| ExportInstance Text ExternalValue |
Instances
| Eq ExportInstance Source # | |
Defined in Language.Wasm.Interpreter Methods (==) :: ExportInstance -> ExportInstance -> Bool # (/=) :: ExportInstance -> ExportInstance -> Bool # | |
| Show ExportInstance Source # | |
Defined in Language.Wasm.Interpreter Methods showsPrec :: Int -> ExportInstance -> ShowS # show :: ExportInstance -> String # showList :: [ExportInstance] -> ShowS # | |
Constructors
| HostFunction FuncType HostFunction | |
| HostGlobal GlobalInstance | |
| HostMemory Limit | |
| HostTable Limit |
instantiate :: Store -> Imports -> ValidModule -> IO (Either String ModuleInstance, Store) Source #
invokeExport :: Store -> ModuleInstance -> Text -> [Value] -> IO (Maybe [Value]) Source #
getGlobalValueByName :: Store -> ModuleInstance -> Text -> IO Value Source #
emptyStore :: Store Source #
makeHostModule :: Store -> [(Text, HostItem)] -> IO (Store, ModuleInstance) Source #
makeMutGlobal :: Value -> IO GlobalInstance Source #