Language.Wasm.Parser

Documentation

parseModule :: [Lexeme] -> Either String Module

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

parseScript :: [Lexeme] -> Either String Script

desugarize :: [ModuleField] -> Either String Module

data ModuleField

Constructors

MFType TypeDef

MFImport Import

MFFunc Function

MFTable Table

MFMem Memory

MFGlobal Global

MFExport Export

MFStart StartFunction

MFElem ElemSegment

MFData DataSegment

Instances

Eq ModuleField

Defined in Language.Wasm.Parser

Methods

(==) :: ModuleField -> ModuleField -> Bool

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

Show ModuleField

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ModuleField -> ShowS

show :: ModuleField -> String

showList :: [ModuleField] -> ShowS

Generic ModuleField

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

Defined in Language.Wasm.Parser

Methods

rnf :: ModuleField -> ()

type Rep ModuleField

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

Constructors

DataSegment

Fields

• memIndex :: MemoryIndex
• offset :: [Instruction]
• datastring :: ByteString

Instances

Eq DataSegment

Defined in Language.Wasm.Parser

Methods

(==) :: DataSegment -> DataSegment -> Bool

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

Show DataSegment

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> DataSegment -> ShowS

show :: DataSegment -> String

showList :: [DataSegment] -> ShowS

Generic DataSegment

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

Defined in Language.Wasm.Parser

Methods

rnf :: DataSegment -> ()

type Rep DataSegment

Defined in Language.Wasm.Parser

type Rep DataSegment

data ElemSegment

Constructors

ElemSegment

Fields

• tableIndex :: TableIndex
• offset :: [Instruction]
• funcIndexes :: [FuncIndex]

Instances

Eq ElemSegment

Defined in Language.Wasm.Parser

Methods

(==) :: ElemSegment -> ElemSegment -> Bool

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

Show ElemSegment

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ElemSegment -> ShowS

show :: ElemSegment -> String

showList :: [ElemSegment] -> ShowS

Generic ElemSegment

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

Defined in Language.Wasm.Parser

Methods

rnf :: ElemSegment -> ()

type Rep ElemSegment

Defined in Language.Wasm.Parser

type Rep ElemSegment

data StartFunction

Constructors

StartFunction FuncIndex

Instances

Eq StartFunction

Defined in Language.Wasm.Parser

Methods

(==) :: StartFunction -> StartFunction -> Bool

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

Show StartFunction

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> StartFunction -> ShowS

show :: StartFunction -> String

showList :: [StartFunction] -> ShowS

Generic StartFunction

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

Defined in Language.Wasm.Parser

Methods

rnf :: StartFunction -> ()

type Rep StartFunction

Defined in Language.Wasm.Parser

type Rep StartFunction

data Export

Constructors

Export

Fields

• name :: Text
• desc :: ExportDesc

Instances

Eq Export

Defined in Language.Wasm.Parser

Methods

(==) :: Export -> Export -> Bool

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

Show Export

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Export -> ShowS

show :: Export -> String

showList :: [Export] -> ShowS

Generic Export

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

Defined in Language.Wasm.Parser

Methods

rnf :: Export -> ()

type Rep Export

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

Constructors

ExportFunc FuncIndex

ExportTable TableIndex

ExportMemory MemoryIndex

ExportGlobal GlobalIndex

Instances

Eq ExportDesc

Defined in Language.Wasm.Parser

Methods

(==) :: ExportDesc -> ExportDesc -> Bool

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

Show ExportDesc

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ExportDesc -> ShowS

show :: ExportDesc -> String

showList :: [ExportDesc] -> ShowS

Generic ExportDesc

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

Defined in Language.Wasm.Parser

Methods

rnf :: ExportDesc -> ()

type Rep ExportDesc

Defined in Language.Wasm.Parser

type Rep ExportDesc

data Table

Constructors

Table [Text] (Maybe Ident) TableType

Instances

Eq Table

Defined in Language.Wasm.Parser

