Language.Wasm.Structure

Documentation

data Module

Constructors

Module

Fields

• types :: [FuncType]
• functions :: [Function]
• tables :: [Table]
• mems :: [Memory]
• globals :: [Global]
• elems :: [ElemSegment]
• datas :: [DataSegment]
• start :: Maybe StartFunction
• imports :: [Import]
• exports :: [Export]

Instances

Eq Module

Methods

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

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

Show Module

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

Generic Module

Associated Types

type Rep Module :: * -> *

Methods

from :: Module -> Rep Module x

to :: Rep Module x -> Module

NFData Module

Methods

rnf :: Module -> ()

type Rep Module

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 DataSegment

Constructors

DataSegment

Fields

• memIndex :: MemoryIndex
• offset :: Expression
• chunk :: 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 :: Expression
• 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.Structure" "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 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.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Table" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TableType)))

data Memory

Constructors

Memory 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.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Memory" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Limit)))

data Global

Constructors

Global

Fields

• globalType :: GlobalType
• initializer :: Expression

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.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Global" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "globalType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GlobalType)) (S1 * (MetaSel (Just Symbol "initializer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression))))

data Function

Constructors

Function

Fields

• funcType :: TypeIndex
• localTypes :: LocalsType
• body :: Expression

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

data Import

Constructors

Import

Fields

• 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.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Import" PrefixI True) ((:*:) * (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 TypeIndex

ImportTable TableType

ImportMemory Limit

ImportGlobal 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

data Instruction index

Constructors

Unreachable

Nop

Block

Fields

• resultType :: ResultType
• body :: Expression

Loop

Fields

• resultType :: ResultType
• body :: Expression

If

Fields

• resultType :: ResultType
• true :: Expression
• false :: Expression

Br index

BrIf index

BrTable [index] index

Return

Call index

CallIndirect index

Drop

Select

GetLocal index

SetLocal index

TeeLocal index

GetGlobal index

SetGlobal index

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 Word32

I64Const Word64

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 index => Eq (Instruction index)

Methods

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

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

Show index => Show (Instruction index)

Methods

showsPrec :: Int -> Instruction index -> ShowS

show :: Instruction index -> String

showList :: [Instruction index] -> ShowS

Generic (Instruction index)

Associated Types

type Rep (Instruction index) :: * -> *

Methods

from :: Instruction index -> Rep (Instruction index) x

to :: Rep (Instruction index) x -> Instruction index

NFData index => NFData (Instruction index)

Methods

rnf :: Instruction index -> ()

type Rep (Instruction index)

type Rep (Instruction index) = D1 * (MetaData "Instruction" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Unreachable" PrefixI False) (U1 *)) (C1 * (MetaCons "Nop" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Block" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ResultType)) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression)))) (C1 * (MetaCons "Loop" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ResultType)) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "If" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ResultType)) ((:*:) * (S1 * (MetaSel (Just Symbol "true") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression)) (S1 * (MetaSel (Just Symbol "false") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression))))) (C1 * (MetaCons "Br" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index)))) ((:+:) * (C1 * (MetaCons "BrIf" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))) (C1 * (MetaCons "BrTable" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [index])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Return" PrefixI False) (U1 *)) (C1 * (MetaCons "Call" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index)))) ((:+:) * (C1 * (MetaCons "CallIndirect" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))) (C1 * (MetaCons "Drop" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "Select" PrefixI False) (U1 *)) (C1 * (MetaCons "GetLocal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index)))) ((:+:) * (C1 * (MetaCons "SetLocal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))) (C1 * (MetaCons "TeeLocal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "GetGlobal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index))) (C1 * (MetaCons "SetGlobal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * index)))) ((:+:) * (C1 * (MetaCons "I32Load" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I64Load" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))))) ((:+:) * ((:+:) * (C1 * (MetaCons "F32Load" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "F64Load" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))) ((:+:) * (C1 * (MetaCons "I32Load8S" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I32Load8U" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "I32Load16S" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I32Load16U" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))) ((:+:) * (C1 * (MetaCons "I64Load8S" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I64Load8U" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))))) ((:+:) * ((:+:) * (C1 * (MetaCons "I64Load16S" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I64Load16U" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))) ((:+:) * (C1 * (MetaCons "I64Load32S" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) ((:+:) * (C1 * (MetaCons "I64Load32U" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I32Store" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "I64Store" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "F32Store" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))) ((:+:) * (C1 * (MetaCons "F64Store" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I32Store8" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))))) ((:+:) * ((:+:) * (C1 * (MetaCons "I32Store16" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I64Store8" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))) ((:+:) * (C1 * (MetaCons "I64Store16" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg))) (C1 * (MetaCons "I64Store32" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemArg)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "CurrentMemory" PrefixI False) (U1 *)) (C1 * (MetaCons "GrowMemory" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "I32Const" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32))) (C1 * (MetaCons "I64Const" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64))))) ((:+:) * ((:+:) * (C1 * (MetaCons "F32Const" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Float))) (C1 * (MetaCons "F64Const" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Double)))) ((:+:) * (C1 * (MetaCons "IUnOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IUnOp)))) (C1 * (MetaCons "IBinOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IBinOp)))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "I32Eqz" PrefixI False) (U1 *)) (C1 * (MetaCons "I64Eqz" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "IRelOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IRelOp)))) (C1 * (MetaCons "FUnOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FUnOp)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FBinOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FBinOp)))) (C1 * (MetaCons "FRelOp" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FRelOp))))) ((:+:) * (C1 * (MetaCons "I32WrapI64" PrefixI False) (U1 *)) (C1 * (MetaCons "ITruncFU" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ITruncFS" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)))) (C1 * (MetaCons "I64ExtendSI32" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "I64ExtendUI32" PrefixI False) (U1 *)) (C1 * (MetaCons "FConvertIU" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FConvertIS" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize)))) (C1 * (MetaCons "F32DemoteF64" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "F64PromoteF32" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "IReinterpretF" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize))) (C1 * (MetaCons "FReinterpretI" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * BitSize))))))))))

