Safe Haskell	None
Language	Haskell2010

Language.Wasm.Parser

Documentation

parseModule :: [Lexeme] -> Either String Module Source #

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

parseScript :: [Lexeme] -> Either String Script Source #

desugarize :: [ModuleField] -> Either String Module Source #

data ModuleField Source #

Constructors

MFType TypeDef
MFImport Import
MFFunc Function
MFTable Table
MFMem Memory
MFGlobal Global
MFExport Export
MFStart StartFunction
MFElem ElemSegment
MFData DataSegment

Instances

Eq ModuleField Source #
Methods (==) :: ModuleField -> ModuleField -> Bool # (/=) :: ModuleField -> ModuleField -> Bool #
Show ModuleField Source #
Methods showsPrec :: Int -> ModuleField -> ShowS # show :: ModuleField -> String # showList :: [ModuleField] -> ShowS #
Generic ModuleField Source #
Associated Types type Rep ModuleField :: * -> * # Methods from :: ModuleField -> Rep ModuleField x # to :: Rep ModuleField x -> ModuleField #
NFData ModuleField Source #
Methods rnf :: ModuleField -> () #
type Rep ModuleField Source #
type Rep ModuleField = D1 * (MetaData "ModuleField" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "MFType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeDef))) (C1 * (MetaCons "MFImport" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Import)))) ((:+:) * (C1 * (MetaCons "MFFunc" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Function))) ((:+:) * (C1 * (MetaCons "MFTable" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Table))) (C1 * (MetaCons "MFMem" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Memory)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "MFGlobal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Global))) (C1 * (MetaCons "MFExport" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Export)))) ((:+:) * (C1 * (MetaCons "MFStart" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * StartFunction))) ((:+:) * (C1 * (MetaCons "MFElem" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ElemSegment))) (C1 * (MetaCons "MFData" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * DataSegment)))))))

data DataSegment Source #

Constructors

DataSegment
Fields memIndex :: MemoryIndex offset :: [Instruction] datastring :: 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 :: [Instruction] 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.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Export" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "desc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ExportDesc))))

data ExportDesc 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 [Text] (Maybe Ident) 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.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Table" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TableType)))))

data Memory Source #

Constructors

Memory [Text] (Maybe Ident) 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.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Memory" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Limit)))))

data Global Source #

Constructors

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

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.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Global" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "exportGlobalAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident)))) ((::) (S1 * (MetaSel (Just Symbol "globalType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GlobalType)) (S1 * (MetaSel (Just Symbol "initializer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))

data Function Source #

Constructors

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

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

data LocalType Source #

Constructors

LocalType
Fields ident :: Maybe Ident localType :: ValueType

Instances

Eq LocalType Source #
Methods (==) :: LocalType -> LocalType -> Bool # (/=) :: LocalType -> LocalType -> Bool #
Show LocalType Source #
Methods showsPrec :: Int -> LocalType -> ShowS # show :: LocalType -> String # showList :: [LocalType] -> ShowS #
Generic LocalType Source #
Associated Types type Rep LocalType :: * -> * # Methods from :: LocalType -> Rep LocalType x # to :: Rep LocalType x -> LocalType #
NFData LocalType Source #
Methods rnf :: LocalType -> () #
type Rep LocalType Source #
type Rep LocalType = D1 * (MetaData "LocalType" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "LocalType" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "localType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))))

data Import Source #

Constructors

Import
Fields reExportAs :: [Text] 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.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "Import" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "reExportAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Text])) (S1 * (MetaSel (Just Symbol "sourceModule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((::) (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "desc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ImportDesc)))))

data ImportDesc Source #

Constructors

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

data Instruction Source #

Constructors

PlainInstr PlainInstr
BlockInstr
Fields label :: Maybe Ident resultType :: [ValueType] body :: [Instruction]
LoopInstr
Fields label :: Maybe Ident resultType :: [ValueType] body :: [Instruction]
IfInstr
Fields label :: Maybe Ident resultType :: [ValueType] trueBranch :: [Instruction] falseBranch :: [Instruction]

Instances

Eq Instruction Source #
Methods (==) :: Instruction -> Instruction -> Bool # (/=) :: Instruction -> Instruction -> Bool #
Show Instruction Source #
Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #
Generic Instruction Source #
Associated Types type Rep Instruction :: * -> * # Methods from :: Instruction -> Rep Instruction x # to :: Rep Instruction x -> Instruction #
NFData Instruction Source #
Methods rnf :: Instruction -> () #
type Rep Instruction Source #
type Rep Instruction = D1 * (MetaData "Instruction" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * ((:+:) * (C1 * (MetaCons "PlainInstr" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PlainInstr))) (C1 * (MetaCons "BlockInstr" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) ((::) (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType])) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))) ((:+:) * (C1 * (MetaCons "LoopInstr" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) ((::) (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType])) (S1 * (MetaSel (Just Symbol "body") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction]))))) (C1 * (MetaCons "IfInstr" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "label") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ValueType]))) ((::) (S1 * (MetaSel (Just Symbol "trueBranch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])) (S1 * (MetaSel (Just Symbol "falseBranch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Instruction])))))))

