Safe Haskell	Safe
Language	Haskell2010

Language.Wasm.Structure

Documentation

data Module Source #

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 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 DataSegment Source #

Constructors

DataSegment
Fields memIndex :: MemoryIndex offset :: Expression chunk :: ByteString

Instances

Eq DataSegment Source #
Methods (==) :: DataSegment -> DataSegment -> Bool # (/=) :: DataSegment -> DataSegment -> Bool #
Show DataSegment Source #
Methods showsPrec :: Int -> DataSegment -> ShowS # show :: DataSegment -> String # showList :: [DataSegment] -> ShowS #
Generic DataSegment Source #
Associated Types type Rep DataSegment :: * -> * # Methods from :: DataSegment -> Rep DataSegment x # to :: Rep DataSegment x -> DataSegment #
NFData DataSegment Source #
Methods rnf :: DataSegment -> () #
type Rep DataSegment Source #
type Rep DataSegment

data ElemSegment Source #

Constructors

ElemSegment
Fields tableIndex :: TableIndex offset :: Expression funcIndexes :: [FuncIndex]

Instances

Eq ElemSegment Source #
Methods (==) :: ElemSegment -> ElemSegment -> Bool # (/=) :: ElemSegment -> ElemSegment -> Bool #
Show ElemSegment Source #
Methods showsPrec :: Int -> ElemSegment -> ShowS # show :: ElemSegment -> String # showList :: [ElemSegment] -> ShowS #
Generic ElemSegment Source #
Associated Types type Rep ElemSegment :: * -> * # Methods from :: ElemSegment -> Rep ElemSegment x # to :: Rep ElemSegment x -> ElemSegment #
NFData ElemSegment Source #
Methods rnf :: ElemSegment -> () #
type Rep ElemSegment Source #
type Rep ElemSegment

data StartFunction Source #

Constructors

StartFunction FuncIndex

Instances

Eq StartFunction Source #
Methods (==) :: StartFunction -> StartFunction -> Bool # (/=) :: StartFunction -> StartFunction -> Bool #
Show StartFunction Source #
Methods showsPrec :: Int -> StartFunction -> ShowS # show :: StartFunction -> String # showList :: [StartFunction] -> ShowS #
Generic StartFunction Source #
Associated Types type Rep StartFunction :: * -> * # Methods from :: StartFunction -> Rep StartFunction x # to :: Rep StartFunction x -> StartFunction #
NFData StartFunction Source #
Methods rnf :: StartFunction -> () #
type Rep StartFunction Source #
type Rep StartFunction

data Export Source #

Constructors

Export
Fields name :: Text desc :: ExportDesc

Instances

Eq Export Source #
Methods (==) :: Export -> Export -> Bool # (/=) :: Export -> Export -> Bool #
Show Export Source #
Methods showsPrec :: Int -> Export -> ShowS # show :: Export -> String # showList :: [Export] -> ShowS #
Generic Export Source #
Associated Types type Rep Export :: * -> * # Methods from :: Export -> Rep Export x # to :: Rep Export x -> Export #
NFData Export Source #
Methods rnf :: Export -> () #
type Rep Export Source #
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 Source #

Constructors

ExportFunc FuncIndex
ExportTable TableIndex
ExportMemory MemoryIndex
ExportGlobal GlobalIndex

Instances

Eq ExportDesc Source #
Methods (==) :: ExportDesc -> ExportDesc -> Bool # (/=) :: ExportDesc -> ExportDesc -> Bool #
Show ExportDesc Source #
Methods showsPrec :: Int -> ExportDesc -> ShowS # show :: ExportDesc -> String # showList :: [ExportDesc] -> ShowS #
Generic ExportDesc Source #
Associated Types type Rep ExportDesc :: * -> * # Methods from :: ExportDesc -> Rep ExportDesc x # to :: Rep ExportDesc x -> ExportDesc #
NFData ExportDesc Source #
Methods rnf :: ExportDesc -> () #
type Rep ExportDesc Source #
type Rep ExportDesc

data Table Source #

Constructors

Table TableType

Instances

Eq Table Source #
Methods (==) :: Table -> Table -> Bool # (/=) :: Table -> Table -> Bool #
Show Table Source #
Methods showsPrec :: Int -> Table -> ShowS # show :: Table -> String # showList :: [Table] -> ShowS #
Generic Table Source #
Associated Types type Rep Table :: * -> * # Methods from :: Table -> Rep Table x # to :: Rep Table x -> Table #
NFData Table Source #
Methods rnf :: Table -> () #
type Rep Table Source #
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 Source #

