Idris2Doc : Data.LLVM.IR.Builders.Helper

Data.LLVM.IR.Builders.Helper

Definitions

exampleCall : LOperation
  Example function call operation demonstrating simple function calling.

This example creates a function call to an "add" function with two integer
arguments, showcasing how to use the function call builders with typed arguments.

Visibility: export
bytecode : {defaultNothing_ : MaybeString} -> {default [] _ : List (String, LModule)} ->Bytecode
  Create a bytecode specification with main module and additional modules.

Creates a bytecode specification that can contain multiple LLVM modules
with an optional main module designation. This is used for organizing
multi-module LLVM programs.

@ mainMod Optional name of the main module
@ modules List of (name, module) pairs for all modules in the bytecode

Visibility: export
foriegnDec : String-> {default [] _ : ListFunctionArgSpec} -> {defaultLVoid_ : LType} ->LClause
  Create a foreign function declaration clause.

Creates a function declaration clause for external/foreign functions
that are defined outside the current module. This is commonly used
for library functions and system calls.

@ name The name of the foreign function
@ args List of function argument specifications (defaults to empty)
@ resType The return type of the function (defaults to void)

Visibility: export