data TypeUse Source #

Constructors

IndexedTypeUse TypeIndex (Maybe FuncType)
AnonimousTypeUse FuncType

Instances

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

data TypeDef Source #

Constructors

TypeDef (Maybe Ident) FuncType

Instances

Eq TypeDef Source #
Methods (==) :: TypeDef -> TypeDef -> Bool # (/=) :: TypeDef -> TypeDef -> Bool #
Show TypeDef Source #
Methods showsPrec :: Int -> TypeDef -> ShowS # show :: TypeDef -> String # showList :: [TypeDef] -> ShowS #
Generic TypeDef Source #
Associated Types type Rep TypeDef :: * -> * # Methods from :: TypeDef -> Rep TypeDef x # to :: Rep TypeDef x -> TypeDef #
NFData TypeDef Source #
Methods rnf :: TypeDef -> () #
type Rep TypeDef Source #
type Rep TypeDef = D1 * (MetaData "TypeDef" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "TypeDef" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FuncType))))

data PlainInstr Source #

Constructors

Unreachable
Nop
Br LabelIndex
BrIf LabelIndex
BrTable [LabelIndex] LabelIndex
Return
Call FuncIndex
CallIndirect TypeUse
Drop
Select
GetLocal LocalIndex
SetLocal LocalIndex
TeeLocal LocalIndex
GetGlobal GlobalIndex
SetGlobal GlobalIndex
I32Load MemArg
I64Load MemArg
F32Load MemArg
F64Load MemArg
I32Load8S MemArg
I32Load8U MemArg
I32Load16S MemArg
I32Load16U MemArg
I64Load8S MemArg
I64Load8U MemArg
I64Load16S MemArg
I64Load16U MemArg
I64Load32S MemArg
I64Load32U MemArg
I32Store MemArg
I64Store MemArg
F32Store MemArg
F64Store MemArg
I32Store8 MemArg
I32Store16 MemArg
I64Store8 MemArg
I64Store16 MemArg
I64Store32 MemArg
CurrentMemory
GrowMemory
I32Const Integer
I64Const Integer
F32Const Float
F64Const Double
IUnOp BitSize IUnOp
IBinOp BitSize IBinOp
I32Eqz
I64Eqz
IRelOp BitSize IRelOp
FUnOp BitSize FUnOp
FBinOp BitSize FBinOp
FRelOp BitSize FRelOp
I32WrapI64
ITruncFU BitSize BitSize
ITruncFS BitSize BitSize
I64ExtendSI32
I64ExtendUI32
FConvertIU BitSize BitSize
FConvertIS BitSize BitSize
F32DemoteF64
F64PromoteF32
IReinterpretF BitSize
FReinterpretI BitSize

Instances

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

data Index Source #

Constructors

Named Ident
Index Natural

Instances