Methods

(==) :: Table -> Table -> Bool

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

Show Table

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

Generic Table

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

Defined in Language.Wasm.Parser

Methods

rnf :: Table -> ()

type Rep Table

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

Constructors

Memory [Text] (Maybe Ident) Limit

Instances

Eq Memory

Defined in Language.Wasm.Parser

Methods

(==) :: Memory -> Memory -> Bool

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

Show Memory

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Memory -> ShowS

show :: Memory -> String

showList :: [Memory] -> ShowS

Generic Memory

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

Defined in Language.Wasm.Parser

Methods

rnf :: Memory -> ()

type Rep Memory

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

Constructors

Global

Fields

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

Instances

Eq Global

Defined in Language.Wasm.Parser

Methods

(==) :: Global -> Global -> Bool

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

Show Global

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Global -> ShowS

show :: Global -> String

showList :: [Global] -> ShowS

Generic Global

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

Defined in Language.Wasm.Parser

Methods

rnf :: Global -> ()

type Rep Global

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

Constructors

Function

Fields

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

Instances

Eq Function

Defined in Language.Wasm.Parser

Methods

(==) :: Function -> Function -> Bool

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

Show Function

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

Generic Function

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

Defined in Language.Wasm.Parser

Methods

rnf :: Function -> ()

type Rep Function

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

Constructors

LocalType

Fields

• ident :: Maybe Ident
• localType :: ValueType

Instances

Eq LocalType

Defined in Language.Wasm.Parser

Methods

(==) :: LocalType -> LocalType -> Bool

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

Show LocalType

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> LocalType -> ShowS

show :: LocalType -> String

showList :: [LocalType] -> ShowS

Generic LocalType

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

Defined in Language.Wasm.Parser

Methods

rnf :: LocalType -> ()

type Rep LocalType

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

Constructors

Import

Fields

• reExportAs :: [Text]
• sourceModule :: Text
• name :: Text
• desc :: ImportDesc

Instances

Eq Import

Defined in Language.Wasm.Parser

Methods

(==) :: Import -> Import -> Bool

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

Show Import

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

Generic Import

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

Defined in Language.Wasm.Parser

Methods

rnf :: Import -> ()

type Rep Import

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

Constructors

ImportFunc (Maybe Ident) TypeUse

ImportTable (Maybe Ident) TableType

ImportMemory (Maybe Ident) Limit

ImportGlobal (Maybe Ident) GlobalType

Instances

Eq ImportDesc

Defined in Language.Wasm.Parser

Methods

(==) :: ImportDesc -> ImportDesc -> Bool

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

Show ImportDesc

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ImportDesc -> ShowS

show :: ImportDesc -> String

showList :: [ImportDesc] -> ShowS

Generic ImportDesc

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

Defined in Language.Wasm.Parser

Methods

rnf :: ImportDesc -> ()

type Rep ImportDesc

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

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

Eq Instruction

Defined in Language.Wasm.Parser

Methods

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

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

Show Instruction

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

Generic Instruction

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

Defined in Language.Wasm.Parser

Methods

rnf :: Instruction -> ()

type Rep Instruction

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

Constructors

IndexedTypeUse TypeIndex (Maybe FuncType)

AnonimousTypeUse FuncType

Instances

Eq TypeUse

Defined in Language.Wasm.Parser

Methods

(==) :: TypeUse -> TypeUse -> Bool

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

Show TypeUse

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> TypeUse -> ShowS

show :: TypeUse -> String

showList :: [TypeUse] -> ShowS

Generic TypeUse

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

Defined in Language.Wasm.Parser

Methods

rnf :: TypeUse -> ()

type Rep TypeUse

Defined in Language.Wasm.Parser

type Rep TypeUse

data TypeDef

Constructors

TypeDef (Maybe Ident) FuncType

Instances

Eq TypeDef

Defined in Language.Wasm.Parser

Methods

(==) :: TypeDef -> TypeDef -> Bool

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

