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