Language.Wasm.Validate

Documentation

data ValidationError

Constructors

DuplicatedExportNames [String]

InvalidTableType

MinMoreThanMaxInMemoryLimit

MemoryLimitExceeded

AlignmentOverflow

MoreThanOneMemory

MoreThanOneTable

FunctionIndexOutOfRange

TableIndexOutOfRange

MemoryIndexOutOfRange

LocalIndexOutOfRange

GlobalIndexOutOfRange

LabelIndexOutOfRange

TypeIndexOutOfRange

ResultTypeDoesntMatch

TypeMismatch

Fields

• actual :: Arrow
• expected :: Arrow

InvalidResultArity

InvalidConstantExpr

InvalidStartFunctionType

ImportedGlobalIsNotConst

ExportedGlobalIsNotConst

GlobalIsImmutable

Instances

Eq ValidationError

Methods

(==) :: ValidationError -> ValidationError -> Bool

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

Show ValidationError

Methods

showsPrec :: Int -> ValidationError -> ShowS

show :: ValidationError -> String

showList :: [ValidationError] -> ShowS

Monoid ValidationResult

Methods

mempty :: ValidationResult

mappend :: ValidationResult -> ValidationResult -> ValidationResult

mconcat :: [ValidationResult] -> ValidationResult

type ValidationResult = Either ValidationError ()

validate :: Module -> Either ValidationError ValidModule

isValid :: ValidationResult -> Bool

data ValidModule

Instances

Eq ValidModule

Methods

(==) :: ValidModule -> ValidModule -> Bool

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

Show ValidModule

Methods

showsPrec :: Int -> ValidModule -> ShowS

show :: ValidModule -> String

showList :: [ValidModule] -> ShowS

$sel:getModule:ValidModule :: ValidModule -> Module