HsWebots-0.1.0.0: src/Webots/Gps.hs
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
module Webots.Gps where
import Control.Exception.Safe ( try
, SomeException(..)
, throwIO
)
import Foreign.Ptr
import Foreign.Storable
import Foreign.C.String
import qualified Language.C.Inline as C
import qualified Language.C.Inline.Context as C
import qualified Language.C.Types as C
import Language.C.Inline.Cpp (cppTypePairs)
import Foreign.C.Types
import Control.Monad (forM_,forM)
import qualified Codec.Picture as I
import qualified Data.Vector.Storable as V
import qualified Foreign.ForeignPtr as F
import qualified Foreign.Ptr as F
import qualified Data.ByteString.Internal as BSI
import Webots.Types
C.context $ C.baseCtx `mappend` cppTypePairs typeMaps
C.include "<math.h>"
C.include "<stdio.h>"
C.include "<stdlib.h>"
C.include "<webots/gps.h>"
wb_gps_enable :: WbDeviceTag -> CInt -> IO ()
wb_gps_enable tag sampling_period =
[C.exp| void { wb_gps_enable($(WbDeviceTag tag), $(int sampling_period)) } |]
wb_gps_disable :: WbDeviceTag -> IO ()
wb_gps_disable tag =
[C.exp| void { wb_gps_disable($(WbDeviceTag tag)) } |]
wb_gps_get_sampling_period :: WbDeviceTag -> IO CInt
wb_gps_get_sampling_period tag =
[C.exp| int { wb_gps_get_sampling_period($(WbDeviceTag tag)) } |]
wb_gps_get_speed :: WbDeviceTag -> IO CDouble
wb_gps_get_speed tag =
[C.exp| double { wb_gps_get_speed($(WbDeviceTag tag)) } |]
wb_gps_get_values :: WbDeviceTag -> IO (Ptr CDouble)
wb_gps_get_values tag =
[C.exp| const double* { wb_gps_get_values($(WbDeviceTag tag)) } |]
wb_gps_convert_to_degrees_minutes_seconds :: CDouble -> IO String
wb_gps_convert_to_degrees_minutes_seconds decimal_degrees =
peekCString =<< [C.exp| const char* { wb_gps_convert_to_degrees_minutes_seconds($(double decimal_degrees)) } |]
wb_gps_get_coordinate_system :: WbDeviceTag -> IO WbGpsCoordinateSystem
wb_gps_get_coordinate_system tag =
[C.exp| WbGpsCoordinateSystem { wb_gps_get_coordinate_system($(WbDeviceTag tag)) } |]