Skip to content

kritzcreek/purescript-wasm

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

73 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

purescript-wasm

A PureScript library containing syntax definitions and encoders for WebAssembly. You can use this to generate Wasm for your own compiler projects. This library does not compile PureScript to Wasm.

Minimal example

As a small example we'll define a module with a main function that takes no arguments and returns an i32. It'll add the numbers 20 and 22 and return 42 as its result. I'll include a bit of FFI to instantiate and run the generated Wasm.

module Main where

import Prelude

import Data.ArrayBuffer.Types (Uint8Array)
import Effect (Effect)
import Wasm.Encode as Encode
import Wasm.Syntax as S

foreign import execWasm :: Uint8Array -> Effect Unit

wasmModule :: S.Module
wasmModule = S.emptyModule
  { types = [ { arguments: [], results: [ S.NumType S.I32 ] } ]
  , funcs = [ { locals: [], type: 0, body: [ S.I32Const 20, S.I32Const 22, S.I32Add ] } ]
  , exports = [ { name: "main", desc: S.ExportFunc 0 } ]
  }

main :: Effect Unit
main = do
  let bytes = Encode.encodeModule wasmModule
  execWasm bytes
export const execWasm = (bytes) => () => {
  WebAssembly.instantiate(bytes, {})
    .then(module => console.log(module.instance.exports.main()))
}

For a real compiler project you'll likely want to define your own builder on top of Wasm.Syntax to keep track of indices for you. An example of this can be seen in example/src/WasmBuilder.purs.

About

Wasm library for PureScript

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published