Language.Wasm.Parser

Documentation

parseModule :: [Lexeme] -> Either String Module

parseModuleFields :: [Lexeme] -> Either String [ModuleField]

parseScript :: [Lexeme] -> Either String Script

desugarize :: [ModuleField] -> Either String Module

data ModuleField

Constructors

MFType TypeDef

MFImport Import

MFFunc Function

MFTable Table

MFMem Memory

MFGlobal Global

MFExport Export

MFStart StartFunction

MFElem ElemSegment

MFData DataSegment

Instances

Eq ModuleField

Methods

(==) :: ModuleField -> ModuleField -> Bool

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

Show ModuleField

Methods

showsPrec :: Int -> ModuleField -> ShowS

show :: ModuleField -> String

showList :: [ModuleField] -> ShowS

Generic ModuleField

Associated Types

type Rep ModuleField :: * -> *

Methods

from :: ModuleField -> Rep ModuleField x

to :: Rep ModuleField x -> ModuleField

NFData ModuleField

Methods

rnf :: ModuleField -> ()

type Rep ModuleField

type Rep ModuleField = D1 * (MetaData "ModuleField" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "MFType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeDef))) (C1 * (MetaCons "MFImport" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Import)))) ((:+:) * (C1 * (MetaCons "MFFunc" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Function))) ((:+:) * (C1 * (MetaCons "MFTable" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Table))) (C1 * (MetaCons "MFMem" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Memory)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "MFGlobal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Global))) (C1 * (MetaCons "MFExport" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Export)))) ((:+:) * (C1 * (MetaCons "MFStart" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * StartFunction))) ((:+:) * (C1 * (MetaCons "MFElem" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ElemSegment))) (C1 * (MetaCons "MFData" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * DataSegment)))))))

data DataSegment

Constructors

DataSegment

Fields

• memIndex :: MemoryIndex
• offset :: [Instruction]
• datastring :: ByteString

Instances

Eq DataSegment

Methods

(==) :: DataSegment -> DataSegment -> Bool

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

Show DataSegment

Methods

showsPrec :: Int -> DataSegment -> ShowS

show :: DataSegment -> String

showList :: [DataSegment] -> ShowS

Generic DataSegment

Associated Types

type Rep DataSegment :: * -> *

Methods

from :: DataSegment -> Rep DataSegment x

to :: Rep DataSegment x -> DataSegment

NFData DataSegment

Methods

rnf :: DataSegment -> ()

type Rep DataSegment

type Rep DataSegment

data ElemSegment

Constructors

ElemSegment

Fields

• tableIndex :: TableIndex
• offset :: [Instruction]
• funcIndexes :: [FuncIndex]

Instances

Eq ElemSegment

Methods

(==) :: ElemSegment -> ElemSegment -> Bool

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

Show ElemSegment

Methods

showsPrec :: Int -> ElemSegment -> ShowS

show :: ElemSegment -> String

showList :: [ElemSegment] -> ShowS

Generic ElemSegment

Associated Types

type Rep ElemSegment :: * -> *

Methods

from :: ElemSegment -> Rep ElemSegment x

to :: Rep ElemSegment x -> ElemSegment

NFData ElemSegment

Methods

rnf :: ElemSegment -> ()

type Rep ElemSegment

type Rep ElemSegment

data StartFunction

Constructors

StartFunction FuncIndex

Instances

Eq StartFunction

Methods

(==) :: StartFunction -> StartFunction -> Bool

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

Show StartFunction

Methods

showsPrec :: Int -> StartFunction -> ShowS

show :: StartFunction -> String

showList :: [StartFunction] -> ShowS

Generic StartFunction

Associated Types

type Rep StartFunction :: * -> *

Methods

from :: StartFunction -> Rep StartFunction x

to :: Rep StartFunction x -> StartFunction

NFData StartFunction

Methods

rnf :: StartFunction -> ()

type Rep StartFunction

type Rep StartFunction

data Export

Constructors

Export

Fields

• name :: Text
• desc :: ExportDesc

Instances

Eq Export

Methods

(==) :: Export -> Export -> Bool

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

Show Export

Methods

showsPrec :: Int -> Export -> ShowS

show :: Export -> String

showList :: [Export] -> ShowS

Generic Export

Associated Types

type Rep Export :: * -> *

Methods

from :: Export -> Rep Export x

to :: Rep Export x -> Export

NFData Export

Methods

rnf :: Export -> ()

type Rep Export

type Rep Export = D1 * (MetaData "Export" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Export" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "desc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ExportDesc))))

data ExportDesc

Constructors

ExportFunc FuncIndex

ExportTable TableIndex

ExportMemory MemoryIndex

ExportGlobal GlobalIndex

Instances

Eq ExportDesc

Methods

(==) :: ExportDesc -> ExportDesc -> Bool

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