Constructors

Memory Limit

Instances

Eq Memory Source #
Methods (==) :: Memory -> Memory -> Bool # (/=) :: Memory -> Memory -> Bool #
Show Memory Source #
Methods showsPrec :: Int -> Memory -> ShowS # show :: Memory -> String # showList :: [Memory] -> ShowS #
Generic Memory Source #
Associated Types type Rep Memory :: * -> * # Methods from :: Memory -> Rep Memory x # to :: Rep Memory x -> Memory #
NFData Memory Source #
Methods rnf :: Memory -> () #
type Rep Memory Source #
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 Source #

Constructors

Global
Fields globalType :: GlobalType initializer :: Expression

Instances

Eq Global Source #
Methods (==) :: Global -> Global -> Bool # (/=) :: Global -> Global -> Bool #
Show Global Source #
Methods showsPrec :: Int -> Global -> ShowS # show :: Global -> String # showList :: [Global] -> ShowS #
Generic Global Source #
Associated Types type Rep Global :: * -> * # Methods from :: Global -> Rep Global x # to :: Rep Global x -> Global #
NFData Global Source #
Methods rnf :: Global -> () #
type Rep Global Source #
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 Source #

Constructors

Function
Fields funcType :: TypeIndex localTypes :: LocalsType body :: Expression

Instances

Eq Function Source #
Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Show Function Source #
Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Associated Types type Rep Function :: * -> * # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
NFData Function Source #
Methods rnf :: Function -> () #
type Rep Function Source #
type Rep Function

data Import Source #

Constructors

Import
Fields sourceModule :: Text name :: Text desc :: ImportDesc

Instances

Eq Import Source #
Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Show Import Source #
Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
Generic Import Source #
Associated Types type Rep Import :: * -> * # Methods from :: Import -> Rep Import x # to :: Rep Import x -> Import #
NFData Import Source #
Methods rnf :: Import -> () #
type Rep Import Source #
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 Source #

Constructors

ImportFunc TypeIndex
ImportTable TableType
ImportMemory Limit
ImportGlobal GlobalType

Instances

Eq ImportDesc Source #
Methods (==) :: ImportDesc -> ImportDesc -> Bool # (/=) :: ImportDesc -> ImportDesc -> Bool #
Show ImportDesc Source #
Methods showsPrec :: Int -> ImportDesc -> ShowS # show :: ImportDesc -> String # showList :: [ImportDesc] -> ShowS #
Generic ImportDesc Source #
Associated Types type Rep ImportDesc :: * -> * # Methods from :: ImportDesc -> Rep ImportDesc x # to :: Rep ImportDesc x -> ImportDesc #
NFData ImportDesc Source #
Methods rnf :: ImportDesc -> () #
type Rep ImportDesc Source #
type Rep ImportDesc

data Instruction index Source #

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) Source #
Methods (==) :: Instruction index -> Instruction index -> Bool # (/=) :: Instruction index -> Instruction index -> Bool #
Show index => Show (Instruction index) Source #
Methods showsPrec :: Int -> Instruction index -> ShowS # show :: Instruction index -> String # showList :: [Instruction index] -> ShowS #
Generic (Instruction index) Source #
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) Source #
Methods rnf :: Instruction index -> () #
type Rep (Instruction index) Source #
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 Source #

Constructors

MemArg
Fields offset :: Natural align :: Natural

Instances

Eq MemArg Source #
Methods (==) :: MemArg -> MemArg -> Bool # (/=) :: MemArg -> MemArg -> Bool #
Show MemArg Source #
Methods showsPrec :: Int -> MemArg -> ShowS # show :: MemArg -> String # showList :: [MemArg] -> ShowS #
Generic MemArg Source #
Associated Types type Rep MemArg :: * -> * # Methods from :: MemArg -> Rep MemArg x # to :: Rep MemArg x -> MemArg #
NFData MemArg Source #
Methods rnf :: MemArg -> () #
type Rep MemArg Source #
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 Source #

Constructors

IClz
ICtz
IPopcnt

Instances

Eq IUnOp Source #
Methods (==) :: IUnOp -> IUnOp -> Bool # (/=) :: IUnOp -> IUnOp -> Bool #
Show IUnOp Source #
Methods showsPrec :: Int -> IUnOp -> ShowS # show :: IUnOp -> String # showList :: [IUnOp] -> ShowS #
Generic IUnOp Source #
Associated Types type Rep IUnOp :: * -> * # Methods from :: IUnOp -> Rep IUnOp x # to :: Rep IUnOp x -> IUnOp #
NFData IUnOp Source #
Methods rnf :: IUnOp -> () #
type Rep IUnOp Source #
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 Source #