data MemArg

Constructors

MemArg

Fields

• offset :: Natural
• align :: Natural

Instances

Eq MemArg

Methods

(==) :: MemArg -> MemArg -> Bool

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

Show MemArg

Methods

showsPrec :: Int -> MemArg -> ShowS

show :: MemArg -> String

showList :: [MemArg] -> ShowS

Generic MemArg

Associated Types

type Rep MemArg :: * -> *

Methods

from :: MemArg -> Rep MemArg x

to :: Rep MemArg x -> MemArg

NFData MemArg

Methods

rnf :: MemArg -> ()

type Rep MemArg

type Rep MemArg = D1 * (MetaData "MemArg" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "MemArg" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "offset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Natural)) (S1 * (MetaSel (Just Symbol "align") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Natural))))

data IUnOp

Constructors

IClz

ICtz

IPopcnt

Instances

Eq IUnOp

Methods

(==) :: IUnOp -> IUnOp -> Bool

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

Show IUnOp

Methods

showsPrec :: Int -> IUnOp -> ShowS

show :: IUnOp -> String

showList :: [IUnOp] -> ShowS

Generic IUnOp

Associated Types

type Rep IUnOp :: * -> *

Methods

from :: IUnOp -> Rep IUnOp x

to :: Rep IUnOp x -> IUnOp

NFData IUnOp

Methods

rnf :: IUnOp -> ()

type Rep IUnOp

type Rep IUnOp = D1 * (MetaData "IUnOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * (C1 * (MetaCons "IClz" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ICtz" PrefixI False) (U1 *)) (C1 * (MetaCons "IPopcnt" PrefixI False) (U1 *))))

data IBinOp

Constructors

IAdd

ISub

IMul

IDivU

IDivS

IRemU

IRemS

IAnd

IOr

IXor

IShl

IShrU

IShrS

IRotl

IRotr

Instances

Eq IBinOp

Methods

(==) :: IBinOp -> IBinOp -> Bool

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

Show IBinOp

Methods

showsPrec :: Int -> IBinOp -> ShowS

show :: IBinOp -> String

showList :: [IBinOp] -> ShowS

Generic IBinOp

Associated Types

type Rep IBinOp :: * -> *

Methods

from :: IBinOp -> Rep IBinOp x

to :: Rep IBinOp x -> IBinOp

NFData IBinOp

Methods

rnf :: IBinOp -> ()

type Rep IBinOp

type Rep IBinOp = D1 * (MetaData "IBinOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "IAdd" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ISub" PrefixI False) (U1 *)) (C1 * (MetaCons "IMul" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "IDivU" PrefixI False) (U1 *)) (C1 * (MetaCons "IDivS" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "IRemU" PrefixI False) (U1 *)) (C1 * (MetaCons "IRemS" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "IAnd" PrefixI False) (U1 *)) (C1 * (MetaCons "IOr" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "IXor" PrefixI False) (U1 *)) (C1 * (MetaCons "IShl" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "IShrU" PrefixI False) (U1 *)) (C1 * (MetaCons "IShrS" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "IRotl" PrefixI False) (U1 *)) (C1 * (MetaCons "IRotr" PrefixI False) (U1 *))))))