Show ExportDesc

Methods

showsPrec :: Int -> ExportDesc -> ShowS

show :: ExportDesc -> String

showList :: [ExportDesc] -> ShowS

Generic ExportDesc

Associated Types

type Rep ExportDesc :: * -> *

Methods

from :: ExportDesc -> Rep ExportDesc x

to :: Rep ExportDesc x -> ExportDesc

NFData ExportDesc

Methods

rnf :: ExportDesc -> ()

type Rep ExportDesc

type Rep ExportDesc

data Table

Constructors

Table [Text] (Maybe Ident) TableType

Instances

Eq Table

Methods

(==) :: Table -> Table -> Bool

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

Show Table

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

Generic Table

Associated Types

type Rep Table :: * -> *

Methods

from :: Table -> Rep Table x

to :: Rep Table x -> Table

NFData Table

Methods

rnf :: Table -> ()

type Rep Table

type Rep Table = D1 * (MetaData "Table" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Table" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TableType)))))

data Memory

Constructors

Memory [Text] (Maybe Ident) Limit

Instances

Eq Memory

Methods

(==) :: Memory -> Memory -> Bool

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

Show Memory

Methods

showsPrec :: Int -> Memory -> ShowS

show :: Memory -> String

showList :: [Memory] -> ShowS

Generic Memory

Associated Types

type Rep Memory :: * -> *

Methods

from :: Memory -> Rep Memory x

to :: Rep Memory x -> Memory

NFData Memory

Methods

rnf :: Memory -> ()

type Rep Memory

type Rep Memory = D1 * (MetaData "Memory" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Memory" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Limit)))))

data Global

Constructors

Global

Fields

• exportGlobalAs :: [Text]
• ident :: Maybe Ident
• globalType :: GlobalType
• initializer :: [Instruction]

Instances

Eq Global

Methods

(==) :: Global -> Global -> Bool

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

Show Global

Methods

showsPrec :: Int -> Global -> ShowS

show :: Global -> String

showList :: [Global] -> ShowS

Generic Global

Associated Types

type Rep Global :: * -> *

Methods

from :: Global -> Rep Global x

to :: Rep Global x -> Global

NFData Global

Methods

rnf :: Global -> ()

type Rep Global

type Rep Global = D1 * (MetaData "Global" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Global" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "exportGlobalAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident)))) ((:*:) * (S1 * (MetaSel (Just Symbol "globalType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GlobalType)) (S1 * (MetaSel (Just Symbol "initializer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))

data Function

Constructors

Function

Fields

• exportFuncAs :: [Text]
• ident :: Maybe Ident
• funcType :: TypeUse
• locals :: [LocalType]
• body :: [Instruction]

Instances

Eq Function

Methods

(==) :: Function -> Function -> Bool

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

Show Function

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

Generic Function

Associated Types

type Rep Function :: * -> *

Methods

from :: Function -> Rep Function x

to :: Rep Function x -> Function

NFData Function

Methods

rnf :: Function -> ()

type Rep Function

type Rep Function = D1 * (MetaData "Function" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Function" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "exportFuncAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident)))) ((:*:) * (S1 * (MetaSel (Just Symbol "funcType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeUse)) ((:*:) * (S1 * (MetaSel (Just Symbol "locals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LocalType])) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction]))))))

data LocalType

Constructors

LocalType

Fields

• ident :: Maybe Ident
• localType :: ValueType

Instances

Eq LocalType

Methods

(==) :: LocalType -> LocalType -> Bool

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

Show LocalType

Methods

showsPrec :: Int -> LocalType -> ShowS

show :: LocalType -> String

showList :: [LocalType] -> ShowS

Generic LocalType

Associated Types

type Rep LocalType :: * -> *

Methods

from :: LocalType -> Rep LocalType x

to :: Rep LocalType x -> LocalType

NFData LocalType

Methods

rnf :: LocalType -> ()

type Rep LocalType

type Rep LocalType = D1 * (MetaData "LocalType" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "LocalType" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "localType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))))

data Import

Constructors

Import

Fields

• reExportAs :: [Text]
• sourceModule :: Text
• name :: Text
• desc :: ImportDesc

Instances

Eq Import

Methods

(==) :: Import -> Import -> Bool

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

Show Import

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

Generic Import

Associated Types

type Rep Import :: * -> *

Methods

from :: Import -> Rep Import x

to :: Rep Import x -> Import

NFData Import

Methods

rnf :: Import -> ()

type Rep Import

type Rep Import = D1 * (MetaData "Import" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Import" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "reExportAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "sourceModule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "desc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ImportDesc)))))

data ImportDesc

Constructors

ImportFunc (Maybe Ident) TypeUse

ImportTable (Maybe Ident) TableType

ImportMemory (Maybe Ident) Limit

ImportGlobal (Maybe Ident) GlobalType