Constructors

IAdd
ISub
IMul
IDivU
IDivS
IRemU
IRemS
IAnd
IOr
IXor
IShl
IShrU
IShrS
IRotl
IRotr

Instances

Eq IBinOp Source #
Methods (==) :: IBinOp -> IBinOp -> Bool # (/=) :: IBinOp -> IBinOp -> Bool #
Show IBinOp Source #
Methods showsPrec :: Int -> IBinOp -> ShowS # show :: IBinOp -> String # showList :: [IBinOp] -> ShowS #
Generic IBinOp Source #
Associated Types type Rep IBinOp :: * -> * # Methods from :: IBinOp -> Rep IBinOp x # to :: Rep IBinOp x -> IBinOp #
NFData IBinOp Source #
Methods rnf :: IBinOp -> () #
type Rep IBinOp Source #
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 Source #

Constructors

IEq
INe
ILtU
ILtS
IGtU
IGtS
ILeU
ILeS
IGeU
IGeS

Instances

Eq IRelOp Source #
Methods (==) :: IRelOp -> IRelOp -> Bool # (/=) :: IRelOp -> IRelOp -> Bool #
Show IRelOp Source #
Methods showsPrec :: Int -> IRelOp -> ShowS # show :: IRelOp -> String # showList :: [IRelOp] -> ShowS #
Generic IRelOp Source #
Associated Types type Rep IRelOp :: * -> * # Methods from :: IRelOp -> Rep IRelOp x # to :: Rep IRelOp x -> IRelOp #
NFData IRelOp Source #
Methods rnf :: IRelOp -> () #
type Rep IRelOp Source #
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 Source #

Constructors

FAbs
FNeg
FCeil
FFloor
FTrunc
FNearest
FSqrt

Instances

Eq FUnOp Source #
Methods (==) :: FUnOp -> FUnOp -> Bool # (/=) :: FUnOp -> FUnOp -> Bool #
Show FUnOp Source #
Methods showsPrec :: Int -> FUnOp -> ShowS # show :: FUnOp -> String # showList :: [FUnOp] -> ShowS #
Generic FUnOp Source #
Associated Types type Rep FUnOp :: * -> * # Methods from :: FUnOp -> Rep FUnOp x # to :: Rep FUnOp x -> FUnOp #
NFData FUnOp Source #
Methods rnf :: FUnOp -> () #
type Rep FUnOp Source #
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 Source #

Constructors

FAdd
FSub
FMul
FDiv
FMin
FMax
FCopySign

Instances

Eq FBinOp Source #
Methods (==) :: FBinOp -> FBinOp -> Bool # (/=) :: FBinOp -> FBinOp -> Bool #
Show FBinOp Source #
Methods showsPrec :: Int -> FBinOp -> ShowS # show :: FBinOp -> String # showList :: [FBinOp] -> ShowS #
Generic FBinOp Source #
Associated Types type Rep FBinOp :: * -> * # Methods from :: FBinOp -> Rep FBinOp x # to :: Rep FBinOp x -> FBinOp #
NFData FBinOp Source #
Methods rnf :: FBinOp -> () #
type Rep FBinOp Source #
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 Source #

Constructors

FEq
FNe
FLt
FGt
FLe
FGe

Instances

Eq FRelOp Source #
Methods (==) :: FRelOp -> FRelOp -> Bool # (/=) :: FRelOp -> FRelOp -> Bool #
Show FRelOp Source #
Methods showsPrec :: Int -> FRelOp -> ShowS # show :: FRelOp -> String # showList :: [FRelOp] -> ShowS #
Generic FRelOp Source #
Associated Types type Rep FRelOp :: * -> * # Methods from :: FRelOp -> Rep FRelOp x # to :: Rep FRelOp x -> FRelOp #
NFData FRelOp Source #
Methods rnf :: FRelOp -> () #
type Rep FRelOp Source #
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 Source #

Constructors

BS32
BS64

Instances

Eq BitSize Source #
Methods (==) :: BitSize -> BitSize -> Bool # (/=) :: BitSize -> BitSize -> Bool #
Show BitSize Source #
Methods showsPrec :: Int -> BitSize -> ShowS # show :: BitSize -> String # showList :: [BitSize] -> ShowS #
Generic BitSize Source #
Associated Types type Rep BitSize :: * -> * # Methods from :: BitSize -> Rep BitSize x # to :: Rep BitSize x -> BitSize #
NFData BitSize Source #
Methods rnf :: BitSize -> () #
type Rep BitSize Source #
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 Source #

