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