Idris2Doc : System.LLVM.Build

System.LLVM.Build

Definitions

binary : Context=>String->CompileString
Visibility: export
compile' : Context=>Bytecode->CompileString
Visibility: export
exec' : Context=>Bytecode->CompileString
Visibility: export
compile : Context=>Bytecode->IO (EitherCompilationErrorString)
Visibility: export
exec : Context=>Bytecode->IO (EitherCompilationErrorString)
Visibility: export