Constructors

TableType Limit ElemType

Instances

Eq TableType Source #
Methods (==) :: TableType -> TableType -> Bool # (/=) :: TableType -> TableType -> Bool #
Show TableType Source #
Methods showsPrec :: Int -> TableType -> ShowS # show :: TableType -> String # showList :: [TableType] -> ShowS #
Generic TableType Source #
Associated Types type Rep TableType :: * -> * # Methods from :: TableType -> Rep TableType x # to :: Rep TableType x -> TableType #
NFData TableType Source #
Methods rnf :: TableType -> () #
type Rep TableType Source #
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 Source #

Constructors

AnyFunc

Instances

Eq ElemType Source #
Methods (==) :: ElemType -> ElemType -> Bool # (/=) :: ElemType -> ElemType -> Bool #
Show ElemType Source #
Methods showsPrec :: Int -> ElemType -> ShowS # show :: ElemType -> String # showList :: [ElemType] -> ShowS #
Generic ElemType Source #
Associated Types type Rep ElemType :: * -> * # Methods from :: ElemType -> Rep ElemType x # to :: Rep ElemType x -> ElemType #
NFData ElemType Source #
Methods rnf :: ElemType -> () #
type Rep ElemType Source #
type Rep ElemType = D1 * (MetaData "ElemType" "Language.Wasm.Structure" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "AnyFunc" PrefixI False) (U1 *))

data Limit Source #

Constructors

Limit Natural (Maybe Natural)

Instances

Eq Limit Source #
Methods (==) :: Limit -> Limit -> Bool # (/=) :: Limit -> Limit -> Bool #
Show Limit Source #
Methods showsPrec :: Int -> Limit -> ShowS # show :: Limit -> String # showList :: [Limit] -> ShowS #
Generic Limit Source #
Associated Types type Rep Limit :: * -> * # Methods from :: Limit -> Rep Limit x # to :: Rep Limit x -> Limit #
NFData Limit Source #
Methods rnf :: Limit -> () #
type Rep Limit Source #
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 Source #

Constructors

Const ValueType
Mut ValueType

Instances

Eq GlobalType Source #
Methods (==) :: GlobalType -> GlobalType -> Bool # (/=) :: GlobalType -> GlobalType -> Bool #
Show GlobalType Source #
Methods showsPrec :: Int -> GlobalType -> ShowS # show :: GlobalType -> String # showList :: [GlobalType] -> ShowS #
Generic GlobalType Source #
Associated Types type Rep GlobalType :: * -> * # Methods from :: GlobalType -> Rep GlobalType x # to :: Rep GlobalType x -> GlobalType #
NFData GlobalType Source #
Methods rnf :: GlobalType -> () #
type Rep GlobalType Source #
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 Source #

Constructors

FuncType
Fields params :: ParamsType results :: ResultType

Instances

Eq FuncType Source #
Methods (==) :: FuncType -> FuncType -> Bool # (/=) :: FuncType -> FuncType -> Bool #
Show FuncType Source #
Methods showsPrec :: Int -> FuncType -> ShowS # show :: FuncType -> String # showList :: [FuncType] -> ShowS #
Generic FuncType Source #
Associated Types type Rep FuncType :: * -> * # Methods from :: FuncType -> Rep FuncType x # to :: Rep FuncType x -> FuncType #
NFData FuncType Source #
Methods rnf :: FuncType -> () #
type Rep FuncType Source #
type Rep FuncType

data ValueType Source #

Constructors

I32
I64
F32
F64

Instances

Eq ValueType Source #
Methods (==) :: ValueType -> ValueType -> Bool # (/=) :: ValueType -> ValueType -> Bool #
Show ValueType Source #
Methods showsPrec :: Int -> ValueType -> ShowS # show :: ValueType -> String # showList :: [ValueType] -> ShowS #
Generic ValueType Source #
Associated Types type Rep ValueType :: * -> * # Methods from :: ValueType -> Rep ValueType x # to :: Rep ValueType x -> ValueType #
NFData ValueType Source #
Methods rnf :: ValueType -> () #
type Rep ValueType Source #
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] Source #

type Expression = [Instruction Natural] Source #

type LabelIndex = Natural Source #

type LocalIndex = Natural Source #

type GlobalIndex = Natural Source #

emptyModule :: Module Source #

isFuncImport :: Import -> Bool Source #

isTableImport :: Import -> Bool Source #

isMemImport :: Import -> Bool Source #

isGlobalImport :: Import -> Bool Source #