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

Instances details

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

data DataSegment Source #

Constructors

DataSegment
Fields memIndex :: MemoryIndex offset :: [Instruction] datastring :: ByteString

Instances

Instances details

Eq DataSegment Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: DataSegment -> DataSegment -> Bool # (/=) :: DataSegment -> DataSegment -> Bool #
Show DataSegment Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> DataSegment -> ShowS # show :: DataSegment -> String # showList :: [DataSegment] -> ShowS #
Generic DataSegment Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep DataSegment :: Type -> Type # Methods from :: DataSegment -> Rep DataSegment x # to :: Rep DataSegment x -> DataSegment #
NFData DataSegment Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: DataSegment -> () #
type Rep DataSegment Source #
Instance details Defined in Language.Wasm.Parser type Rep DataSegment

data ElemSegment Source #

Constructors

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

Instances

Instances details

Eq ElemSegment Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: ElemSegment -> ElemSegment -> Bool # (/=) :: ElemSegment -> ElemSegment -> Bool #
Show ElemSegment Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> ElemSegment -> ShowS # show :: ElemSegment -> String # showList :: [ElemSegment] -> ShowS #
Generic ElemSegment Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep ElemSegment :: Type -> Type # Methods from :: ElemSegment -> Rep ElemSegment x # to :: Rep ElemSegment x -> ElemSegment #
NFData ElemSegment Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: ElemSegment -> () #
type Rep ElemSegment Source #
Instance details Defined in Language.Wasm.Parser type Rep ElemSegment

data StartFunction Source #

Constructors

StartFunction FuncIndex

Instances

Instances details

Eq StartFunction Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: StartFunction -> StartFunction -> Bool # (/=) :: StartFunction -> StartFunction -> Bool #
Show StartFunction Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> StartFunction -> ShowS # show :: StartFunction -> String # showList :: [StartFunction] -> ShowS #
Generic StartFunction Source #
Instance details Defined in Language.Wasm.Parser 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.Parser Methods rnf :: StartFunction -> () #
type Rep StartFunction Source #
Instance details Defined in Language.Wasm.Parser type Rep StartFunction

data Export Source #

Constructors

Export
Fields name :: Text desc :: ExportDesc

Instances

Instances details

