Safe Haskell	None
Language	GHC2021

Futhark.CodeGen.Backends.GenericWASM

Synopsis

data CParts = CParts {
- cHeader :: Text
- cUtils :: Text
- cCLI :: Text
- cServer :: Text
- cLib :: Text
- cManifest :: Manifest
}
asLibrary :: CParts -> (Text, Text, Text)
asExecutable :: CParts -> Text
asServer :: CParts -> Text
type EntryPointType = String
data JSEntryPoint = JSEntryPoint {
- name :: String
- parameters :: [EntryPointType]
- ret :: EntryPointType
}
data JSRecordField = JSRecordField {
- jsrfName :: String
- jsrfType :: EntryPointType
- jsrfProjectFn :: String
}
data JSOpaqueType
- = JSOpaqueRecord [JSRecordField]
- | JSOpaqueOther
emccExportNames :: Manifest -> [String]
javascriptWrapper :: [JSEntryPoint] -> [(String, JSOpaqueType)] -> Text
extToString :: ExternalValue -> String
opaqueToJS :: OpaqueTypes -> [(String, JSOpaqueType)]
runServer :: Manifest -> Text
libraryExports :: Text

Documentation

data CParts Source #

The result of compilation to C is multiple parts, which can be put together in various ways. The obvious way is to concatenate all of them, which yields a CLI program. Another is to compile the library part by itself, and use the header file to call into it.

Constructors

CParts
Fields cHeader :: Text cUtils :: Text Utility definitions that must be visible to both CLI and library parts. cCLI :: Text cServer :: Text cLib :: Text cManifest :: Manifest The manifest describing the C API.

asLibrary :: CParts -> (Text, Text, Text) Source #

Produce header, implementation, and manifest files.

asExecutable :: CParts -> Text Source #

As executable with command-line interface.

asServer :: CParts -> Text Source #

As server executable.

type EntryPointType = String Source #

data JSEntryPoint Source #

Constructors

JSEntryPoint
Fields name :: String parameters :: [EntryPointType] ret :: EntryPointType

data JSRecordField Source #

A field in a JavaScript record opaque type.

Constructors

JSRecordField
Fields jsrfName :: String Original field name (used in the server protocol). jsrfType :: EntryPointType JavaScript type string (e.g. `"i32"`, `"[]f64"`, `"opaque_foo"`). jsrfProjectFn :: String JavaScript method name on `FutharkContext` (e.g. `"project_opaque_foo_x"`).

data JSOpaqueType Source #

How an opaque type is represented for the JavaScript server.

Constructors

JSOpaqueRecord [JSRecordField]	A record type with named, projectable fields.
JSOpaqueOther	Any other opaque type (no project support).

emccExportNames :: Manifest -> [String] Source #

The names of the C functions that must be exported from the WebAssembly module. This is every function named in the manifest, as the server calls these directly, as well as the context management functions.

javascriptWrapper :: [JSEntryPoint] -> [(String, JSOpaqueType)] -> Text Source #

extToString :: ExternalValue -> String Source #

opaqueToJS :: OpaqueTypes -> [(String, JSOpaqueType)] Source #

Convert the opaque-type table from an ImpCode program into the JavaScript-oriented representation used by the code generator.

runServer :: Manifest -> Text Source #

Javascript code that can be appended to the generated module to run a Futhark server instance on startup.

libraryExports :: Text Source #

The names exported by the generated module.