casadi-bindings-core-3.0.0.0: Casadi/Core/Classes/Callback.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.Callback
       (
         Callback,
         CallbackClass(..),
         callback__0,
         callback__1,
         callback_construct__0,
         callback_construct__1,
         callback_eval,
         callback_finalize,
         callback_get_forward,
         callback_get_jacobian,
         callback_get_n_forward,
         callback_get_n_in,
         callback_get_n_out,
         callback_get_n_reverse,
         callback_get_name_in,
         callback_get_name_out,
         callback_get_reverse,
         callback_get_sparsity_in,
         callback_get_sparsity_out,
         callback_has_jacobian,
         callback_init,
       ) 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__Callback__CONSTRUCTOR__0" c_casadi__Callback__CONSTRUCTOR__0
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO (Ptr Callback')

casadi__Callback__CONSTRUCTOR__0
  :: Callback -> IO Callback
casadi__Callback__CONSTRUCTOR__0 x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__CONSTRUCTOR__0 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
callback__0 :: Callback -> IO Callback
callback__0 = casadi__Callback__CONSTRUCTOR__0


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__CONSTRUCTOR__1" c_casadi__Callback__CONSTRUCTOR__1
  :: Ptr (Ptr StdString) -> IO (Ptr Callback')

casadi__Callback__CONSTRUCTOR__1
  :: IO Callback
casadi__Callback__CONSTRUCTOR__1  = do


  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__CONSTRUCTOR__1 errStrPtrP 
  errStrPtr <- peek errStrPtrP
  free errStrPtrP

  ret <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)



  return ret



-- classy wrapper
callback__1 :: IO Callback
callback__1 = casadi__Callback__CONSTRUCTOR__1


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__construct__0" c_casadi__Callback__construct__0
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr StdString -> IO ()

casadi__Callback__construct__0
  :: Callback -> String -> IO ()
casadi__Callback__construct__0 x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__construct__0 errStrPtrP x0' x1'
  errStrPtr <- peek errStrPtrP
  free errStrPtrP

  () <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)

  marshalFree x0 x0'
  marshalFree x1 x1'

  return ()