Instances

Eq ImportDesc

Methods

(==) :: ImportDesc -> ImportDesc -> Bool

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

Show ImportDesc

Methods

showsPrec :: Int -> ImportDesc -> ShowS

show :: ImportDesc -> String

showList :: [ImportDesc] -> ShowS

Generic ImportDesc

Associated Types

type Rep ImportDesc :: * -> *

Methods

from :: ImportDesc -> Rep ImportDesc x

to :: Rep ImportDesc x -> ImportDesc

NFData ImportDesc

Methods

rnf :: ImportDesc -> ()

type Rep ImportDesc

type Rep ImportDesc = D1 * (MetaData "ImportDesc" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "ImportFunc" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeUse)))) (C1 * (MetaCons "ImportTable" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TableType))))) ((:+:) * (C1 * (MetaCons "ImportMemory" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Limit)))) (C1 * (MetaCons "ImportGlobal" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GlobalType))))))

data Instruction

Constructors

PlainInstr PlainInstr

BlockInstr

Fields

• label :: Maybe Ident
• resultType :: [ValueType]
• body :: [Instruction]

LoopInstr

Fields

• label :: Maybe Ident
• resultType :: [ValueType]
• body :: [Instruction]

IfInstr

Fields

• label :: Maybe Ident
• resultType :: [ValueType]
• trueBranch :: [Instruction]
• falseBranch :: [Instruction]

Instances

Eq Instruction

Methods

(==) :: Instruction -> Instruction -> Bool

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

Show Instruction

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

Generic Instruction

Associated Types

type Rep Instruction :: * -> *

Methods

from :: Instruction -> Rep Instruction x

to :: Rep Instruction x -> Instruction

NFData Instruction

Methods

rnf :: Instruction -> ()

type Rep Instruction

type Rep Instruction = D1 * (MetaData "Instruction" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "PlainInstr" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PlainInstr))) (C1 * (MetaCons "BlockInstr" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) ((:*:) * (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType])) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))) ((:+:) * (C1 * (MetaCons "LoopInstr" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) ((:*:) * (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType])) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction]))))) (C1 * (MetaCons "IfInstr" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType]))) ((:*:) * (S1 * (MetaSel (Just Symbol "trueBranch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])) (S1 * (MetaSel (Just Symbol "falseBranch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))))

data TypeUse

Constructors

IndexedTypeUse TypeIndex (Maybe FuncType)

AnonimousTypeUse FuncType

Instances

Eq TypeUse

Methods

(==) :: TypeUse -> TypeUse -> Bool

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

Show TypeUse

Methods

showsPrec :: Int -> TypeUse -> ShowS

show :: TypeUse -> String

showList :: [TypeUse] -> ShowS

Generic TypeUse

Associated Types

type Rep TypeUse :: * -> *

Methods

from :: TypeUse -> Rep TypeUse x

to :: Rep TypeUse x -> TypeUse

NFData TypeUse

Methods

rnf :: TypeUse -> ()

type Rep TypeUse

type Rep TypeUse

data TypeDef

Constructors

TypeDef (Maybe Ident) FuncType

Instances

Eq TypeDef

Methods

(==) :: TypeDef -> TypeDef -> Bool

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

Show TypeDef

Methods

showsPrec :: Int -> TypeDef -> ShowS

show :: TypeDef -> String

showList :: [TypeDef] -> ShowS

Generic TypeDef

Associated Types

type Rep TypeDef :: * -> *

Methods

from :: TypeDef -> Rep TypeDef x

to :: Rep TypeDef x -> TypeDef

NFData TypeDef

Methods

rnf :: TypeDef -> ()

type Rep TypeDef

type Rep TypeDef = D1 * (MetaData "TypeDef" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "TypeDef" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FuncType))))

data PlainInstr

Constructors

Unreachable

Nop

Br LabelIndex

BrIf LabelIndex

BrTable [LabelIndex] LabelIndex

Return

Call FuncIndex

CallIndirect TypeUse

Drop

Select

GetLocal LocalIndex

SetLocal LocalIndex

TeeLocal LocalIndex

GetGlobal GlobalIndex

SetGlobal GlobalIndex

I32Load MemArg

I64Load MemArg

F32Load MemArg

F64Load MemArg

I32Load8S MemArg

I32Load8U MemArg

I32Load16S MemArg

I32Load16U MemArg

I64Load8S MemArg

I64Load8U MemArg

I64Load16S MemArg

I64Load16U MemArg

I64Load32S MemArg

I64Load32U MemArg

I32Store MemArg

I64Store MemArg

F32Store MemArg

F64Store MemArg

I32Store8 MemArg

I32Store16 MemArg

I64Store8 MemArg

I64Store16 MemArg

I64Store32 MemArg

CurrentMemory

GrowMemory

I32Const Integer

