idris-0.10.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Util.DynamicLinker

Description

Platform-specific dynamic linking support. Add new platforms to this file through conditional compilation.

Documentation

data ForeignFun Source

Constructors

forall a . Fun 

Fields

fun_name :: String
 
fun_handle :: ()
 

data DynamicLib Source

Constructors

Lib 

Fields

lib_name :: String
 
lib_handle :: ()
 

Instances

tryLoadLib :: [FilePath] -> String -> IO (Maybe DynamicLib) Source

tryLoadFn :: String -> DynamicLib -> IO (Maybe ForeignFun) Source