-- classy wrapper
callback_construct__0 :: CallbackClass a => a -> String -> IO ()
callback_construct__0 x = casadi__Callback__construct__0 (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__construct__1" c_casadi__Callback__construct__1
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr StdString -> Ptr (StdMap StdString (Ptr GenericType')) -> IO ()

casadi__Callback__construct__1
  :: Callback -> String -> M.Map String GenericType -> IO ()
casadi__Callback__construct__1 x0 x1 x2 = do
  x0' <- marshal x0
  x1' <- marshal x1
  x2' <- marshal x2

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__construct__1 errStrPtrP x0' x1' x2'
  errStrPtr <- peek errStrPtrP
  free errStrPtrP

  () <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)

  marshalFree x0 x0'
  marshalFree x1 x1'
  marshalFree x2 x2'

  return ()



-- classy wrapper
callback_construct__1 :: CallbackClass a => a -> String -> M.Map String GenericType -> IO ()
callback_construct__1 x = casadi__Callback__construct__1 (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__eval" c_casadi__Callback__eval
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr (StdVec (Ptr DM')) -> IO (Ptr (StdVec (Ptr DM')))

casadi__Callback__eval
  :: Callback -> Vector DM -> IO (Vector DM)
casadi__Callback__eval x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__eval 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
callback_eval :: CallbackClass a => a -> Vector DM -> IO (Vector DM)
callback_eval x = casadi__Callback__eval (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__finalize" c_casadi__Callback__finalize
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO ()

casadi__Callback__finalize
  :: Callback -> IO ()
casadi__Callback__finalize x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__finalize errStrPtrP x0'
  errStrPtr <- peek errStrPtrP
  free errStrPtrP

  () <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)

  marshalFree x0 x0'

  return ()



-- classy wrapper
callback_finalize :: CallbackClass a => a -> IO ()
callback_finalize x = casadi__Callback__finalize (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_forward" c_casadi__Callback__get_forward
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr StdString -> CInt -> Ptr (StdMap StdString (Ptr GenericType')) -> IO (Ptr Function')

casadi__Callback__get_forward
  :: Callback -> String -> Int -> M.Map String GenericType -> IO Function
casadi__Callback__get_forward x0 x1 x2 x3 = do
  x0' <- marshal x0
  x1' <- marshal x1
  x2' <- marshal x2
  x3' <- marshal x3

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_forward errStrPtrP x0' x1' x2' x3'
  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'
  marshalFree x3 x3'

  return ret



-- classy wrapper
callback_get_forward :: CallbackClass a => a -> String -> Int -> M.Map String GenericType -> IO Function
callback_get_forward x = casadi__Callback__get_forward (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_jacobian" c_casadi__Callback__get_jacobian
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr StdString -> Ptr (StdMap StdString (Ptr GenericType')) -> IO (Ptr Function')

casadi__Callback__get_jacobian
  :: Callback -> String -> M.Map String GenericType -> IO Function
casadi__Callback__get_jacobian x0 x1 x2 = do
  x0' <- marshal x0
  x1' <- marshal x1
  x2' <- marshal x2

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_jacobian 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
callback_get_jacobian :: CallbackClass a => a -> String -> M.Map String GenericType -> IO Function
callback_get_jacobian x = casadi__Callback__get_jacobian (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_n_forward" c_casadi__Callback__get_n_forward
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO CInt

casadi__Callback__get_n_forward
  :: Callback -> IO Int
casadi__Callback__get_n_forward x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_n_forward 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
callback_get_n_forward :: CallbackClass a => a -> IO Int
callback_get_n_forward x = casadi__Callback__get_n_forward (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_n_in" c_casadi__Callback__get_n_in
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO CInt

casadi__Callback__get_n_in
  :: Callback -> IO Int
casadi__Callback__get_n_in x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_n_in 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
callback_get_n_in :: CallbackClass a => a -> IO Int
callback_get_n_in x = casadi__Callback__get_n_in (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_n_out" c_casadi__Callback__get_n_out
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO CInt

casadi__Callback__get_n_out
  :: Callback -> IO Int
casadi__Callback__get_n_out x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_n_out 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
callback_get_n_out :: CallbackClass a => a -> IO Int
callback_get_n_out x = casadi__Callback__get_n_out (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_n_reverse" c_casadi__Callback__get_n_reverse
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO CInt

casadi__Callback__get_n_reverse
  :: Callback -> IO Int
casadi__Callback__get_n_reverse x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_n_reverse 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
callback_get_n_reverse :: CallbackClass a => a -> IO Int
callback_get_n_reverse x = casadi__Callback__get_n_reverse (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_name_in" c_casadi__Callback__get_name_in
  :: Ptr (Ptr StdString) -> Ptr Callback' -> CInt -> IO (Ptr StdString)

casadi__Callback__get_name_in
  :: Callback -> Int -> IO String
casadi__Callback__get_name_in x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_name_in 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
callback_get_name_in :: CallbackClass a => a -> Int -> IO String
callback_get_name_in x = casadi__Callback__get_name_in (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_name_out" c_casadi__Callback__get_name_out
  :: Ptr (Ptr StdString) -> Ptr Callback' -> CInt -> IO (Ptr StdString)

casadi__Callback__get_name_out
  :: Callback -> Int -> IO String
casadi__Callback__get_name_out x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_name_out 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
callback_get_name_out :: CallbackClass a => a -> Int -> IO String
callback_get_name_out x = casadi__Callback__get_name_out (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_reverse" c_casadi__Callback__get_reverse
  :: Ptr (Ptr StdString) -> Ptr Callback' -> Ptr StdString -> CInt -> Ptr (StdMap StdString (Ptr GenericType')) -> IO (Ptr Function')

casadi__Callback__get_reverse
  :: Callback -> String -> Int -> M.Map String GenericType -> IO Function
casadi__Callback__get_reverse x0 x1 x2 x3 = do
  x0' <- marshal x0
  x1' <- marshal x1
  x2' <- marshal x2
  x3' <- marshal x3

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_reverse errStrPtrP x0' x1' x2' x3'
  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'
  marshalFree x3 x3'

  return ret



-- classy wrapper
callback_get_reverse :: CallbackClass a => a -> String -> Int -> M.Map String GenericType -> IO Function
callback_get_reverse x = casadi__Callback__get_reverse (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_sparsity_in" c_casadi__Callback__get_sparsity_in
  :: Ptr (Ptr StdString) -> Ptr Callback' -> CInt -> IO (Ptr Sparsity')

casadi__Callback__get_sparsity_in
  :: Callback -> Int -> IO Sparsity
casadi__Callback__get_sparsity_in x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_sparsity_in 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
callback_get_sparsity_in :: CallbackClass a => a -> Int -> IO Sparsity
callback_get_sparsity_in x = casadi__Callback__get_sparsity_in (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__get_sparsity_out" c_casadi__Callback__get_sparsity_out
  :: Ptr (Ptr StdString) -> Ptr Callback' -> CInt -> IO (Ptr Sparsity')

casadi__Callback__get_sparsity_out
  :: Callback -> Int -> IO Sparsity
casadi__Callback__get_sparsity_out x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__get_sparsity_out 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
callback_get_sparsity_out :: CallbackClass a => a -> Int -> IO Sparsity
callback_get_sparsity_out x = casadi__Callback__get_sparsity_out (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__has_jacobian" c_casadi__Callback__has_jacobian
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO CInt

casadi__Callback__has_jacobian
  :: Callback -> IO Bool
casadi__Callback__has_jacobian x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__has_jacobian 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
callback_has_jacobian :: CallbackClass a => a -> IO Bool
callback_has_jacobian x = casadi__Callback__has_jacobian (castCallback x)


-- direct wrapper
foreign import ccall unsafe "casadi__Callback__init" c_casadi__Callback__init
  :: Ptr (Ptr StdString) -> Ptr Callback' -> IO ()

casadi__Callback__init
  :: Callback -> IO ()
casadi__Callback__init x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Callback__init errStrPtrP x0'
  errStrPtr <- peek errStrPtrP
  free errStrPtrP

  () <- if errStrPtr == nullPtr then wrapReturn ret0 else wrapReturn errStrPtr >>= (error . formatException)

  marshalFree x0 x0'

  return ()



-- classy wrapper
callback_init :: CallbackClass a => a -> IO ()
callback_init x = casadi__Callback__init (castCallback x)