Show TypeDef

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> TypeDef -> ShowS

show :: TypeDef -> String

showList :: [TypeDef] -> ShowS

Generic TypeDef

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

Defined in Language.Wasm.Parser

Methods

rnf :: TypeDef -> ()

type Rep TypeDef

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

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

Eq PlainInstr

Defined in Language.Wasm.Parser

Methods

(==) :: PlainInstr -> PlainInstr -> Bool

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

Show PlainInstr

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> PlainInstr -> ShowS

show :: PlainInstr -> String

showList :: [PlainInstr] -> ShowS

Generic PlainInstr

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

Defined in Language.Wasm.Parser

Methods

rnf :: PlainInstr -> ()

type Rep PlainInstr

Defined in Language.Wasm.Parser

type Rep PlainInstr

data Index

Constructors

Named Ident

Index Natural

Instances

Eq Index

Defined in Language.Wasm.Parser

Methods

(==) :: Index -> Index -> Bool

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

Show Index

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Generic Index

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

Defined in Language.Wasm.Parser

Methods

rnf :: Index -> ()

type Rep Index

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

Constructors

Ident Text

Instances

Eq Ident

Defined in Language.Wasm.Parser

Methods

(==) :: Ident -> Ident -> Bool

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

Show Ident

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

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

Defined in Language.Wasm.Parser

Methods

rnf :: Ident -> ()

type Rep Ident

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

Constructors

ParamType

Fields

• ident :: Maybe Ident
• paramType :: ValueType

Instances

Eq ParamType

Defined in Language.Wasm.Parser

Methods

(==) :: ParamType -> ParamType -> Bool

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

Show ParamType

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ParamType -> ShowS

show :: ParamType -> String

showList :: [ParamType] -> ShowS

Generic ParamType

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

Defined in Language.Wasm.Parser

Methods

rnf :: ParamType -> ()

type Rep ParamType

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

Constructors

FuncType

Fields

• params :: [ParamType]
• results :: [ValueType]

Instances

Eq FuncType

Defined in Language.Wasm.Parser

Methods

(==) :: FuncType -> FuncType -> Bool

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

Show FuncType

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> FuncType -> ShowS

show :: FuncType -> String

showList :: [FuncType] -> ShowS

Generic FuncType

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

Defined in Language.Wasm.Parser

Methods

rnf :: FuncType -> ()

type Rep FuncType

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]

data ModuleDef

Constructors

RawModDef (Maybe Ident) Module

TextModDef (Maybe Ident) Text

BinaryModDef (Maybe Ident) ByteString

Instances

Eq ModuleDef

Defined in Language.Wasm.Parser

Methods

(==) :: ModuleDef -> ModuleDef -> Bool

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

Show ModuleDef

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> ModuleDef -> ShowS

show :: ModuleDef -> String

showList :: [ModuleDef] -> ShowS

data Command

Constructors

ModuleDef ModuleDef

Register Text (Maybe Ident)

Action Action

Assertion Int Assertion

Meta Meta

Instances

Eq Command

Defined in Language.Wasm.Parser

Methods

(==) :: Command -> Command -> Bool

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

Show Command

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

data Action

Constructors

Invoke (Maybe Ident) Text [Expression]

Get (Maybe Ident) Text

Instances

Eq Action

Defined in Language.Wasm.Parser

Methods

(==) :: Action -> Action -> Bool

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

Show Action

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

data Assertion

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

Defined in Language.Wasm.Parser

Methods

(==) :: Assertion -> Assertion -> Bool

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

Show Assertion

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Assertion -> ShowS

show :: Assertion -> String

showList :: [Assertion] -> ShowS

data Meta

Constructors

Script (Maybe Ident) Script

Input (Maybe Ident) Text

Output (Maybe Ident) Text

Instances

Eq Meta

Defined in Language.Wasm.Parser

Methods

(==) :: Meta -> Meta -> Bool

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

Show Meta

Defined in Language.Wasm.Parser

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS