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