Eq Index Source #
Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Show Index Source #
Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #
Generic Index Source #
Associated Types type Rep Index :: * -> * # Methods from :: Index -> Rep Index x # to :: Rep Index x -> Index #
NFData Index Source #
Methods rnf :: Index -> () #
type Rep Index Source #
type Rep Index = D1 * (MetaData "Index" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) ((:+:) * (C1 * (MetaCons "Named" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ident))) (C1 * (MetaCons "Index" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Natural))))

newtype Ident Source #

Constructors

Ident Text

Instances

Eq Ident Source #
Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Show Ident Source #
Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Generic Ident Source #
Associated Types type Rep Ident :: * -> * # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
NFData Ident Source #
Methods rnf :: Ident -> () #
type Rep Ident Source #
type Rep Ident = D1 * (MetaData "Ident" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" True) (C1 * (MetaCons "Ident" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data ParamType Source #

Constructors

ParamType
Fields ident :: Maybe Ident paramType :: ValueType

Instances

Eq ParamType Source #
Methods (==) :: ParamType -> ParamType -> Bool # (/=) :: ParamType -> ParamType -> Bool #
Show ParamType Source #
Methods showsPrec :: Int -> ParamType -> ShowS # show :: ParamType -> String # showList :: [ParamType] -> ShowS #
Generic ParamType Source #
Associated Types type Rep ParamType :: * -> * # Methods from :: ParamType -> Rep ParamType x # to :: Rep ParamType x -> ParamType #
NFData ParamType Source #
Methods rnf :: ParamType -> () #
type Rep ParamType Source #
type Rep ParamType = D1 * (MetaData "ParamType" "Language.Wasm.Parser" "wasm-1.0.0-3p6AkTQBgB5H14IIPDel9m" False) (C1 * (MetaCons "ParamType" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "ident") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Ident))) (S1 * (MetaSel (Just Symbol "paramType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ValueType))))

data FuncType Source #

Constructors

FuncType
Fields params :: [ParamType] results :: [ValueType]

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

type Script = [Command] Source #

data ModuleDef Source #

Constructors

RawModDef (Maybe Ident) Module
TextModDef (Maybe Ident) Text
BinaryModDef (Maybe Ident) ByteString

Instances

Eq ModuleDef Source #
Methods (==) :: ModuleDef -> ModuleDef -> Bool # (/=) :: ModuleDef -> ModuleDef -> Bool #
Show ModuleDef Source #
Methods showsPrec :: Int -> ModuleDef -> ShowS # show :: ModuleDef -> String # showList :: [ModuleDef] -> ShowS #

data Command Source #

Constructors

ModuleDef ModuleDef
Register Text (Maybe Ident)
Action Action
Assertion Assertion
Meta Meta

Instances

Eq Command Source #
Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Show Command Source #
Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #

data Action Source #

Constructors

Invoke (Maybe Ident) Text [Expression]
Get (Maybe Ident) Text

Instances

Eq Action Source #
Methods (==) :: Action -> Action -> Bool # (/=) :: Action -> Action -> Bool #
Show Action Source #
Methods showsPrec :: Int -> Action -> ShowS # show :: Action -> String # showList :: [Action] -> ShowS #

data Assertion Source #

Constructors

AssertReturn Action [Expression]
AssertReturnCanonicalNaN Action
AssertReturnArithmeticNaN Action
AssertTrap (Either Action ModuleDef) FailureString
AssertMalformed ModuleDef FailureString
AssertInvalid ModuleDef FailureString
AssertUnlinkable ModuleDef FailureString
AssertExhaustion Action FailureString

Instances

Eq Assertion Source #
Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Show Assertion Source #
Methods showsPrec :: Int -> Assertion -> ShowS # show :: Assertion -> String # showList :: [Assertion] -> ShowS #

data Meta Source #

Constructors

Script (Maybe Ident) Script
Input (Maybe Ident) Text
Output (Maybe Ident) Text

Instances

Eq Meta Source #
Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Show Meta Source #
Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #