Safe Haskell	None
Language	Haskell2010

Language.Wasm

Synopsis

Documentation

data Module Source #

Instances

Eq Module Source #
Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Show Module Source #
Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Generic Module Source #
Associated Types type Rep Module :: * -> * # Methods from :: Module -> Rep Module x # to :: Rep Module x -> Module #
NFData Module Source #
Methods rnf :: Module -> () #
type Rep Module Source #
type Rep Module = D1 * (MetaData "Module" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Module" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "types") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [FuncType])) (S1 * (MetaSel (Just Symbol "functions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Function]))) ((::) (S1 * (MetaSel (Just Symbol "tables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Table])) ((::) (S1 * (MetaSel (Just Symbol "mems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Memory])) (S1 * (MetaSel (Just Symbol "globals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Global]))))) ((::) ((::) (S1 * (MetaSel (Just Symbol "elems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ElemSegment])) (S1 * (MetaSel (Just Symbol "datas") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [DataSegment]))) ((::) (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe StartFunction))) ((::) (S1 * (MetaSel (Just Symbol "imports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Import])) (S1 * (MetaSel (Just Symbol "exports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Export])))))))

data ValidModule Source #

Instances

Eq ValidModule Source #
Methods (==) :: ValidModule -> ValidModule -> Bool # (/=) :: ValidModule -> ValidModule -> Bool #
Show ValidModule Source #
Methods showsPrec :: Int -> ValidModule -> ShowS # show :: ValidModule -> String # showList :: [ValidModule] -> ShowS #

data ValidationError Source #

Instances

Eq ValidationError Source #
Methods (==) :: ValidationError -> ValidationError -> Bool # (/=) :: ValidationError -> ValidationError -> Bool #
Show ValidationError Source #
Methods showsPrec :: Int -> ValidationError -> ShowS # show :: ValidationError -> String # showList :: [ValidationError] -> ShowS #
Monoid ValidationResult Source #
Methods mempty :: ValidationResult # mappend :: ValidationResult -> ValidationResult -> ValidationResult # mconcat :: [ValidationResult] -> ValidationResult #

parse :: ByteString -> Either String Module Source #

Parse WebAssembly text representation to Module

validate :: Module -> Either ValidationError ValidModule Source #

parseScript :: ByteString -> Either String Script Source #

Parse WebAssembly extended scipt grammar

encode :: Module -> ByteString Source #

Dump Module to binary representation

encodeLazy :: Module -> ByteString Source #

Dump Module to binary representation lazily

decode :: ByteString -> Either String Module Source #

Decode Module from binary representation

decodeLazy :: ByteString -> Either String Module Source #

Decode Module from binary representation lazily

type Script = [Command] Source #

runScript :: OnAssertFail -> Script -> IO () Source #

DuplicatedExportNames [String]
InvalidTableType
MinMoreThanMaxInMemoryLimit
MemoryLimitExceeded
AlignmentOverflow
MoreThanOneMemory
MoreThanOneTable
FunctionIndexOutOfRange
TableIndexOutOfRange
MemoryIndexOutOfRange
LocalIndexOutOfRange
GlobalIndexOutOfRange
LabelIndexOutOfRange
TypeIndexOutOfRange
ResultTypeDoesntMatch
TypeMismatch
Fields actual :: Arrow expected :: Arrow
InvalidResultArity
InvalidConstantExpr
InvalidStartFunctionType
ImportedGlobalIsNotConst
ExportedGlobalIsNotConst
GlobalIsImmutable