data IRelOp

Constructors

IEq

INe

ILtU

ILtS

IGtU

IGtS

ILeU

ILeS

IGeU

IGeS

Instances

Eq IRelOp

Methods

(==) :: IRelOp -> IRelOp -> Bool

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

Show IRelOp

Methods

showsPrec :: Int -> IRelOp -> ShowS

show :: IRelOp -> String

showList :: [IRelOp] -> ShowS

Generic IRelOp

Associated Types

type Rep IRelOp :: * -> *

Methods

from :: IRelOp -> Rep IRelOp x

to :: Rep IRelOp x -> IRelOp

NFData IRelOp

Methods

rnf :: IRelOp -> ()

type Rep IRelOp

type Rep IRelOp = D1 * (MetaData "IRelOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "IEq" PrefixI False) (U1 *)) (C1 * (MetaCons "INe" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "ILtU" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ILtS" PrefixI False) (U1 *)) (C1 * (MetaCons "IGtU" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "IGtS" PrefixI False) (U1 *)) (C1 * (MetaCons "ILeU" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "ILeS" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "IGeU" PrefixI False) (U1 *)) (C1 * (MetaCons "IGeS" PrefixI False) (U1 *))))))

data FUnOp

Constructors

FAbs

FNeg

FCeil

FFloor

FTrunc

FNearest

FSqrt

Instances

Eq FUnOp

Methods

(==) :: FUnOp -> FUnOp -> Bool

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

Show FUnOp

Methods

showsPrec :: Int -> FUnOp -> ShowS

show :: FUnOp -> String

showList :: [FUnOp] -> ShowS

Generic FUnOp

Associated Types

type Rep FUnOp :: * -> *

Methods

from :: FUnOp -> Rep FUnOp x

to :: Rep FUnOp x -> FUnOp

NFData FUnOp

Methods

rnf :: FUnOp -> ()

type Rep FUnOp

type Rep FUnOp = D1 * (MetaData "FUnOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "FAbs" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "FNeg" PrefixI False) (U1 *)) (C1 * (MetaCons "FCeil" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "FFloor" PrefixI False) (U1 *)) (C1 * (MetaCons "FTrunc" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "FNearest" PrefixI False) (U1 *)) (C1 * (MetaCons "FSqrt" PrefixI False) (U1 *)))))

data FBinOp

Constructors

FAdd

FSub

FMul

FDiv

FMin

FMax

FCopySign

Instances

Eq FBinOp

Methods

(==) :: FBinOp -> FBinOp -> Bool

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

Show FBinOp

Methods

showsPrec :: Int -> FBinOp -> ShowS

show :: FBinOp -> String

showList :: [FBinOp] -> ShowS

Generic FBinOp

Associated Types

type Rep FBinOp :: * -> *

Methods

from :: FBinOp -> Rep FBinOp x

to :: Rep FBinOp x -> FBinOp

NFData FBinOp

Methods

rnf :: FBinOp -> ()

type Rep FBinOp

type Rep FBinOp = D1 * (MetaData "FBinOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "FAdd" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "FSub" PrefixI False) (U1 *)) (C1 * (MetaCons "FMul" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "FDiv" PrefixI False) (U1 *)) (C1 * (MetaCons "FMin" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "FMax" PrefixI False) (U1 *)) (C1 * (MetaCons "FCopySign" PrefixI False) (U1 *)))))

data FRelOp

Constructors

FEq

FNe

FLt

FGt

FLe

FGe

Instances

Eq FRelOp

Methods

(==) :: FRelOp -> FRelOp -> Bool

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

Show FRelOp

Methods

showsPrec :: Int -> FRelOp -> ShowS

show :: FRelOp -> String

showList :: [FRelOp] -> ShowS

Generic FRelOp

Associated Types

type Rep FRelOp :: * -> *

Methods

from :: FRelOp -> Rep FRelOp x

to :: Rep FRelOp x -> FRelOp

NFData FRelOp

Methods

rnf :: FRelOp -> ()

type Rep FRelOp

type Rep FRelOp = D1 * (MetaData "FRelOp" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "FEq" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "FNe" PrefixI False) (U1 *)) (C1 * (MetaCons "FLt" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "FGt" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "FLe" PrefixI False) (U1 *)) (C1 * (MetaCons "FGe" PrefixI False) (U1 *)))))

data BitSize

Constructors

BS32

