Data.RTCM3.SBP.Types

Types for RTCMv3 to SBP Conversions.

Documentation

type GpsTimeNanoMap = HashMap Word16 GpsTimeNano

newtype ConvertT e m a

Constructors

ConvertT

Fields

• unConvertT :: ReaderT e m a

Instances

Monad m => MonadReader e (ConvertT e m)

Methods

ask :: ConvertT e m e

local :: (e -> e) -> ConvertT e m a -> ConvertT e m a

reader :: (e -> a) -> ConvertT e m a

MonadBase b m => MonadBase b (ConvertT r m)

Methods

liftBase :: b α -> ConvertT r m α

MonadTrans (ConvertT e)

Methods

lift :: Monad m => m a -> ConvertT e m a

MonadTransControl (ConvertT r)

Associated Types

type StT (ConvertT r :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (ConvertT r) -> m a) -> ConvertT r m a

restoreT :: Monad m => m (StT (ConvertT r) a) -> ConvertT r m a

Monad m => Monad (ConvertT e m)

Methods

(>>=) :: ConvertT e m a -> (a -> ConvertT e m b) -> ConvertT e m b

(>>) :: ConvertT e m a -> ConvertT e m b -> ConvertT e m b

return :: a -> ConvertT e m a

fail :: String -> ConvertT e m a

Functor m => Functor (ConvertT e m)

Methods

fmap :: (a -> b) -> ConvertT e m a -> ConvertT e m b

(<$) :: a -> ConvertT e m b -> ConvertT e m a

Applicative m => Applicative (ConvertT e m)

Methods

pure :: a -> ConvertT e m a

(<*>) :: ConvertT e m (a -> b) -> ConvertT e m a -> ConvertT e m b

(*>) :: ConvertT e m a -> ConvertT e m b -> ConvertT e m b

(<*) :: ConvertT e m a -> ConvertT e m b -> ConvertT e m a

MonadIO m => MonadIO (ConvertT e m)

Methods

liftIO :: IO a -> ConvertT e m a

MonadThrow m => MonadThrow (ConvertT r m)

Methods

throwM :: Exception e => e -> ConvertT r m a

MonadResource m => MonadResource (ConvertT r m)

Methods

liftResourceT :: ResourceT IO a -> ConvertT r m a

type StT (ConvertT r) a

type StT (ConvertT r) a = StT (ReaderT * r) a

data Store

Constructors

Store

Fields

• _storeGpsTimeMap :: IORef GpsTimeNanoMap
• _storeObservations :: IORef (Vector PackedObsContent)

Instances

Eq Store

Methods

(==) :: Store -> Store -> Bool

(/=) :: Store -> Store -> Bool

HasStore Store

Methods

store :: Lens' Store Store

storeGpsTimeMap :: Lens' Store (IORef GpsTimeNanoMap)

storeObservations :: Lens' Store (IORef (Vector PackedObsContent))

class HasStore c where

Minimal complete definition

store

Methods

store :: Lens' c Store

storeGpsTimeMap :: Lens' c (IORef GpsTimeNanoMap)

storeObservations :: Lens' c (IORef (Vector PackedObsContent))

Instances

HasStore Store

Methods

store :: Lens' Store Store

storeGpsTimeMap :: Lens' Store (IORef GpsTimeNanoMap)

storeObservations :: Lens' Store (IORef (Vector PackedObsContent))

runConvertT :: HasStore e => e -> ConvertT e m a -> m a

type MonadStore e m = (MonadIO m, MonadReader e m, MonadThrow m, HasStore e)

Orphan instances

Ord GpsTimeNano

Methods

compare :: GpsTimeNano -> GpsTimeNano -> Ordering

(<) :: GpsTimeNano -> GpsTimeNano -> Bool

(<=) :: GpsTimeNano -> GpsTimeNano -> Bool

(>) :: GpsTimeNano -> GpsTimeNano -> Bool

(>=) :: GpsTimeNano -> GpsTimeNano -> Bool

max :: GpsTimeNano -> GpsTimeNano -> GpsTimeNano

min :: GpsTimeNano -> GpsTimeNano -> GpsTimeNano