Language.Wasm

Documentation

data Module

Instances

Eq Module

Defined in Language.Wasm.Structure

Methods

(==) :: Module -> Module -> Bool

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

Show Module

Defined in Language.Wasm.Structure

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

Generic Module

Defined in Language.Wasm.Structure

Associated Types

type Rep Module :: Type -> Type

Methods

from :: Module -> Rep Module x

to :: Rep Module x -> Module

Serialize Module

Defined in Language.Wasm.Binary

Methods

put :: Putter Module

get :: Get Module

NFData Module

Defined in Language.Wasm.Structure

Methods

rnf :: Module -> ()

type Rep Module

Defined in Language.Wasm.Structure

type Rep Module = D1 ('MetaData "Module" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Module" 'PrefixI 'True) (((S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FuncType]) :*: S1 ('MetaSel ('Just "functions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Function])) :*: (S1 ('MetaSel ('Just "tables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Table]) :*: (S1 ('MetaSel ('Just "mems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Memory]) :*: S1 ('MetaSel ('Just "globals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Global])))) :*: ((S1 ('MetaSel ('Just "elems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ElemSegment]) :*: S1 ('MetaSel ('Just "datas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataSegment])) :*: (S1 ('MetaSel ('Just "start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StartFunction)) :*: (S1 ('MetaSel ('Just "imports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Import]) :*: S1 ('MetaSel ('Just "exports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Export]))))))

data ValidModule

Instances

Eq ValidModule

Defined in Language.Wasm.Validate

Methods

(==) :: ValidModule -> ValidModule -> Bool

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

Show ValidModule

Defined in Language.Wasm.Validate

Methods

showsPrec :: Int -> ValidModule -> ShowS

show :: ValidModule -> String

showList :: [ValidModule] -> ShowS

data ValidationError

Constructors

DuplicatedExportNames [String]

InvalidTableType

MinMoreThanMaxInMemoryLimit

MemoryLimitExceeded

AlignmentOverflow

MoreThanOneMemory

MoreThanOneTable

FunctionIndexOutOfRange

TableIndexOutOfRange Natural

MemoryIndexOutOfRange Natural

LocalIndexOutOfRange Natural

GlobalIndexOutOfRange Natural

LabelIndexOutOfRange

TypeIndexOutOfRange

ResultTypeDoesntMatch

TypeMismatch

Fields

• actual :: Arrow
• expected :: Arrow

InvalidResultArity

InvalidConstantExpr

InvalidStartFunctionType

GlobalIsImmutable

Instances

Eq ValidationError

Defined in Language.Wasm.Validate

Methods

(==) :: ValidationError -> ValidationError -> Bool

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

Show ValidationError

Defined in Language.Wasm.Validate

Methods

showsPrec :: Int -> ValidationError -> ShowS

show :: ValidationError -> String

showList :: [ValidationError] -> ShowS

Monoid ValidationResult

Defined in Language.Wasm.Validate

Methods

mempty :: ValidationResult

mappend :: ValidationResult -> ValidationResult -> ValidationResult

mconcat :: [ValidationResult] -> ValidationResult

parse :: ByteString -> Either String Module

Parse WebAssembly text representation to Module

validate :: Module -> Either ValidationError ValidModule

parseScript :: ByteString -> Either String Script

Parse WebAssembly extended script grammar

encode :: Module -> ByteString

Dump Module to binary representation

encodeLazy :: Module -> ByteString

Dump Module to binary representation lazily

decode :: ByteString -> Either String Module

Decode Module from binary representation

decodeLazy :: ByteString -> Either String Module

Decode Module from binary representation lazily

type Script = [Command]

data Command

Constructors

ModuleDef ModuleDef

Register Text (Maybe Ident)

Action Action

Assertion Int Assertion

Meta Meta

Instances

Eq Command

Defined in Language.Wasm.Parser

Methods

(==) :: Command -> Command -> Bool

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

Show Command

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

data ModuleDef

Constructors

RawModDef (Maybe Ident) Module

TextModDef (Maybe Ident) Text

BinaryModDef (Maybe Ident) ByteString

Instances

Eq ModuleDef

Defined in Language.Wasm.Parser

Methods

(==) :: ModuleDef -> ModuleDef -> Bool

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

Show ModuleDef

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ModuleDef -> ShowS

show :: ModuleDef -> String

showList :: [ModuleDef] -> ShowS

data Action

Constructors

Invoke (Maybe Ident) Text [Expression]

Get (Maybe Ident) Text

Instances

Eq Action

Defined in Language.Wasm.Parser

Methods

(==) :: Action -> Action -> Bool

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

Show Action

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

data Assertion

Constructors

AssertReturn Action [Expression]

AssertReturnCanonicalNaN Action

AssertReturnArithmeticNaN Action

AssertTrap (Either Action ModuleDef) FailureString

AssertMalformed ModuleDef FailureString

AssertInvalid ModuleDef FailureString

AssertUnlinkable ModuleDef FailureString

AssertExhaustion Action FailureString

Instances

Eq Assertion

Defined in Language.Wasm.Parser

Methods

(==) :: Assertion -> Assertion -> Bool

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

Show Assertion

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Assertion -> ShowS

show :: Assertion -> String

showList :: [Assertion] -> ShowS

newtype Ident

Constructors

Ident Text

Instances

Eq Ident

Defined in Language.Wasm.Parser

Methods

(==) :: Ident -> Ident -> Bool

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

Show Ident

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

Defined in Language.Wasm.Parser

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Defined in Language.Wasm.Parser

Methods

rnf :: Ident -> ()

type Rep Ident

Defined in Language.Wasm.Parser

type Rep Ident = D1 ('MetaData "Ident" "Language.Wasm.Parser" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'True) (C1 ('MetaCons "Ident" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Meta

Constructors

Script (Maybe Ident) Script

Input (Maybe Ident) Text

Output (Maybe Ident) Text

Instances

Eq Meta

Defined in Language.Wasm.Parser

Methods

(==) :: Meta -> Meta -> Bool

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

Show Meta

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

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

$sel:getModule:ValidModule :: ValidModule -> Module