BS64

Instances

Eq BitSize

Methods

(==) :: BitSize -> BitSize -> Bool

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

Show BitSize

Methods

showsPrec :: Int -> BitSize -> ShowS

show :: BitSize -> String

showList :: [BitSize] -> ShowS

Generic BitSize

Associated Types

type Rep BitSize :: * -> *

Methods

from :: BitSize -> Rep BitSize x

to :: Rep BitSize x -> BitSize

NFData BitSize

Methods

rnf :: BitSize -> ()

type Rep BitSize

type Rep BitSize = D1 * (MetaData "BitSize" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * (C1 * (MetaCons "BS32" PrefixI False) (U1 *)) (C1 * (MetaCons "BS64" PrefixI False) (U1 *)))

data TableType

Constructors

TableType Limit ElemType

Instances

Eq TableType

Methods

(==) :: TableType -> TableType -> Bool

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

Show TableType

Methods

showsPrec :: Int -> TableType -> ShowS

show :: TableType -> String

showList :: [TableType] -> ShowS

Generic TableType

Associated Types

type Rep TableType :: * -> *

Methods

from :: TableType -> Rep TableType x

to :: Rep TableType x -> TableType

NFData TableType

Methods

rnf :: TableType -> ()

type Rep TableType

type Rep TableType = D1 * (MetaData "TableType" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "TableType" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Limit)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ElemType))))

data ElemType

Constructors

AnyFunc

Instances

Eq ElemType

Methods

(==) :: ElemType -> ElemType -> Bool

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

Show ElemType

Methods

showsPrec :: Int -> ElemType -> ShowS

show :: ElemType -> String

showList :: [ElemType] -> ShowS

Generic ElemType

Associated Types

type Rep ElemType :: * -> *

Methods

from :: ElemType -> Rep ElemType x

to :: Rep ElemType x -> ElemType

NFData ElemType

Methods

rnf :: ElemType -> ()

type Rep ElemType

type Rep ElemType = D1 * (MetaData "ElemType" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "AnyFunc" PrefixI False) (U1 *))

data Limit

Constructors

Limit Natural (Maybe Natural)

Instances

Eq Limit

Methods

(==) :: Limit -> Limit -> Bool

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

Show Limit

Methods

showsPrec :: Int -> Limit -> ShowS

show :: Limit -> String

showList :: [Limit] -> ShowS

Generic Limit

Associated Types

type Rep Limit :: * -> *

Methods

from :: Limit -> Rep Limit x

to :: Rep Limit x -> Limit

NFData Limit

Methods

rnf :: Limit -> ()

type Rep Limit

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

data GlobalType

Constructors

Const ValueType

Mut ValueType

Instances

Eq GlobalType

Methods

(==) :: GlobalType -> GlobalType -> Bool

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

Show GlobalType

Methods

showsPrec :: Int -> GlobalType -> ShowS

show :: GlobalType -> String

showList :: [GlobalType] -> ShowS

Generic GlobalType

Associated Types

type Rep GlobalType :: * -> *

Methods

from :: GlobalType -> Rep GlobalType x

to :: Rep GlobalType x -> GlobalType

NFData GlobalType

Methods

rnf :: GlobalType -> ()

type Rep GlobalType

type Rep GlobalType = D1 * (MetaData "GlobalType" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * (C1 * (MetaCons "Const" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))) (C1 * (MetaCons "Mut" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))))

data FuncType

Constructors

FuncType

Fields

• params :: ParamsType
• results :: ResultType

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

data ValueType

Constructors

I32

I64

F32

F64

Instances

Eq ValueType

Methods

(==) :: ValueType -> ValueType -> Bool

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

Show ValueType

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

Generic ValueType

Associated Types

type Rep ValueType :: * -> *

Methods

from :: ValueType -> Rep ValueType x

to :: Rep ValueType x -> ValueType

NFData ValueType

Methods

rnf :: ValueType -> ()

type Rep ValueType

type Rep ValueType = D1 * (MetaData "ValueType" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "I32" PrefixI False) (U1 *)) (C1 * (MetaCons "I64" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "F32" PrefixI False) (U1 *)) (C1 * (MetaCons "F64" PrefixI False) (U1 *))))

type ResultType = [ValueType]

type Expression = [Instruction Natural]

type LabelIndex = Natural

type LocalIndex = Natural

type GlobalIndex = Natural

emptyModule :: Module

isFuncImport :: Import -> Bool

isTableImport :: Import -> Bool

isMemImport :: Import -> Bool

isGlobalImport :: Import -> Bool