I64Const Integer

F32Const Float

F64Const Double

IUnOp BitSize IUnOp

IBinOp BitSize IBinOp

I32Eqz

I64Eqz

IRelOp BitSize IRelOp

FUnOp BitSize FUnOp

FBinOp BitSize FBinOp

FRelOp BitSize FRelOp

I32WrapI64

ITruncFU BitSize BitSize

ITruncFS BitSize BitSize

I64ExtendSI32

I64ExtendUI32

FConvertIU BitSize BitSize

FConvertIS BitSize BitSize

F32DemoteF64

F64PromoteF32

IReinterpretF BitSize

FReinterpretI BitSize

Instances

Eq PlainInstr

Methods

(==) :: PlainInstr -> PlainInstr -> Bool

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

Show PlainInstr

Methods

showsPrec :: Int -> PlainInstr -> ShowS

show :: PlainInstr -> String

showList :: [PlainInstr] -> ShowS

Generic PlainInstr

Associated Types

type Rep PlainInstr :: * -> *

Methods

from :: PlainInstr -> Rep PlainInstr x

to :: Rep PlainInstr x -> PlainInstr

NFData PlainInstr

Methods

rnf :: PlainInstr -> ()

type Rep PlainInstr

type Rep PlainInstr

data Index

Constructors

Named Ident

Index Natural

Instances

Eq Index

Methods

(==) :: Index -> Index -> Bool

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

Show Index

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Generic Index

Associated Types

type Rep Index :: * -> *

Methods

from :: Index -> Rep Index x

to :: Rep Index x -> Index

NFData Index

Methods

rnf :: Index -> ()

type Rep Index

type Rep Index = D1 * (MetaData "Index" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * (C1 * (MetaCons "Named" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ident))) (C1 * (MetaCons "Index" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Natural))))

newtype Ident

Constructors

Ident Text

Instances

Eq Ident

Methods

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

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

Show Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

Associated Types

type Rep Ident :: * -> *

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Methods

rnf :: Ident -> ()

type Rep Ident

type Rep Ident = D1 * (MetaData "Ident" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" True) (C1 * (MetaCons "Ident" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data ParamType

Constructors

ParamType

Fields

• ident :: Maybe Ident
• paramType :: ValueType

Instances

Eq ParamType

Methods

(==) :: ParamType -> ParamType -> Bool

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

Show ParamType

Methods

showsPrec :: Int -> ParamType -> ShowS

show :: ParamType -> String

showList :: [ParamType] -> ShowS

Generic ParamType

Associated Types

type Rep ParamType :: * -> *

Methods

from :: ParamType -> Rep ParamType x

to :: Rep ParamType x -> ParamType

NFData ParamType

Methods

rnf :: ParamType -> ()

type Rep ParamType

type Rep ParamType = D1 * (MetaData "ParamType" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "ParamType" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "paramType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))))

data FuncType

Constructors

FuncType

Fields

• params :: [ParamType]
• results :: [ValueType]

Instances

Eq FuncType

Methods

(==) :: FuncType -> FuncType -> Bool

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

Show FuncType

Methods

showsPrec :: Int -> FuncType -> ShowS

show :: FuncType -> String

showList :: [FuncType] -> ShowS

Generic FuncType

Associated Types

type Rep FuncType :: * -> *

Methods

from :: FuncType -> Rep FuncType x

to :: Rep FuncType x -> FuncType

NFData FuncType

Methods

rnf :: FuncType -> ()

type Rep FuncType

type Rep FuncType = D1 * (MetaData "FuncType" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "FuncType" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "params") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParamType])) (S1 * (MetaSel (Just Symbol "results") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType]))))

type Script = [Command]

data ModuleDef

Constructors

RawModDef (Maybe Ident) Module

TextModDef (Maybe Ident) Text

BinaryModDef (Maybe Ident) ByteString

Instances

Eq ModuleDef

Methods

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

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

Show ModuleDef

Methods

showsPrec :: Int -> ModuleDef -> ShowS

show :: ModuleDef -> String

showList :: [ModuleDef] -> ShowS

data Command

Constructors

ModuleDef ModuleDef

Register Text (Maybe Ident)

Action Action

Assertion Assertion

Meta Meta

Instances

Eq Command

Methods

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

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

Show Command

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

data Action

Constructors

Invoke (Maybe Ident) Text [Expression]

Get (Maybe Ident) Text

Instances

Eq Action

Methods

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

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

Show Action

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

Methods

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

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

Show Assertion

Methods

showsPrec :: Int -> Assertion -> ShowS

show :: Assertion -> String

showList :: [Assertion] -> ShowS

data Meta

Constructors

Script (Maybe Ident) Script

Input (Maybe Ident) Text

Output (Maybe Ident) Text

Instances

Eq Meta

Methods

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

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

Show Meta

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS