idris-0.12.2: Functional Programming Language with Dependent Types

Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

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 #
Methods (==) :: DynamicLib -> DynamicLib -> Bool # (/=) :: DynamicLib -> DynamicLib -> Bool #

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

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