Eq Export Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Export -> Export -> Bool # (/=) :: Export -> Export -> Bool #
Show Export Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> Export -> ShowS # show :: Export -> String # showList :: [Export] -> ShowS #
Generic Export Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep Export :: Type -> Type # Methods from :: Export -> Rep Export x # to :: Rep Export x -> Export #
NFData Export Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: Export -> () #
type Rep Export Source #
Instance details Defined in Language.Wasm.Parser type Rep Export = D1 ('MetaData "Export" "Language.Wasm.Parser" "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.Parser Methods (==) :: ExportDesc -> ExportDesc -> Bool # (/=) :: ExportDesc -> ExportDesc -> Bool #
Show ExportDesc Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> ExportDesc -> ShowS # show :: ExportDesc -> String # showList :: [ExportDesc] -> ShowS #
Generic ExportDesc Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep ExportDesc :: Type -> Type # Methods from :: ExportDesc -> Rep ExportDesc x # to :: Rep ExportDesc x -> ExportDesc #
NFData ExportDesc Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: ExportDesc -> () #
type Rep ExportDesc Source #
Instance details Defined in Language.Wasm.Parser type Rep ExportDesc

data Table Source #

Constructors

Table [Text] (Maybe Ident) TableType

Instances

Instances details

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

data Memory Source #

Constructors

Memory [Text] (Maybe Ident) Limit

Instances

Instances details

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

data Global Source #

Constructors

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

Instances

Instances details

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

data Function Source #

Constructors

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

Instances

Instances details

Eq Function Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Show Function Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
NFData Function Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: Function -> () #
type Rep Function Source #
Instance details Defined in Language.Wasm.Parser type Rep Function = D1 ('MetaData "Function" "Language.Wasm.Parser" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Function" 'PrefixI 'True) ((S1 ('MetaSel ('Just "exportFuncAs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :: S1 ('MetaSel ('Just "ident") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Ident))) :: (S1 ('MetaSel ('Just "funcType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeUse) :: (S1 ('MetaSel ('Just "locals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LocalType]) :: S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Instruction])))))

data LocalType Source #

Constructors

LocalType
Fields ident :: Maybe Ident localType :: ValueType

Instances

Instances details

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

data Import Source #

Constructors

Import
Fields reExportAs :: [Text] sourceModule :: Text name :: Text desc :: ImportDesc

Instances

Instances details

Eq Import Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Show Import Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #
Generic Import Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep Import :: Type -> Type # Methods from :: Import -> Rep Import x # to :: Rep Import x -> Import #
NFData Import Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: Import -> () #
type Rep Import Source #
Instance details Defined in Language.Wasm.Parser type Rep Import = D1 ('MetaData "Import" "Language.Wasm.Parser" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "Import" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reExportAs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :: 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 (Maybe Ident) TypeUse
ImportTable (Maybe Ident) TableType
ImportMemory (Maybe Ident) Limit
ImportGlobal (Maybe Ident) GlobalType

Instances

Instances details

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

data Instruction Source #

Constructors

PlainInstr PlainInstr
BlockInstr
Fields label :: Maybe Ident blockType :: TypeUse body :: [Instruction]
LoopInstr
Fields label :: Maybe Ident blockType :: TypeUse body :: [Instruction]
IfInstr
Fields label :: Maybe Ident blockType :: TypeUse trueBranch :: [Instruction] falseBranch :: [Instruction]

Instances

Instances details

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

data TypeUse Source #

Constructors

IndexedTypeUse TypeIndex (Maybe FuncType)
AnonimousTypeUse FuncType

Instances

Instances details

Eq TypeUse Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: TypeUse -> TypeUse -> Bool # (/=) :: TypeUse -> TypeUse -> Bool #
Show TypeUse Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> TypeUse -> ShowS # show :: TypeUse -> String # showList :: [TypeUse] -> ShowS #
Generic TypeUse Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep TypeUse :: Type -> Type # Methods from :: TypeUse -> Rep TypeUse x # to :: Rep TypeUse x -> TypeUse #
NFData TypeUse Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: TypeUse -> () #
type Rep TypeUse Source #
Instance details Defined in Language.Wasm.Parser type Rep TypeUse

data TypeDef Source #

Constructors

TypeDef (Maybe Ident) FuncType

Instances

Instances details

Eq TypeDef Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: TypeDef -> TypeDef -> Bool # (/=) :: TypeDef -> TypeDef -> Bool #
Show TypeDef Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> TypeDef -> ShowS # show :: TypeDef -> String # showList :: [TypeDef] -> ShowS #
Generic TypeDef Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep TypeDef :: Type -> Type # Methods from :: TypeDef -> Rep TypeDef x # to :: Rep TypeDef x -> TypeDef #
NFData TypeDef Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: TypeDef -> () #
type Rep TypeDef Source #
Instance details Defined in Language.Wasm.Parser type Rep TypeDef = D1 ('MetaData "TypeDef" "Language.Wasm.Parser" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "TypeDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Ident)) :*: S1 ('MetaSel ('Nothing :: Maybe 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
ITruncSatFU BitSize BitSize
ITruncSatFS BitSize BitSize
I64ExtendSI32
I64ExtendUI32
FConvertIU BitSize BitSize
FConvertIS BitSize BitSize
F32DemoteF64
F64PromoteF32
IReinterpretF BitSize
FReinterpretI BitSize

Instances

Instances details

Eq PlainInstr Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: PlainInstr -> PlainInstr -> Bool # (/=) :: PlainInstr -> PlainInstr -> Bool #
Show PlainInstr Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> PlainInstr -> ShowS # show :: PlainInstr -> String # showList :: [PlainInstr] -> ShowS #
Generic PlainInstr Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep PlainInstr :: Type -> Type # Methods from :: PlainInstr -> Rep PlainInstr x # to :: Rep PlainInstr x -> PlainInstr #
NFData PlainInstr Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: PlainInstr -> () #
type Rep PlainInstr Source #
Instance details Defined in Language.Wasm.Parser type Rep PlainInstr

data Index Source #

Constructors

Named Ident
Index Natural

Instances

Instances details

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

newtype Ident Source #

Constructors

Ident Text

Instances

Instances details

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

data ParamType Source #

Constructors

ParamType
Fields ident :: Maybe Ident paramType :: ValueType

Instances

Instances details

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

data FuncType Source #

Constructors

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

Instances

Instances details

Eq FuncType Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: FuncType -> FuncType -> Bool # (/=) :: FuncType -> FuncType -> Bool #
Show FuncType Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> FuncType -> ShowS # show :: FuncType -> String # showList :: [FuncType] -> ShowS #
Generic FuncType Source #
Instance details Defined in Language.Wasm.Parser Associated Types type Rep FuncType :: Type -> Type # Methods from :: FuncType -> Rep FuncType x # to :: Rep FuncType x -> FuncType #
NFData FuncType Source #
Instance details Defined in Language.Wasm.Parser Methods rnf :: FuncType -> () #
type Rep FuncType Source #
Instance details Defined in Language.Wasm.Parser type Rep FuncType = D1 ('MetaData "FuncType" "Language.Wasm.Parser" "wasm-1.1.1-DXxNcY7mvYrKAXJfL54aUD" 'False) (C1 ('MetaCons "FuncType" 'PrefixI 'True) (S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ParamType]) :*: S1 ('MetaSel ('Just "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

Instances details

Eq ModuleDef Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: ModuleDef -> ModuleDef -> Bool # (/=) :: ModuleDef -> ModuleDef -> Bool #
Show ModuleDef Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> ModuleDef -> ShowS # show :: ModuleDef -> String # showList :: [ModuleDef] -> ShowS #

data Command Source #

Constructors

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

Instances

Instances details

Eq Command Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Show Command Source #
Instance details Defined in Language.Wasm.Parser 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

Instances details

Eq Action Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Action -> Action -> Bool # (/=) :: Action -> Action -> Bool #
Show Action Source #
Instance details Defined in Language.Wasm.Parser 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

Instances details

Eq Assertion Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Show Assertion Source #
Instance details Defined in Language.Wasm.Parser 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

Instances details

Eq Meta Source #
Instance details Defined in Language.Wasm.Parser Methods (==) :: Meta -> Meta -> Bool # (/=) :: Meta -> Meta -> Bool #
Show Meta Source #
Instance details Defined in Language.Wasm.Parser Methods showsPrec :: Int -> Meta -> ShowS # show :: Meta -> String # showList :: [Meta] -> ShowS #