{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# Language ForeignFunctionInterface #-}
{-# Language FlexibleInstances #-}
{-# Language MultiParamTypeClasses #-}

module Casadi.Core.Classes.Library
       (
         Library,
         LibraryClass(..),
         library__0,
         library__1,
         library__2,
         library_has,
       ) 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__Library__CONSTRUCTOR__0" c_casadi__Library__CONSTRUCTOR__0
  :: Ptr (Ptr StdString) -> Ptr Compiler' -> IO (Ptr Library')

casadi__Library__CONSTRUCTOR__0
  :: Compiler -> IO Library
casadi__Library__CONSTRUCTOR__0 x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Library__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
library__0 :: Compiler -> IO Library
library__0 = casadi__Library__CONSTRUCTOR__0


-- direct wrapper
foreign import ccall unsafe "casadi__Library__CONSTRUCTOR__1" c_casadi__Library__CONSTRUCTOR__1
  :: Ptr (Ptr StdString) -> Ptr StdString -> IO (Ptr Library')

casadi__Library__CONSTRUCTOR__1
  :: String -> IO Library
casadi__Library__CONSTRUCTOR__1 x0 = do
  x0' <- marshal x0

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Library__CONSTRUCTOR__1 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
library__1 :: String -> IO Library
library__1 = casadi__Library__CONSTRUCTOR__1


-- direct wrapper
foreign import ccall unsafe "casadi__Library__CONSTRUCTOR__2" c_casadi__Library__CONSTRUCTOR__2
  :: Ptr (Ptr StdString) -> IO (Ptr Library')

casadi__Library__CONSTRUCTOR__2
  :: IO Library
casadi__Library__CONSTRUCTOR__2  = do


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

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



  return ret



-- classy wrapper
library__2 :: IO Library
library__2 = casadi__Library__CONSTRUCTOR__2


-- direct wrapper
foreign import ccall unsafe "casadi__Library__has" c_casadi__Library__has
  :: Ptr (Ptr StdString) -> Ptr Library' -> Ptr StdString -> IO CInt

casadi__Library__has
  :: Library -> String -> IO Bool
casadi__Library__has x0 x1 = do
  x0' <- marshal x0
  x1' <- marshal x1

  errStrPtrP <- new nullPtr
  ret0 <- c_casadi__Library__has 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
library_has :: LibraryClass a => a -> String -> IO Bool
library_has x = casadi__Library__has (castLibrary x)