idris-1.3.1: Functional Programming Language with Dependent Types

License	BSD3
Maintainer	The Idris Community.
Safe Haskell	Safe
Language	Haskell2010

Util.DynamicLinker

Description

Documentation

data ForeignFun Source #

Constructors

Fun
Fields fun_name :: String fun_handle :: ()

data DynamicLib Source #

Constructors

Lib
Fields lib_name :: String lib_handle :: ()

Instances

Eq DynamicLib Source #
Instance details Defined in Util.DynamicLinker Methods (==) :: DynamicLib -> DynamicLib -> Bool # (/=) :: DynamicLib -> DynamicLib -> Bool #
NFData DynamicLib #
Instance details Defined in Idris.DeepSeq Methods rnf :: DynamicLib -> () #

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

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