casadi-bindings-core-3.4.5.0: Casadi/Core/Classes/Importer.hs
{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# Language ForeignFunctionInterface #-}
{-# Language FlexibleInstances #-}
{-# Language MultiParamTypeClasses #-}
module Casadi.Core.Classes.Importer
(
Importer,
ImporterClass(..),
importer__0,
importer__1,
importer__2,
importer_body,
importer_doc,
importer_get_meta__0,
importer_get_meta__1,
importer_has_function,
importer_has_meta__0,
importer_has_meta__1,
importer_has_plugin,
importer_inlined,
importer_load_plugin,
importer_plugin_name,
importer_type_name,
) where
import Prelude hiding ( Functor )
import Data.Vector ( Vector )
import qualified Data.Map as M
import Foreign.C.Types
import Foreign.Marshal ( new, free )
import Foreign.Storable ( peek )
import Foreign.Ptr ( Ptr, nullPtr )
import Foreign.ForeignPtr ( newForeignPtr )
import System.IO.Unsafe ( unsafePerformIO ) -- for show instances
import Casadi.Internal.FormatException ( formatException )
import Casadi.Internal.MarshalTypes ( StdVec, StdString, StdMap, StdPair ) -- StdPair StdOstream'
import Casadi.Internal.Marshal ( Marshal(..), marshal, marshalFree )
import Casadi.Internal.WrapReturn ( WrapReturn(..) )
import Casadi.Core.Data
import Casadi.Core.Enums
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__CONSTRUCTOR__0" c_casadi__Importer__CONSTRUCTOR__0
:: Ptr (Ptr StdString) -> Ptr StdString -> Ptr StdString -> IO (Ptr Importer')
casadi__Importer__CONSTRUCTOR__0
:: String -> String -> IO Importer
casadi__Importer__CONSTRUCTOR__0 x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__CONSTRUCTOR__0 errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer__0 :: String -> String -> IO Importer
importer__0 = casadi__Importer__CONSTRUCTOR__0
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__CONSTRUCTOR__1" c_casadi__Importer__CONSTRUCTOR__1
:: Ptr (Ptr StdString) -> Ptr StdString -> Ptr StdString -> Ptr (StdMap StdString (Ptr GenericType')) -> IO (Ptr Importer')
casadi__Importer__CONSTRUCTOR__1
:: String -> String -> M.Map String GenericType -> IO Importer
casadi__Importer__CONSTRUCTOR__1 x0 x1 x2 = do
x0' <- marshal x0
x1' <- marshal x1
x2' <- marshal x2
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__CONSTRUCTOR__1 errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
marshalFree x2 x2'
return ret
-- classy wrapper
importer__1 :: String -> String -> M.Map String GenericType -> IO Importer
importer__1 = casadi__Importer__CONSTRUCTOR__1
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__CONSTRUCTOR__2" c_casadi__Importer__CONSTRUCTOR__2
:: Ptr (Ptr StdString) -> IO (Ptr Importer')
casadi__Importer__CONSTRUCTOR__2
:: IO Importer
casadi__Importer__CONSTRUCTOR__2 = do
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__CONSTRUCTOR__2 errStrPtrP
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
return ret
-- classy wrapper
importer__2 :: IO Importer
importer__2 = casadi__Importer__CONSTRUCTOR__2
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__body" c_casadi__Importer__body
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> IO (Ptr StdString)
casadi__Importer__body
:: Importer -> String -> IO String
casadi__Importer__body x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__body errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer_body :: ImporterClass a => a -> String -> IO String
importer_body x = casadi__Importer__body (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__doc" c_casadi__Importer__doc
:: Ptr (Ptr StdString) -> Ptr StdString -> IO (Ptr StdString)
casadi__Importer__doc
:: String -> IO String
casadi__Importer__doc x0 = do
x0' <- marshal x0
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__doc errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
return ret
-- classy wrapper
importer_doc :: String -> IO String
importer_doc = casadi__Importer__doc
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__get_meta__0" c_casadi__Importer__get_meta__0
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> IO (Ptr StdString)
casadi__Importer__get_meta__0
:: Importer -> String -> IO String
casadi__Importer__get_meta__0 x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__get_meta__0 errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer_get_meta__0 :: ImporterClass a => a -> String -> IO String
importer_get_meta__0 x = casadi__Importer__get_meta__0 (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__get_meta__1" c_casadi__Importer__get_meta__1
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> CLLong -> IO (Ptr StdString)
casadi__Importer__get_meta__1
:: Importer -> String -> Int -> IO String
casadi__Importer__get_meta__1 x0 x1 x2 = do
x0' <- marshal x0
x1' <- marshal x1
x2' <- marshal x2
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__get_meta__1 errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
marshalFree x2 x2'
return ret
-- classy wrapper
importer_get_meta__1 :: ImporterClass a => a -> String -> Int -> IO String
importer_get_meta__1 x = casadi__Importer__get_meta__1 (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__has_function" c_casadi__Importer__has_function
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> IO CInt
casadi__Importer__has_function
:: Importer -> String -> IO Bool
casadi__Importer__has_function x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__has_function errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer_has_function :: ImporterClass a => a -> String -> IO Bool
importer_has_function x = casadi__Importer__has_function (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__has_meta__0" c_casadi__Importer__has_meta__0
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> IO CInt
casadi__Importer__has_meta__0
:: Importer -> String -> IO Bool
casadi__Importer__has_meta__0 x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__has_meta__0 errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer_has_meta__0 :: ImporterClass a => a -> String -> IO Bool
importer_has_meta__0 x = casadi__Importer__has_meta__0 (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__has_meta__1" c_casadi__Importer__has_meta__1
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> CLLong -> IO CInt
casadi__Importer__has_meta__1
:: Importer -> String -> Int -> IO Bool
casadi__Importer__has_meta__1 x0 x1 x2 = do
x0' <- marshal x0
x1' <- marshal x1
x2' <- marshal x2
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__has_meta__1 errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
marshalFree x2 x2'
return ret
-- classy wrapper
importer_has_meta__1 :: ImporterClass a => a -> String -> Int -> IO Bool
importer_has_meta__1 x = casadi__Importer__has_meta__1 (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__has_plugin" c_casadi__Importer__has_plugin
:: Ptr (Ptr StdString) -> Ptr StdString -> IO CInt
casadi__Importer__has_plugin
:: String -> IO Bool
casadi__Importer__has_plugin x0 = do
x0' <- marshal x0
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__has_plugin errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
return ret
-- classy wrapper
importer_has_plugin :: String -> IO Bool
importer_has_plugin = casadi__Importer__has_plugin
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__inlined" c_casadi__Importer__inlined
:: Ptr (Ptr StdString) -> Ptr Importer' -> Ptr StdString -> IO CInt
casadi__Importer__inlined
:: Importer -> String -> IO Bool
casadi__Importer__inlined x0 x1 = do
x0' <- marshal x0
x1' <- marshal x1
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__inlined errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
marshalFree x1 x1'
return ret
-- classy wrapper
importer_inlined :: ImporterClass a => a -> String -> IO Bool
importer_inlined x = casadi__Importer__inlined (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__load_plugin" c_casadi__Importer__load_plugin
:: Ptr (Ptr StdString) -> Ptr StdString -> IO ()
casadi__Importer__load_plugin
:: String -> IO ()
casadi__Importer__load_plugin x0 = do
x0' <- marshal x0
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__load_plugin errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
() <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
return ()
-- classy wrapper
importer_load_plugin :: String -> IO ()
importer_load_plugin = casadi__Importer__load_plugin
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__plugin_name" c_casadi__Importer__plugin_name
:: Ptr (Ptr StdString) -> Ptr Importer' -> IO (Ptr StdString)
casadi__Importer__plugin_name
:: Importer -> IO String
casadi__Importer__plugin_name x0 = do
x0' <- marshal x0
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__plugin_name errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
marshalFree x0 x0'
return ret
-- classy wrapper
importer_plugin_name :: ImporterClass a => a -> IO String
importer_plugin_name x = casadi__Importer__plugin_name (castImporter x)
-- direct wrapper
foreign import ccall unsafe "casadi__Importer__type_name" c_casadi__Importer__type_name
:: Ptr (Ptr StdString) -> IO (Ptr StdString)
casadi__Importer__type_name
:: IO String
casadi__Importer__type_name = do
errStrPtrP <- new nullPtr
ret0 <- c_casadi__Importer__type_name errStrPtrP
errStrPtr <- peek errStrPtrP
free errStrPtrP
ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)
return ret
-- classy wrapper
importer_type_name :: IO String
importer_type_name = casadi__Importer__type_name