jtenner/starshine/binary does not have a README file
Decode
impl Decode for AbsHeapTypeimpl Decode for AtomicOrderimpl Decode for DataCntSecimpl Decode for ExternTypeimpl Decode for GlobalTypeimpl Decode for IndirectNameAssocimpl Decode for IndirectNameMapimpl Decode for Instructionimpl Decode for ResumeHandlerimpl Decode for StorageTypeimpl Decode for StringRefsSecimpl Decode for AccessFactsimpl Decode for AccessSiteFactsimpl Decode for AliasSourceimpl Decode for AllocationFactsimpl Decode for AllocationFieldFactsimpl Decode for AllocationKindimpl Decode for AllocationSiteFactsimpl Decode for ArrayElementFactsimpl Decode for BranchFactsimpl Decode for BranchProfileimpl Decode for CallProfileimpl Decode for CallSiteFactsimpl Decode for ClosedAliasSetimpl Decode for ClosedFunctionSetimpl Decode for ClosedGlobalSetimpl Decode for ClosedHeapTypeSetimpl Decode for ClosedMemorySetimpl Decode for ClosedTableSetimpl Decode for ClosedTypeViewSetimpl Decode for ClosedValueSetimpl Decode for CompilerFactCustomSectionfn decode(bytes : Bytes, index : Int) -> Result[(CompilerFactCustomSection, Int), BinaryDecodeError]impl Decode for EffectFactsimpl Decode for EffectMaskimpl Decode for EscapeSinkMaskimpl Decode for ExpressionFactimpl Decode for FactHeapTypeimpl Decode for FactOperandimpl Decode for FieldFactsimpl Decode for FieldUsageFactsimpl Decode for FloatClassMaskimpl Decode for FloatFactsimpl Decode for FloatWidthimpl Decode for FunctionBodyFactsimpl Decode for FunctionBoundaryFactsimpl Decode for FunctionFactsimpl Decode for FunctionProfileimpl Decode for FunctionResultRefimpl Decode for GlobalFactsimpl Decode for HeapDomainimpl Decode for HintTargetimpl Decode for IndexedValueFactsimpl Decode for InlinePolicyimpl Decode for IntConstantimpl Decode for IntegerFactsimpl Decode for KnownV128Bitsimpl Decode for LoopProfileimpl Decode for MutationFactsimpl Decode for MutationPhaseimpl Decode for NullabilityFactsimpl Decode for NumericOperationFactsimpl Decode for NumericOperationSiteFactsfn decode(bytes : Bytes, index : Int) -> Result[(NumericOperationSiteFacts, Int), BinaryDecodeError]impl Decode for OptimizationFactsSecimpl Decode for OptimizationGoalimpl Decode for OptimizationHintimpl Decode for ParameterFactsimpl Decode for ParameterRefimpl Decode for ParameterUseMaskimpl Decode for ProducerInfoimpl Decode for ReferenceFactsimpl Decode for RelationKindimpl Decode for ResultFactsimpl Decode for ResultIdentityFactsimpl Decode for ScopedRelationFactsimpl Decode for SignatureFactsimpl Decode for SignedRangeimpl Decode for SourceProvenanceimpl Decode for TableEntryFactsimpl Decode for TableFactsimpl Decode for TemperatureHintimpl Decode for TypePopulationimpl Decode for UnsignedRangeimpl Decode for ValueFactsimpl Decode for VectorFactsimpl Decode for VectorLaneShapeimpl Decode for WorldFactsimpl Decode for WriteFactsEncode
impl Encode for AbsHeapTypeimpl Encode for AtomicOrderimpl Encode for DataCntSecimpl Encode for ExternTypeimpl Encode for GlobalTypeimpl Encode for IndirectNameAssocimpl Encode for IndirectNameMapimpl Encode for Instructionimpl Encode for ResumeHandlerimpl Encode for StorageTypeimpl Encode for StringRefsSecimpl Encode for AccessFactsimpl Encode for AccessSiteFactsimpl Encode for AliasSourceimpl Encode for AllocationFactsimpl Encode for AllocationFieldFactsimpl Encode for AllocationKindimpl Encode for AllocationSiteFactsimpl Encode for ArrayElementFactsimpl Encode for BranchFactsimpl Encode for BranchProfileimpl Encode for CallProfileimpl Encode for CallSiteFactsimpl Encode for ClosedAliasSetimpl Encode for ClosedFunctionSetimpl Encode for ClosedGlobalSetimpl Encode for ClosedHeapTypeSetimpl Encode for ClosedMemorySetimpl Encode for ClosedTableSetimpl Encode for ClosedTypeViewSetimpl Encode for ClosedValueSetimpl Encode for CompilerFactCustomSectionimpl Encode for EffectFactsimpl Encode for EffectMaskimpl Encode for EscapeSinkMaskimpl Encode for ExpressionFactimpl Encode for FactHeapTypeimpl Encode for FactOperandimpl Encode for FieldFactsimpl Encode for FieldUsageFactsimpl Encode for FloatClassMaskimpl Encode for FloatFactsimpl Encode for FloatWidthimpl Encode for FunctionBodyFactsimpl Encode for FunctionBoundaryFactsimpl Encode for FunctionFactsimpl Encode for FunctionProfileimpl Encode for FunctionResultRefimpl Encode for GlobalFactsimpl Encode for HeapDomainimpl Encode for HintTargetimpl Encode for IndexedValueFactsimpl Encode for InlinePolicyimpl Encode for IntConstantimpl Encode for IntegerFactsimpl Encode for KnownV128Bitsimpl Encode for LoopProfileimpl Encode for MutationFactsimpl Encode for MutationPhaseimpl Encode for NullabilityFactsimpl Encode for NumericOperationFactsimpl Encode for NumericOperationSiteFactsimpl Encode for OptimizationFactsSecimpl Encode for OptimizationGoalimpl Encode for OptimizationHintimpl Encode for ParameterFactsimpl Encode for ParameterRefimpl Encode for ParameterUseMaskimpl Encode for ProducerInfoimpl Encode for ReferenceFactsimpl Encode for RelationKindimpl Encode for ResultFactsimpl Encode for ResultIdentityFactsimpl Encode for ScopedRelationFactsimpl Encode for SignatureFactsimpl Encode for SignedRangeimpl Encode for SourceProvenanceimpl Encode for TableEntryFactsimpl Encode for TableFactsimpl Encode for TemperatureHintimpl Encode for TypePopulationimpl Encode for UnsignedRangeimpl Encode for ValueFactsimpl Encode for VectorFactsimpl Encode for VectorLaneShapeimpl Encode for WorldFactsimpl Encode for WriteFactsBinaryDecodeError
pub suberror BinaryDecodeError {
IndexOutOfBounds
InvalidNumTypeByte
InvalidAbstractHeapType
InvalidValType
InvalidCompType
UnexpectedEofDecodingMut
InvalidMutByte
InvalidStorageType
InvalidPackedType
InvalidUnsignedLebBitWidth
UnexpectedEofInUnsignedLeb
UnsignedLebTooManyBytes
UnsignedLebOutOfRangeForBitWidth
UnsignedLebTerminalHasNonZeroUnusedBits
UnreachableDecodeState
InvalidSignedLebBitWidth
UnexpectedEofInSignedLeb
SignedLebTooManyBytes
SignedLebOutOfRangeForBitWidth
SignedLebPositiveTerminalHasNonZeroUnusedBits
SignedLebTerminalHasWrongSignExtensionBits
InvalidS33Range
InvalidBoolByte
InvalidLaneIndex
NegativeNameLength
InvalidUtf8Name
InvalidSectionHeader
SectionPayloadLengthOutOfRange
InvalidSectionPayloadTrailingBytes
DuplicateNameSection
DuplicateCompilerFactsSection
InvalidCompilerFactsEnumTag
InvalidCompilerFactsOptionTag
TruncatedCompilerFactsPayload
CompilerFactsTrailingBytes
UnsupportedCompilerFactsVersion
InvalidNameSubsectionId
InvalidNameSubsectionOrder
InvalidNameMapOrder
InvalidMagicHeader
InvalidModule
InvalidElemHeader
InvalidDataHeader
CustomSectionPayloadLengthOutOfRange
InvalidLimits
InvalidTagType
InvalidExternTypeHeader
InvalidBlockType
InvalidExternIndex
InvalidOffset
InvalidCatch
InvalidCastOp
InvalidMemArg
InvalidStringRefSection
InvalidStringLiteralIndex
InvalidInstruction
InvalidAtomicFenceImmediate
InvalidAtomicInstruction
InstructionNestingLimitExceeded
} derive(Eq, Debug)impl Show for BinaryDecodeErrorBinaryEncodeError
pub suberror BinaryEncodeError {
CannotEncodeRecursiveIndexHeapType
CannotEncodeDefTypeHeapType
CannotEncodeBottomValType
InvalidUnsignedLebBitWidth
UnsignedLebValueOutOfRange
InvalidSignedLebBitWidth
SignedLebValueOutOfRange
UnsignedLebExceedsMaxByteLimit
SignedLebExceedsMaxByteLimit
CannotEncodeNonStandardTypeIndex
CannotEncodeRecursiveIndexBlockType
InvalidMemArgEncoding
InvalidActiveElemSequence
InvalidTypedFunctionLocals
InvalidNameMapOrder
RawNameCustomSectionUnsupported
ReservedCompilerFactsCustomSection
UnsupportedCompilerFactsVersion
CannotEncodeStringConstWithoutModuleContext
StringConstLiteralMissingFromSection
UnsupportedBackingArrayMemoryOp
InvalidLegacyTryShape
} derive(Eq, Debug)impl Show for BinaryEncodeErrorDecodeError
pub suberror DecodeError {
Decode(BinaryDecodeError)
DecodeAt(BinaryDecodeError, Int, Int)
TrailingBytes(Int, Int)
} derive(Eq, Debug)impl Show for DecodeErrorModuleDecodeErrorDetail
pub struct ModuleDecodeErrorDetail {
err : BinaryDecodeError
section_id : Int?
section_offset : Int?
section_len : Int?
trailing_offset : Int?
} derive(Eq, Debug)compiler_fact_module_opcode_offsets
fn compiler_fact_module_opcode_offsets(module_ : Module) -> Result[Array[Array[UInt]], BinaryEncodeError]Return canonical instruction-opcode offsets for every defined function body
using the same synthesized string-reference pool as module encoding.
compiler_fact_module_opcode_sites
fn compiler_fact_module_opcode_sites(module_ : Module) -> Result[Array[Array[(UInt, Instruction)]], BinaryEncodeError]Return canonical (offset, instruction) maps for every defined function.
compiler_fact_opcode_offsets
fn compiler_fact_opcode_offsets(expression : Expr, stringrefs? : Array[Bytes]?) -> Result[Array[UInt], BinaryEncodeError]Return the canonical encoded byte offsets of every instruction opcode in an
expression. Structural delimiter bytes such as else, catch, and end
are not instruction sites.
compiler_fact_opcode_sites
fn compiler_fact_opcode_sites(expression : Expr, stringrefs? : Array[Bytes]?) -> Result[Array[(UInt, Instruction)], BinaryEncodeError]Pair canonical opcode offsets with the exact source instructions in preorder.
Delimiters remain excluded, and offsets come only from the production encoder.
decode_module_with_detail
fn decode_module_with_detail(bytes : Bytes, i : Int) -> Result[(Module, Int), ModuleDecodeErrorDetail]encode_module
encoded_module_sizes
Return exact canonical binary sizes without assembling either code section.
Shared function bodies are measured once when their stringref pools agree.
Local and supported type-index rewrites reuse exact expression LEB deltas.
Other rewrites retain complete body encoding.
Reuse is scoped to this call: mutable module data never enters a durable cache.
The result includes names, compiler facts, section framing, and body framing.
Install
Download zipWebAssembly parsing, validation, encoding, and optimization toolkit
webassemblywasmoptimizerwat
Apache-2.0
Updated 3 hours ago
11 downloadsDependencies
- moonbitlang/x0.5.1