Language.Wasm.Interpreter

Documentation

data Value

Constructors

VI32 Word32

VI64 Word64

VF32 Float

VF64 Double

Instances

Eq Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

data Store

data ModuleInstance

Constructors

ModuleInstance

Fields

• funcTypes :: Vector FuncType
• funcaddrs :: Vector Address
• tableaddrs :: Vector Address
• memaddrs :: Vector Address
• globaladdrs :: Vector Address
• exports :: Vector ExportInstance

Instances

Eq ModuleInstance

Methods

(==) :: ModuleInstance -> ModuleInstance -> Bool

(/=) :: ModuleInstance -> ModuleInstance -> Bool

Show ModuleInstance

Methods

showsPrec :: Int -> ModuleInstance -> ShowS

show :: ModuleInstance -> String

showList :: [ModuleInstance] -> ShowS

data ExternalValue

Constructors

ExternFunction Address

ExternTable Address

ExternMemory Address

ExternGlobal Address

Instances

Eq ExternalValue

Methods

(==) :: ExternalValue -> ExternalValue -> Bool

(/=) :: ExternalValue -> ExternalValue -> Bool

Show ExternalValue

Methods

showsPrec :: Int -> ExternalValue -> ShowS

show :: ExternalValue -> String

showList :: [ExternalValue] -> ShowS

data ExportInstance

Constructors

ExportInstance Text ExternalValue

Instances

Eq ExportInstance

Methods

(==) :: ExportInstance -> ExportInstance -> Bool

(/=) :: ExportInstance -> ExportInstance -> Bool

Show ExportInstance

Methods

showsPrec :: Int -> ExportInstance -> ShowS

show :: ExportInstance -> String

showList :: [ExportInstance] -> ShowS

data GlobalInstance

Constructors

GIConst ValueType Value

GIMut ValueType (IORef Value)

type Imports = Map (Text, Text) ExternalValue

data HostItem

Constructors

HostFunction FuncType HostFunction

HostGlobal GlobalInstance

HostMemory Limit

HostTable Limit

instantiate :: Store -> Imports -> ValidModule -> IO (Either String (ModuleInstance, Store))

invoke :: Store -> Address -> [Value] -> IO (Maybe [Value])

invokeExport :: Store -> ModuleInstance -> Text -> [Value] -> IO (Maybe [Value])

getGlobalValueByName :: Store -> ModuleInstance -> Text -> IO Value

emptyStore :: Store

emptyImports :: Imports

makeHostModule :: Store -> [(Text, HostItem)] -> IO (Store, ModuleInstance)

makeMutGlobal :: Value -> IO GlobalInstance