idris

Safe HaskellNone

Util.DynamicLinker

Description

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

Documentation

data DynamicLib Source

Constructors

Lib 

Fields

lib_name :: String
 
lib_handle :: ()
 

Instances

tryLoadLib :: String -> IO (Maybe DynamicLib)Source