Safe Haskell	Safe-Inferred
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

Instances details

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

data DataSegment Source #

Constructors

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

Instances

Instances details

Eq DataSegment Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: DataSegment -> DataSegment -> Bool # (/=) :: DataSegment -> DataSegment -> Bool #
Show DataSegment Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> DataSegment -> ShowS # show :: DataSegment -> String # showList :: [DataSegment] -> ShowS #
Generic DataSegment Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep DataSegment :: Type -> Type # Methods from :: DataSegment -> Rep DataSegment x # to :: Rep DataSegment x -> DataSegment #
Serialize DataSegment Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter DataSegment # get :: Get DataSegment #
NFData DataSegment Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: DataSegment -> () #
type Rep DataSegment Source #
Instance details Defined in Language.Wasm.Structure type Rep DataSegment = D1 ('MetaData "DataSegment" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "DataSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "memIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemoryIndex) :: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Just "chunk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

data ElemSegment Source #

Constructors

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

Instances

Instances details

Eq ElemSegment Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: ElemSegment -> ElemSegment -> Bool # (/=) :: ElemSegment -> ElemSegment -> Bool #
Show ElemSegment Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> ElemSegment -> ShowS # show :: ElemSegment -> String # showList :: [ElemSegment] -> ShowS #
Generic ElemSegment Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep ElemSegment :: Type -> Type # Methods from :: ElemSegment -> Rep ElemSegment x # to :: Rep ElemSegment x -> ElemSegment #
Serialize ElemSegment Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter ElemSegment # get :: Get ElemSegment #
NFData ElemSegment Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: ElemSegment -> () #
type Rep ElemSegment Source #
Instance details Defined in Language.Wasm.Structure type Rep ElemSegment = D1 ('MetaData "ElemSegment" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "ElemSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "tableIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableIndex) :: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Just "funcIndexes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FuncIndex]))))

data StartFunction Source #

Constructors

StartFunction FuncIndex

Instances

Instances details

Eq StartFunction Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: StartFunction -> StartFunction -> Bool # (/=) :: StartFunction -> StartFunction -> Bool #
Show StartFunction Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> StartFunction -> ShowS # show :: StartFunction -> String # showList :: [StartFunction] -> ShowS #
Generic StartFunction Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep StartFunction :: Type -> Type # Methods from :: StartFunction -> Rep StartFunction x # to :: Rep StartFunction x -> StartFunction #
NFData StartFunction Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: StartFunction -> () #
type Rep StartFunction Source #
Instance details Defined in Language.Wasm.Structure type Rep StartFunction = D1 ('MetaData "StartFunction" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "StartFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncIndex)))

data Export Source #

Constructors

Export
Fields name :: Text desc :: ExportDesc

Instances

Instances details

Eq Export Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Export -> Export -> Bool # (/=) :: Export -> Export -> Bool #
Show Export Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Export -> ShowS # show :: Export -> String # showList :: [Export] -> ShowS #
Generic Export Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Export :: Type -> Type # Methods from :: Export -> Rep Export x # to :: Rep Export x -> Export #
Serialize Export Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Export # get :: Get Export #
NFData Export Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Export -> () #
type Rep Export Source #
Instance details Defined in Language.Wasm.Structure type Rep Export = D1 ('MetaData "Export" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Export" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "desc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExportDesc)))

data ExportDesc Source #

Constructors

ExportFunc FuncIndex
ExportTable TableIndex
ExportMemory MemoryIndex
ExportGlobal GlobalIndex

Instances

Instances details

Eq ExportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: ExportDesc -> ExportDesc -> Bool # (/=) :: ExportDesc -> ExportDesc -> Bool #
Show ExportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> ExportDesc -> ShowS # show :: ExportDesc -> String # showList :: [ExportDesc] -> ShowS #
Generic ExportDesc Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep ExportDesc :: Type -> Type # Methods from :: ExportDesc -> Rep ExportDesc x # to :: Rep ExportDesc x -> ExportDesc #
Serialize ExportDesc Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter ExportDesc # get :: Get ExportDesc #
NFData ExportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: ExportDesc -> () #
type Rep ExportDesc Source #
Instance details Defined in Language.Wasm.Structure type Rep ExportDesc = D1 ('MetaData "ExportDesc" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "ExportFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncIndex)) :+: C1 ('MetaCons "ExportTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableIndex))) :+: (C1 ('MetaCons "ExportMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemoryIndex)) :+: C1 ('MetaCons "ExportGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GlobalIndex))))

data Table Source #

Constructors

Table TableType

Instances

Instances details

Eq Table Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Table -> Table -> Bool # (/=) :: Table -> Table -> Bool #
Show Table Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Table -> ShowS # show :: Table -> String # showList :: [Table] -> ShowS #
Generic Table Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Table :: Type -> Type # Methods from :: Table -> Rep Table x # to :: Rep Table x -> Table #
Serialize Table Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Table # get :: Get Table #
NFData Table Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Table -> () #
type Rep Table Source #
Instance details Defined in Language.Wasm.Structure type Rep Table = D1 ('MetaData "Table" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableType)))

data Memory Source #

Constructors

Memory Limit

Instances

Instances details

Eq Memory Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Memory -> Memory -> Bool # (/=) :: Memory -> Memory -> Bool #
Show Memory Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Memory -> ShowS # show :: Memory -> String # showList :: [Memory] -> ShowS #
Generic Memory Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Memory :: Type -> Type # Methods from :: Memory -> Rep Memory x # to :: Rep Memory x -> Memory #
Serialize Memory Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Memory # get :: Get Memory #
NFData Memory Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Memory -> () #
type Rep Memory Source #
Instance details Defined in Language.Wasm.Structure type Rep Memory = D1 ('MetaData "Memory" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Memory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Limit)))

data Global Source #

Constructors

Global
Fields globalType :: GlobalType initializer :: Expression

Instances

Instances details

Eq Global Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Global -> Global -> Bool # (/=) :: Global -> Global -> Bool #
Show Global Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Global -> ShowS # show :: Global -> String # showList :: [Global] -> ShowS #
Generic Global Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Global :: Type -> Type # Methods from :: Global -> Rep Global x # to :: Rep Global x -> Global #
Serialize Global Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Global # get :: Get Global #
NFData Global Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Global -> () #
type Rep Global Source #
Instance details Defined in Language.Wasm.Structure type Rep Global = D1 ('MetaData "Global" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Global" 'PrefixI 'True) (S1 ('MetaSel ('Just "globalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GlobalType) :*: S1 ('MetaSel ('Just "initializer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)))

data Function Source #

Constructors

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

Instances

Instances details

Eq Function Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Show Function Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
Serialize Function Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Function # get :: Get Function #
NFData Function Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Function -> () #
type Rep Function Source #
Instance details Defined in Language.Wasm.Structure type Rep Function = D1 ('MetaData "Function" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Function" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeIndex) :: (S1 ('MetaSel ('Just "localTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalsType) :: S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))))

data Import Source #

Constructors

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

Instances

Instances details

Eq Import Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Show Import Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
Generic Import Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Import :: Type -> Type # Methods from :: Import -> Rep Import x # to :: Rep Import x -> Import #
Serialize Import Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Import # get :: Get Import #
NFData Import Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Import -> () #
type Rep Import Source #
Instance details Defined in Language.Wasm.Structure type Rep Import = D1 ('MetaData "Import" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Import" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "desc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImportDesc))))

data ImportDesc Source #

Constructors

ImportFunc TypeIndex
ImportTable TableType
ImportMemory Limit
ImportGlobal GlobalType

Instances

Instances details

Eq ImportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: ImportDesc -> ImportDesc -> Bool # (/=) :: ImportDesc -> ImportDesc -> Bool #
Show ImportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> ImportDesc -> ShowS # show :: ImportDesc -> String # showList :: [ImportDesc] -> ShowS #
Generic ImportDesc Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep ImportDesc :: Type -> Type # Methods from :: ImportDesc -> Rep ImportDesc x # to :: Rep ImportDesc x -> ImportDesc #
Serialize ImportDesc Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter ImportDesc # get :: Get ImportDesc #
NFData ImportDesc Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: ImportDesc -> () #
type Rep ImportDesc Source #
Instance details Defined in Language.Wasm.Structure type Rep ImportDesc = D1 ('MetaData "ImportDesc" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "ImportFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeIndex)) :+: C1 ('MetaCons "ImportTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableType))) :+: (C1 ('MetaCons "ImportMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Limit)) :+: C1 ('MetaCons "ImportGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GlobalType))))

data Instruction index Source #

Constructors

Unreachable
Nop
Block
Fields blockType :: BlockType body :: Expression
Loop
Fields blockType :: BlockType body :: Expression
If
Fields blockType :: BlockType 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
ITruncSatFU BitSize BitSize
ITruncSatFS BitSize BitSize
I64ExtendSI32
I64ExtendUI32
FConvertIU BitSize BitSize
FConvertIS BitSize BitSize
F32DemoteF64
F64PromoteF32
IReinterpretF BitSize
FReinterpretI BitSize

Instances

Instances details

Eq index => Eq (Instruction index) Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Instruction index -> Instruction index -> Bool # (/=) :: Instruction index -> Instruction index -> Bool #
Show index => Show (Instruction index) Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Instruction index -> ShowS # show :: Instruction index -> String # showList :: [Instruction index] -> ShowS #
Generic (Instruction index) Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep (Instruction index) :: Type -> Type # Methods from :: Instruction index -> Rep (Instruction index) x # to :: Rep (Instruction index) x -> Instruction index #
Serialize (Instruction Natural) Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter (Instruction Natural) # get :: Get (Instruction Natural) #
NFData index => NFData (Instruction index) Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Instruction index -> () #
type Rep (Instruction index) Source #
Instance details Defined in Language.Wasm.Structure type Rep (Instruction index) = D1 ('MetaData "Instruction" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((((((C1 ('MetaCons "Unreachable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType) :: S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "Loop" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType) :: S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)))) :+: ((C1 ('MetaCons "If" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType) :: (S1 ('MetaSel ('Just "true") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Just "false") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :+: C1 ('MetaCons "Br" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index))) :+: (C1 ('MetaCons "BrIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index)) :+: C1 ('MetaCons "BrTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [index]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index))))) :+: (((C1 ('MetaCons "Return" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Call" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index))) :+: (C1 ('MetaCons "CallIndirect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index)) :+: C1 ('MetaCons "Drop" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Select" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GetLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index))) :+: (C1 ('MetaCons "SetLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index)) :+: (C1 ('MetaCons "TeeLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index)) :+: C1 ('MetaCons "GetGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index))))))) :+: ((((C1 ('MetaCons "SetGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 index)) :+: C1 ('MetaCons "I32Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I64Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "F32Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)))) :+: ((C1 ('MetaCons "F64Load" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I32Load8S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I32Load8U" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I32Load16S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))))) :+: (((C1 ('MetaCons "I32Load16U" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I64Load8S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I64Load8U" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I64Load16S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)))) :+: ((C1 ('MetaCons "I64Load16U" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I64Load32S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I64Load32U" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: (C1 ('MetaCons "I32Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I64Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)))))))) :+: (((((C1 ('MetaCons "F32Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "F64Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I32Store8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I32Store16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)))) :+: ((C1 ('MetaCons "I64Store8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "I64Store16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg))) :+: (C1 ('MetaCons "I64Store32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MemArg)) :+: C1 ('MetaCons "CurrentMemory" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "GrowMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "I32Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :+: (C1 ('MetaCons "I64Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "F32Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float)))) :+: ((C1 ('MetaCons "F64Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "IUnOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IUnOp))) :+: (C1 ('MetaCons "IBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IBinOp)) :+: (C1 ('MetaCons "I32Eqz" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "I64Eqz" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "IRelOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRelOp)) :+: C1 ('MetaCons "FUnOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FUnOp))) :+: (C1 ('MetaCons "FBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FBinOp)) :+: C1 ('MetaCons "FRelOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FRelOp)))) :+: ((C1 ('MetaCons "I32WrapI64" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ITruncFU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize))) :+: (C1 ('MetaCons "ITruncFS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)) :+: C1 ('MetaCons "ITruncSatFU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize))))) :+: (((C1 ('MetaCons "ITruncSatFS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)) :+: C1 ('MetaCons "I64ExtendSI32" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "I64ExtendUI32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FConvertIU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)))) :+: ((C1 ('MetaCons "FConvertIS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)) :+: C1 ('MetaCons "F32DemoteF64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "F64PromoteF32" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IReinterpretF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)) :+: C1 ('MetaCons "FReinterpretI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize)))))))))

