casadi-bindings-core-2.2.0.0: Casadi/Core/Classes/OptionsFunctionality.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.OptionsFunctionality
(
OptionsFunctionality,
OptionsFunctionalityClass(..),
optionsFunctionality,
optionsFunctionality_copyOptions__0,
optionsFunctionality_copyOptions__1,
optionsFunctionality_getOption,
optionsFunctionality_getOptionAllowed,
optionsFunctionality_getOptionAllowedIndex,
optionsFunctionality_getOptionDefault,
optionsFunctionality_getOptionDescription,
optionsFunctionality_getOptionEnumValue,
optionsFunctionality_getOptionNames,
optionsFunctionality_getOptionType,
optionsFunctionality_getOptionTypeName,
optionsFunctionality_hasOption,
optionsFunctionality_hasSetOption,
optionsFunctionality_printOptions,
optionsFunctionality_setOption,
optionsFunctionality_setOptionByAllowedIndex,
optionsFunctionality_setOptionByEnumValue,
) where
import Prelude hiding ( Functor )
import Data.Vector ( Vector )
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.CToolsInstances ( )
import Casadi.Internal.FormatException ( formatException )
import Casadi.Internal.MarshalTypes ( StdVec, StdString) -- StdPair StdOstream'
import Casadi.Internal.Marshal ( Marshal(..), withMarshal )
import Casadi.Internal.WrapReturn ( WrapReturn(..) )
import Casadi.Core.Data
import Casadi.Core.Enums
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__CONSTRUCTOR" c_casadi__OptionsFunctionality__CONSTRUCTOR
:: Ptr (Ptr StdString) -> IO (Ptr OptionsFunctionality')
casadi__OptionsFunctionality__CONSTRUCTOR
:: IO OptionsFunctionality
casadi__OptionsFunctionality__CONSTRUCTOR =
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__CONSTRUCTOR errStrPtrP
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality :: IO OptionsFunctionality
optionsFunctionality = casadi__OptionsFunctionality__CONSTRUCTOR
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__copyOptions__0" c_casadi__OptionsFunctionality__copyOptions__0
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr OptionsFunctionality' -> IO ()
casadi__OptionsFunctionality__copyOptions__0
:: OptionsFunctionality -> OptionsFunctionality -> IO ()
casadi__OptionsFunctionality__copyOptions__0 x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__copyOptions__0 errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_copyOptions__0 :: OptionsFunctionalityClass a => a -> OptionsFunctionality -> IO ()
optionsFunctionality_copyOptions__0 x = casadi__OptionsFunctionality__copyOptions__0 (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__copyOptions__1" c_casadi__OptionsFunctionality__copyOptions__1
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr OptionsFunctionality' -> CInt -> IO ()
casadi__OptionsFunctionality__copyOptions__1
:: OptionsFunctionality -> OptionsFunctionality -> Bool -> IO ()
casadi__OptionsFunctionality__copyOptions__1 x0 x1 x2 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
withMarshal x2 $ \x2' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__copyOptions__1 errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_copyOptions__1 :: OptionsFunctionalityClass a => a -> OptionsFunctionality -> Bool -> IO ()
optionsFunctionality_copyOptions__1 x = casadi__OptionsFunctionality__copyOptions__1 (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOption" c_casadi__OptionsFunctionality__getOption
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO (Ptr GenericType')
casadi__OptionsFunctionality__getOption
:: OptionsFunctionality -> String -> IO GenericType
casadi__OptionsFunctionality__getOption x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOption errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOption :: OptionsFunctionalityClass a => a -> String -> IO GenericType
optionsFunctionality_getOption x = casadi__OptionsFunctionality__getOption (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionAllowed" c_casadi__OptionsFunctionality__getOptionAllowed
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO (Ptr (StdVec (Ptr GenericType')))
casadi__OptionsFunctionality__getOptionAllowed
:: OptionsFunctionality -> String -> IO (Vector GenericType)
casadi__OptionsFunctionality__getOptionAllowed x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionAllowed errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionAllowed :: OptionsFunctionalityClass a => a -> String -> IO (Vector GenericType)
optionsFunctionality_getOptionAllowed x = casadi__OptionsFunctionality__getOptionAllowed (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionAllowedIndex" c_casadi__OptionsFunctionality__getOptionAllowedIndex
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO CInt
casadi__OptionsFunctionality__getOptionAllowedIndex
:: OptionsFunctionality -> String -> IO Int
casadi__OptionsFunctionality__getOptionAllowedIndex x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionAllowedIndex errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionAllowedIndex :: OptionsFunctionalityClass a => a -> String -> IO Int
optionsFunctionality_getOptionAllowedIndex x = casadi__OptionsFunctionality__getOptionAllowedIndex (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionDefault" c_casadi__OptionsFunctionality__getOptionDefault
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO (Ptr GenericType')
casadi__OptionsFunctionality__getOptionDefault
:: OptionsFunctionality -> String -> IO GenericType
casadi__OptionsFunctionality__getOptionDefault x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionDefault errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionDefault :: OptionsFunctionalityClass a => a -> String -> IO GenericType
optionsFunctionality_getOptionDefault x = casadi__OptionsFunctionality__getOptionDefault (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionDescription" c_casadi__OptionsFunctionality__getOptionDescription
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO (Ptr StdString)
casadi__OptionsFunctionality__getOptionDescription
:: OptionsFunctionality -> String -> IO String
casadi__OptionsFunctionality__getOptionDescription x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionDescription errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionDescription :: OptionsFunctionalityClass a => a -> String -> IO String
optionsFunctionality_getOptionDescription x = casadi__OptionsFunctionality__getOptionDescription (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionEnumValue" c_casadi__OptionsFunctionality__getOptionEnumValue
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO CInt
casadi__OptionsFunctionality__getOptionEnumValue
:: OptionsFunctionality -> String -> IO Int
casadi__OptionsFunctionality__getOptionEnumValue x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionEnumValue errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionEnumValue :: OptionsFunctionalityClass a => a -> String -> IO Int
optionsFunctionality_getOptionEnumValue x = casadi__OptionsFunctionality__getOptionEnumValue (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionNames" c_casadi__OptionsFunctionality__getOptionNames
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> IO (Ptr (StdVec (Ptr StdString)))
casadi__OptionsFunctionality__getOptionNames
:: OptionsFunctionality -> IO (Vector String)
casadi__OptionsFunctionality__getOptionNames x0 =
withMarshal x0 $ \x0' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionNames errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionNames :: OptionsFunctionalityClass a => a -> IO (Vector String)
optionsFunctionality_getOptionNames x = casadi__OptionsFunctionality__getOptionNames (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionType" c_casadi__OptionsFunctionality__getOptionType
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO CInt
casadi__OptionsFunctionality__getOptionType
:: OptionsFunctionality -> String -> IO Opt_type
casadi__OptionsFunctionality__getOptionType x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionType errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionType :: OptionsFunctionalityClass a => a -> String -> IO Opt_type
optionsFunctionality_getOptionType x = casadi__OptionsFunctionality__getOptionType (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__getOptionTypeName" c_casadi__OptionsFunctionality__getOptionTypeName
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO (Ptr StdString)
casadi__OptionsFunctionality__getOptionTypeName
:: OptionsFunctionality -> String -> IO String
casadi__OptionsFunctionality__getOptionTypeName x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__getOptionTypeName errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_getOptionTypeName :: OptionsFunctionalityClass a => a -> String -> IO String
optionsFunctionality_getOptionTypeName x = casadi__OptionsFunctionality__getOptionTypeName (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__hasOption" c_casadi__OptionsFunctionality__hasOption
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO CInt
casadi__OptionsFunctionality__hasOption
:: OptionsFunctionality -> String -> IO Bool
casadi__OptionsFunctionality__hasOption x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__hasOption errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_hasOption :: OptionsFunctionalityClass a => a -> String -> IO Bool
optionsFunctionality_hasOption x = casadi__OptionsFunctionality__hasOption (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__hasSetOption" c_casadi__OptionsFunctionality__hasSetOption
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> IO CInt
casadi__OptionsFunctionality__hasSetOption
:: OptionsFunctionality -> String -> IO Bool
casadi__OptionsFunctionality__hasSetOption x0 x1 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__hasSetOption errStrPtrP x0' x1'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_hasSetOption :: OptionsFunctionalityClass a => a -> String -> IO Bool
optionsFunctionality_hasSetOption x = casadi__OptionsFunctionality__hasSetOption (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__printOptions" c_casadi__OptionsFunctionality__printOptions
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> IO ()
casadi__OptionsFunctionality__printOptions
:: OptionsFunctionality -> IO ()
casadi__OptionsFunctionality__printOptions x0 =
withMarshal x0 $ \x0' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__printOptions errStrPtrP x0'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_printOptions :: OptionsFunctionalityClass a => a -> IO ()
optionsFunctionality_printOptions x = casadi__OptionsFunctionality__printOptions (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__setOption" c_casadi__OptionsFunctionality__setOption
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> Ptr GenericType' -> IO ()
casadi__OptionsFunctionality__setOption
:: OptionsFunctionality -> String -> GenericType -> IO ()
casadi__OptionsFunctionality__setOption x0 x1 x2 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
withMarshal x2 $ \x2' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__setOption errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_setOption :: OptionsFunctionalityClass a => a -> String -> GenericType -> IO ()
optionsFunctionality_setOption x = casadi__OptionsFunctionality__setOption (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__setOptionByAllowedIndex" c_casadi__OptionsFunctionality__setOptionByAllowedIndex
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> CInt -> IO ()
casadi__OptionsFunctionality__setOptionByAllowedIndex
:: OptionsFunctionality -> String -> Int -> IO ()
casadi__OptionsFunctionality__setOptionByAllowedIndex x0 x1 x2 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
withMarshal x2 $ \x2' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__setOptionByAllowedIndex errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_setOptionByAllowedIndex :: OptionsFunctionalityClass a => a -> String -> Int -> IO ()
optionsFunctionality_setOptionByAllowedIndex x = casadi__OptionsFunctionality__setOptionByAllowedIndex (castOptionsFunctionality x)
-- direct wrapper
foreign import ccall unsafe "casadi__OptionsFunctionality__setOptionByEnumValue" c_casadi__OptionsFunctionality__setOptionByEnumValue
:: Ptr (Ptr StdString) -> Ptr OptionsFunctionality' -> Ptr StdString -> CInt -> IO ()
casadi__OptionsFunctionality__setOptionByEnumValue
:: OptionsFunctionality -> String -> Int -> IO ()
casadi__OptionsFunctionality__setOptionByEnumValue x0 x1 x2 =
withMarshal x0 $ \x0' ->
withMarshal x1 $ \x1' ->
withMarshal x2 $ \x2' ->
do
errStrPtrP <- new nullPtr
ret <- c_casadi__OptionsFunctionality__setOptionByEnumValue errStrPtrP x0' x1' x2'
errStrPtr <- peek errStrPtrP
free errStrPtrP
if errStrPtr == nullPtr then wrapReturn ret else wrapReturn errStrPtr >>= (error . formatException)
-- classy wrapper
optionsFunctionality_setOptionByEnumValue :: OptionsFunctionalityClass a => a -> String -> Int -> IO ()
optionsFunctionality_setOptionByEnumValue x = casadi__OptionsFunctionality__setOptionByEnumValue (castOptionsFunctionality x)