License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe |
Language | Haskell2010 |
Util.DynamicLinker
Description
Documentation
data ForeignFun Source #
Constructors
Fun | |
Fields
|
data DynamicLib Source #
Constructors
Lib | |
Fields
|
Instances
Eq DynamicLib Source # | |
Defined in Util.DynamicLinker | |
NFData DynamicLib Source # | |
Defined in Idris.DeepSeq Methods rnf :: DynamicLib -> () # |
tryLoadLib :: [FilePath] -> String -> IO (Maybe DynamicLib) Source #
tryLoadFn :: String -> DynamicLib -> IO (Maybe ForeignFun) Source #