🥮 mooncakes.io

    moon_wgsl_naga

    Naga compatibility utilities for MoonBit WGSL.

    wgsl
    naga
    shader
    Download zip
    Author
    Version
    0.17.2
    License
    Apache-2.0
    Repository
    Last updated
    3 hours ago
    Downloads
    165

    Dependencies

    #Milky2018/moon_wgsl_naga

    Naga-compatible WGSL utilities for MoonBit.

    This module is the public boundary for compatibility writer behavior used by parity and composer pipelines. It depends on Milky2018/wgsl and exposes Naga-shaped roundtrip and trace entry points without requiring users to import the facade module.

    Use this module when you need writer/order/name compatibility checks or diagnostic traces. Use Milky2018/wgsl for the language frontend itself and Milky2018/moon_wgsl_naga_oil for naga-oil preprocessing and composition.

    The writer reuses WGSL Core's neutral reachability, expression-type, and type spelling services through narrow interfaces. This module still owns the compatibility view, arena ordering, final names, temporary scheduling, byte policy, and trace behavior; no writer source is shared through filesystem links or copied neutral implementations.

    WgslNagaPipelineError

    source
    pub suberror WgslNagaPipelineError {
      Lower(String)
      UnknownIdentifier(String)
      Emit(String)
      Validate(String)
    }

    WgslNagaPipelineError::message

    source
    fn WgslNagaPipelineError::message(self : WgslNagaPipelineError) -> String

    WgslNagaComposeContext

    source
    pub struct WgslNagaComposeContext {
      // private fields
    }

    WgslNagaComposeContext::empty

    source

    WgslNagaComposeContext::from_import_graph

    source
    fn WgslNagaComposeContext::from_import_graph(generated_import_provenance : Array[WgslNagaGeneratedImportProvenance], import_arena_events : Array[WgslNagaImportArenaEvent], root_visible_rel_path? : String) -> WgslNagaComposeContext

    WgslNagaDeclarationKind

    source
    pub(all) enum WgslNagaDeclarationKind {
      Type
      Constant
      Override
      GlobalVariable
      Function
    } derive(Eq, 
    Debug    )

    WgslNagaDeclarationKind::equal

    source

    WgslNagaDeclarationKind::not_equal

    source

    WgslNagaDeclarationKind::to_repr

    source

    WgslNagaGeneratedImportProvenance

    source
    pub(all) struct WgslNagaGeneratedImportProvenance {
      generated_symbol_name : String
      rel_path : String
      source_symbol_name : String
      kind : WgslNagaGeneratedImportProvenanceKind
      inline_value : Bool
      local_spelling : Bool
      root_local_spelling : Bool
      local_spelling_visible_rel_paths : Array[String]
      import_sequence : Int
      source_start : Int
      source_end : Int
      composed_source_start : Int
    } derive(Eq, 
    Debug    )

    WgslNagaGeneratedImportProvenance::WgslNagaGeneratedImportProvenance

    source
    fn WgslNagaGeneratedImportProvenance::WgslNagaGeneratedImportProvenance(generated_symbol_name : String, rel_path : String, source_symbol_name : String, kind : WgslNagaGeneratedImportProvenanceKind, inline_value : Bool, local_spelling? : Bool, root_local_spelling? : Bool, local_spelling_visible_rel_paths? : Array[String], import_sequence? : Int, source_start? : Int, source_end? : Int, composed_source_start? : Int) -> WgslNagaGeneratedImportProvenance

    WgslNagaGeneratedImportProvenance::equal

    source

    WgslNagaGeneratedImportProvenance::generated_symbol_name

    source
    fn WgslNagaGeneratedImportProvenance::generated_symbol_name(self : WgslNagaGeneratedImportProvenance) -> String

    WgslNagaGeneratedImportProvenance::not_equal

    source

    WgslNagaGeneratedImportProvenance::to_repr

    source

    WgslNagaGeneratedImportProvenanceKind

    source
    pub(all) enum WgslNagaGeneratedImportProvenanceKind {
      ImportedSourceSymbol
      VirtualOverrideSymbol
    } derive(Eq, 
    Debug    )

    WgslNagaImportArenaEvent

    source
    pub struct WgslNagaImportArenaEvent {
      // private fields
    } derive(Eq, 
    Debug    )

    WgslNagaImportArenaEvent::WgslNagaImportArenaEvent

    source
    fn WgslNagaImportArenaEvent::WgslNagaImportArenaEvent(sequence : Int, importer_rel_path : String, target_rel_path : String, module_path : String, alias_name : String, item_names : Array[String], kind : WgslNagaImportEdgeKind, generated_symbols : Array[WgslNagaImportArenaSymbol]) -> WgslNagaImportArenaEvent

    WgslNagaImportArenaEvent::alias_name

    source
    fn WgslNagaImportArenaEvent::alias_name(self : WgslNagaImportArenaEvent) -> String

    WgslNagaImportArenaEvent::equal

    source

    WgslNagaImportArenaEvent::generated_symbols

    source

    WgslNagaImportArenaEvent::importer_rel_path

    source
    fn WgslNagaImportArenaEvent::importer_rel_path(self : WgslNagaImportArenaEvent) -> String

    WgslNagaImportArenaEvent::item_names

    source
    fn WgslNagaImportArenaEvent::item_names(self : WgslNagaImportArenaEvent) -> Array[String]

    WgslNagaImportArenaEvent::kind

    source

    WgslNagaImportArenaEvent::module_path

    source
    fn WgslNagaImportArenaEvent::module_path(self : WgslNagaImportArenaEvent) -> String

    WgslNagaImportArenaEvent::not_equal

    source

    WgslNagaImportArenaEvent::sequence

    source

    WgslNagaImportArenaEvent::target_rel_path

    source
    fn WgslNagaImportArenaEvent::target_rel_path(self : WgslNagaImportArenaEvent) -> String

    WgslNagaImportArenaEvent::to_repr

    source

    WgslNagaImportArenaSymbol

    source
    pub struct WgslNagaImportArenaSymbol {
      // private fields
    } derive(Eq, 
    Debug    )

    WgslNagaImportArenaSymbol::WgslNagaImportArenaSymbol

    source
    fn WgslNagaImportArenaSymbol::WgslNagaImportArenaSymbol(kind : WgslNagaDeclarationKind, source_symbol_name : String, generated_symbol_name : String, source_decl_rank? : Int, source_order_rank? : Int) -> WgslNagaImportArenaSymbol

    WgslNagaImportArenaSymbol::equal

    source

    WgslNagaImportArenaSymbol::generated_symbol_name

    source
    fn WgslNagaImportArenaSymbol::generated_symbol_name(self : WgslNagaImportArenaSymbol) -> String

    WgslNagaImportArenaSymbol::kind

    source

    WgslNagaImportArenaSymbol::not_equal

    source

    WgslNagaImportArenaSymbol::source_decl_rank

    source
    fn WgslNagaImportArenaSymbol::source_decl_rank(self : WgslNagaImportArenaSymbol) -> Int

    WgslNagaImportArenaSymbol::source_order_rank

    source
    fn WgslNagaImportArenaSymbol::source_order_rank(self : WgslNagaImportArenaSymbol) -> Int

    WgslNagaImportArenaSymbol::source_symbol_name

    source
    fn WgslNagaImportArenaSymbol::source_symbol_name(self : WgslNagaImportArenaSymbol) -> String

    WgslNagaImportArenaSymbol::to_repr

    source

    WgslNagaImportEdgeKind

    source
    pub(all) enum WgslNagaImportEdgeKind {
      FullModule
      AliasModule
      ItemBinding
    } derive(Eq, 
    Debug    )

    WgslNagaImportEdgeKind::equal

    source

    WgslNagaImportEdgeKind::not_equal

    source

    WgslNagaImportEdgeKind::to_repr

    source

    WgslNagaPipelineOptions

    source
    pub(all) struct WgslNagaPipelineOptions {
      compat_writer : Bool
      entry_roots : Bool
    }

    WgslNagaPipelineOptions::compat

    source

    WgslNagaPipelineOptions::default

    source

    WgslNagaPipelineOptions::runtime

    source

    roundtrip_wgsl_compose_source

    source
    fn roundtrip_wgsl_compose_source(source : String, context : WgslNagaComposeContext, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    roundtrip_wgsl_source

    source
    fn roundtrip_wgsl_source(source : String, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    trace_writer_compose_function_plan

    source
    fn trace_writer_compose_function_plan(source : String, function_name_prefix : String, context : WgslNagaComposeContext, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    trace_writer_compose_module_plan

    source
    fn trace_writer_compose_module_plan(source : String, context : WgslNagaComposeContext, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    trace_writer_function_plan

    source
    fn trace_writer_function_plan(source : String, function_name_prefix : String, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    trace_writer_module_plan

    source
    fn trace_writer_module_plan(source : String, options? : WgslNagaPipelineOptions) -> String raise WgslNagaPipelineError

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io