data MemArg Source #

Constructors

MemArg
Fields offset :: Natural align :: Natural

Instances

Instances details

Eq MemArg Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: MemArg -> MemArg -> Bool # (/=) :: MemArg -> MemArg -> Bool #
Show MemArg Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> MemArg -> ShowS # show :: MemArg -> String # showList :: [MemArg] -> ShowS #
Generic MemArg Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep MemArg :: Type -> Type # Methods from :: MemArg -> Rep MemArg x # to :: Rep MemArg x -> MemArg #
Serialize MemArg Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter MemArg # get :: Get MemArg #
NFData MemArg Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: MemArg -> () #
type Rep MemArg Source #
Instance details Defined in Language.Wasm.Structure type Rep MemArg = D1 ('MetaData "MemArg" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "MemArg" 'PrefixI 'True) (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "align") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

data IUnOp Source #

Constructors

IClz
ICtz
IPopcnt
IExtend8S
IExtend16S
IExtend32S

Instances

Instances details

Eq IUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: IUnOp -> IUnOp -> Bool # (/=) :: IUnOp -> IUnOp -> Bool #
Show IUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> IUnOp -> ShowS # show :: IUnOp -> String # showList :: [IUnOp] -> ShowS #
Generic IUnOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep IUnOp :: Type -> Type # Methods from :: IUnOp -> Rep IUnOp x # to :: Rep IUnOp x -> IUnOp #
NFData IUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: IUnOp -> () #
type Rep IUnOp Source #
Instance details Defined in Language.Wasm.Structure type Rep IUnOp = D1 ('MetaData "IUnOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "IClz" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ICtz" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IPopcnt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IExtend8S" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IExtend16S" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IExtend32S" 'PrefixI 'False) (U1 :: Type -> Type))))

data IBinOp Source #

Constructors

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

Instances

Instances details

Eq IBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: IBinOp -> IBinOp -> Bool # (/=) :: IBinOp -> IBinOp -> Bool #
Show IBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> IBinOp -> ShowS # show :: IBinOp -> String # showList :: [IBinOp] -> ShowS #
Generic IBinOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep IBinOp :: Type -> Type # Methods from :: IBinOp -> Rep IBinOp x # to :: Rep IBinOp x -> IBinOp #
NFData IBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: IBinOp -> () #
type Rep IBinOp Source #
Instance details Defined in Language.Wasm.Structure type Rep IBinOp = D1 ('MetaData "IBinOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (((C1 ('MetaCons "IAdd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ISub" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IMul" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IDivU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IDivS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IRemU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IRemS" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "IAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IOr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IXor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IShl" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IShrU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IShrS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IRotl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IRotr" 'PrefixI 'False) (U1 :: Type -> Type)))))

data IRelOp Source #

Constructors

IEq
INe
ILtU
ILtS
IGtU
IGtS
ILeU
ILeS
IGeU
IGeS

Instances

Instances details

Eq IRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: IRelOp -> IRelOp -> Bool # (/=) :: IRelOp -> IRelOp -> Bool #
Show IRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> IRelOp -> ShowS # show :: IRelOp -> String # showList :: [IRelOp] -> ShowS #
Generic IRelOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep IRelOp :: Type -> Type # Methods from :: IRelOp -> Rep IRelOp x # to :: Rep IRelOp x -> IRelOp #
NFData IRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: IRelOp -> () #
type Rep IRelOp Source #
Instance details Defined in Language.Wasm.Structure type Rep IRelOp = D1 ('MetaData "IRelOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (((C1 ('MetaCons "IEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "INe" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ILtU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ILtS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IGtU" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "IGtS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ILeU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ILeS" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IGeU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IGeS" 'PrefixI 'False) (U1 :: Type -> Type)))))

data FUnOp Source #

Constructors

FAbs
FNeg
FCeil
FFloor
FTrunc
FNearest
FSqrt

Instances

Instances details

Eq FUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: FUnOp -> FUnOp -> Bool # (/=) :: FUnOp -> FUnOp -> Bool #
Show FUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> FUnOp -> ShowS # show :: FUnOp -> String # showList :: [FUnOp] -> ShowS #
Generic FUnOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep FUnOp :: Type -> Type # Methods from :: FUnOp -> Rep FUnOp x # to :: Rep FUnOp x -> FUnOp #
NFData FUnOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: FUnOp -> () #
type Rep FUnOp Source #
Instance details Defined in Language.Wasm.Structure type Rep FUnOp = D1 ('MetaData "FUnOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "FAbs" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FNeg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FCeil" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FFloor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FTrunc" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FNearest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FSqrt" 'PrefixI 'False) (U1 :: Type -> Type))))

data FBinOp Source #

Constructors

FAdd
FSub
FMul
FDiv
FMin
FMax
FCopySign

Instances

Instances details

Eq FBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: FBinOp -> FBinOp -> Bool # (/=) :: FBinOp -> FBinOp -> Bool #
Show FBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> FBinOp -> ShowS # show :: FBinOp -> String # showList :: [FBinOp] -> ShowS #
Generic FBinOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep FBinOp :: Type -> Type # Methods from :: FBinOp -> Rep FBinOp x # to :: Rep FBinOp x -> FBinOp #
NFData FBinOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: FBinOp -> () #
type Rep FBinOp Source #
Instance details Defined in Language.Wasm.Structure type Rep FBinOp = D1 ('MetaData "FBinOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "FAdd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FSub" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FMul" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FDiv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FMin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FMax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FCopySign" 'PrefixI 'False) (U1 :: Type -> Type))))

data FRelOp Source #

Constructors

FEq
FNe
FLt
FGt
FLe
FGe

Instances

Instances details

Eq FRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: FRelOp -> FRelOp -> Bool # (/=) :: FRelOp -> FRelOp -> Bool #
Show FRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> FRelOp -> ShowS # show :: FRelOp -> String # showList :: [FRelOp] -> ShowS #
Generic FRelOp Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep FRelOp :: Type -> Type # Methods from :: FRelOp -> Rep FRelOp x # to :: Rep FRelOp x -> FRelOp #
NFData FRelOp Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: FRelOp -> () #
type Rep FRelOp Source #
Instance details Defined in Language.Wasm.Structure type Rep FRelOp = D1 ('MetaData "FRelOp" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "FEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FNe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FLt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FGt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FLe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FGe" 'PrefixI 'False) (U1 :: Type -> Type))))

data BitSize Source #

Constructors

BS32
BS64

Instances

Instances details

Eq BitSize Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: BitSize -> BitSize -> Bool # (/=) :: BitSize -> BitSize -> Bool #
Show BitSize Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> BitSize -> ShowS # show :: BitSize -> String # showList :: [BitSize] -> ShowS #
Generic BitSize Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep BitSize :: Type -> Type # Methods from :: BitSize -> Rep BitSize x # to :: Rep BitSize x -> BitSize #
NFData BitSize Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: BitSize -> () #
type Rep BitSize Source #
Instance details Defined in Language.Wasm.Structure type Rep BitSize = D1 ('MetaData "BitSize" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "BS32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BS64" 'PrefixI 'False) (U1 :: Type -> Type))

data TableType Source #

Constructors

TableType Limit ElemType

Instances

Instances details

Eq TableType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: TableType -> TableType -> Bool # (/=) :: TableType -> TableType -> Bool #
Show TableType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> TableType -> ShowS # show :: TableType -> String # showList :: [TableType] -> ShowS #
Generic TableType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep TableType :: Type -> Type # Methods from :: TableType -> Rep TableType x # to :: Rep TableType x -> TableType #
Serialize TableType Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter TableType # get :: Get TableType #
NFData TableType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: TableType -> () #
type Rep TableType Source #
Instance details Defined in Language.Wasm.Structure type Rep TableType = D1 ('MetaData "TableType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "TableType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Limit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ElemType)))

data ElemType Source #

Constructors

FuncRef

Instances

Instances details

Eq ElemType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: ElemType -> ElemType -> Bool # (/=) :: ElemType -> ElemType -> Bool #
Show ElemType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> ElemType -> ShowS # show :: ElemType -> String # showList :: [ElemType] -> ShowS #
Generic ElemType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep ElemType :: Type -> Type # Methods from :: ElemType -> Rep ElemType x # to :: Rep ElemType x -> ElemType #
Serialize ElemType Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter ElemType # get :: Get ElemType #
NFData ElemType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: ElemType -> () #
type Rep ElemType Source #
Instance details Defined in Language.Wasm.Structure type Rep ElemType = D1 ('MetaData "ElemType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "FuncRef" 'PrefixI 'False) (U1 :: Type -> Type))

data Limit Source #

Constructors

Limit Natural (Maybe Natural)

Instances

Instances details

Eq Limit Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: Limit -> Limit -> Bool # (/=) :: Limit -> Limit -> Bool #
Show Limit Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> Limit -> ShowS # show :: Limit -> String # showList :: [Limit] -> ShowS #
Generic Limit Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep Limit :: Type -> Type # Methods from :: Limit -> Rep Limit x # to :: Rep Limit x -> Limit #
Serialize Limit Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter Limit # get :: Get Limit #
NFData Limit Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: Limit -> () #
type Rep Limit Source #
Instance details Defined in Language.Wasm.Structure type Rep Limit = D1 ('MetaData "Limit" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Limit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))))

data GlobalType Source #

Constructors

Const ValueType
Mut ValueType

Instances

Instances details

Eq GlobalType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: GlobalType -> GlobalType -> Bool # (/=) :: GlobalType -> GlobalType -> Bool #
Show GlobalType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> GlobalType -> ShowS # show :: GlobalType -> String # showList :: [GlobalType] -> ShowS #
Generic GlobalType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep GlobalType :: Type -> Type # Methods from :: GlobalType -> Rep GlobalType x # to :: Rep GlobalType x -> GlobalType #
Serialize GlobalType Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter GlobalType # get :: Get GlobalType #
NFData GlobalType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: GlobalType -> () #
type Rep GlobalType Source #
Instance details Defined in Language.Wasm.Structure type Rep GlobalType = D1 ('MetaData "GlobalType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValueType)) :+: C1 ('MetaCons "Mut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValueType)))

data FuncType Source #

Constructors

FuncType
Fields params :: ParamsType results :: ResultType

Instances

Instances details

Eq FuncType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: FuncType -> FuncType -> Bool # (/=) :: FuncType -> FuncType -> Bool #
Show FuncType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> FuncType -> ShowS # show :: FuncType -> String # showList :: [FuncType] -> ShowS #
Generic FuncType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep FuncType :: Type -> Type # Methods from :: FuncType -> Rep FuncType x # to :: Rep FuncType x -> FuncType #
Serialize FuncType Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter FuncType # get :: Get FuncType #
NFData FuncType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: FuncType -> () #
type Rep FuncType Source #
Instance details Defined in Language.Wasm.Structure type Rep FuncType = D1 ('MetaData "FuncType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "FuncType" 'PrefixI 'True) (S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamsType) :*: S1 ('MetaSel ('Just "results") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResultType)))

data ValueType Source #

Constructors

I32
I64
F32
F64

Instances

Instances details

Eq ValueType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: ValueType -> ValueType -> Bool # (/=) :: ValueType -> ValueType -> Bool #
Show ValueType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> ValueType -> ShowS # show :: ValueType -> String # showList :: [ValueType] -> ShowS #
Generic ValueType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep ValueType :: Type -> Type # Methods from :: ValueType -> Rep ValueType x # to :: Rep ValueType x -> ValueType #
Serialize ValueType Source #
Instance details Defined in Language.Wasm.Binary Methods put :: Putter ValueType # get :: Get ValueType #
NFData ValueType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: ValueType -> () #
type Rep ValueType Source #
Instance details Defined in Language.Wasm.Structure type Rep ValueType = D1 ('MetaData "ValueType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) ((C1 ('MetaCons "I32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "I64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "F32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "F64" 'PrefixI 'False) (U1 :: Type -> Type)))

data BlockType Source #

Constructors

Inline (Maybe ValueType)
TypeIndex TypeIndex

Instances

Instances details

Eq BlockType Source #
Instance details Defined in Language.Wasm.Structure Methods (==) :: BlockType -> BlockType -> Bool # (/=) :: BlockType -> BlockType -> Bool #
Show BlockType Source #
Instance details Defined in Language.Wasm.Structure Methods showsPrec :: Int -> BlockType -> ShowS # show :: BlockType -> String # showList :: [BlockType] -> ShowS #
Generic BlockType Source #
Instance details Defined in Language.Wasm.Structure Associated Types type Rep BlockType :: Type -> Type # Methods from :: BlockType -> Rep BlockType x # to :: Rep BlockType x -> BlockType #
NFData BlockType Source #
Instance details Defined in Language.Wasm.Structure Methods rnf :: BlockType -> () #
type Rep BlockType Source #
Instance details Defined in Language.Wasm.Structure type Rep BlockType = D1 ('MetaData "BlockType" "Language.Wasm.Structure" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ValueType))) :+: C1 ('MetaCons "TypeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeIndex)))

type ParamsType = [ValueType] Source #

type ResultType = [ValueType] Source #

type LocalsType = [ValueType] Source #

type Expression = [Instruction Natural] Source #

type LabelIndex = Natural Source #

type FuncIndex = Natural Source #

type TypeIndex = Natural Source #

type LocalIndex = Natural Source #

type GlobalIndex = Natural Source #

type MemoryIndex = Natural Source #

type TableIndex = Natural Source #

emptyModule :: Module Source #

isFuncImport :: Import -> Bool Source #

isTableImport :: Import -> Bool Source #

isMemImport :: Import -> Bool Source #

isGlobalImport :: Import -> Bool Source #