Copyright	Copyright (C) 2015 Swift Navigation Inc.
License	LGPL-3
Maintainer	Swift Navigation <dev@swiftnav.com>
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Data.RTCM3.Types

Contents

Orphan instances

Description

Common RTCMv3 type requirements, containers, and serialization utilities.

Documentation

data Msg Source #

Constructors

Msg
Fields _msgRTCM3Len :: !Word16 _msgRTCM3Payload :: !Bytes _msgRTCM3Crc :: !Word24

Instances

Eq Msg Source #
Instance details Defined in Data.RTCM3.Types Methods (==) :: Msg -> Msg -> Bool # (/=) :: Msg -> Msg -> Bool #
Read Msg Source #
Instance details Defined in Data.RTCM3.Types Methods readsPrec :: Int -> ReadS Msg # readList :: ReadS [Msg] # readPrec :: ReadPrec Msg # readListPrec :: ReadPrec [Msg] #
Show Msg Source #
Instance details Defined in Data.RTCM3.Types Methods showsPrec :: Int -> Msg -> ShowS # show :: Msg -> String # showList :: [Msg] -> ShowS #
ToJSON Msg Source #
Instance details Defined in Data.RTCM3.Types Methods toJSON :: Msg -> Value # toEncoding :: Msg -> Encoding # toJSONList :: [Msg] -> Value # toEncodingList :: [Msg] -> Encoding #
FromJSON Msg Source #
Instance details Defined in Data.RTCM3.Types Methods parseJSON :: Value -> Parser Msg # parseJSONList :: Value -> Parser [Msg] #
Binary Msg Source #
Instance details Defined in Data.RTCM3.Types Methods put :: Msg -> Put # get :: Get Msg # putList :: [Msg] -> Put #
HasMsg Msg Source #
Instance details Defined in Data.RTCM3.Types Methods msg :: Lens' Msg Msg Source # msgRTCM3Crc :: Lens' Msg Word24 Source # msgRTCM3Len :: Lens' Msg Word16 Source # msgRTCM3Payload :: Lens' Msg Bytes Source #

newtype Bytes Source #

Constructors

Bytes
Fields unBytes :: ByteString

Instances

Eq Bytes Source #
Instance details Defined in Data.RTCM3.Types Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Read Bytes Source #
Instance details Defined in Data.RTCM3.Types Methods readsPrec :: Int -> ReadS Bytes # readList :: ReadS [Bytes] # readPrec :: ReadPrec Bytes # readListPrec :: ReadPrec [Bytes] #
Show Bytes Source #
Instance details Defined in Data.RTCM3.Types Methods showsPrec :: Int -> Bytes -> ShowS # show :: Bytes -> String # showList :: [Bytes] -> ShowS #
ToJSON Bytes Source #
Instance details Defined in Data.RTCM3.Types Methods toJSON :: Bytes -> Value # toEncoding :: Bytes -> Encoding # toJSONList :: [Bytes] -> Value # toEncodingList :: [Bytes] -> Encoding #
FromJSON Bytes Source #
Instance details Defined in Data.RTCM3.Types Methods parseJSON :: Value -> Parser Bytes # parseJSONList :: Value -> Parser [Bytes] #

msgRTCM3Preamble :: Word8 Source #

class Binary a => ToRTCM3 a where Source #

Methods

toRTCM3 :: a -> Msg Source #

Instances

ToRTCM3 Msg1013 Source #
Instance details Defined in Data.RTCM3.System Methods toRTCM3 :: Msg1013 -> Msg Source #
ToRTCM3 Msg1029 Source #
Instance details Defined in Data.RTCM3.System Methods toRTCM3 :: Msg1029 -> Msg Source #
ToRTCM3 Msg1057 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1057 -> Msg Source #
ToRTCM3 Msg1058 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1058 -> Msg Source #
ToRTCM3 Msg1063 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1063 -> Msg Source #
ToRTCM3 Msg1064 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1064 -> Msg Source #
ToRTCM3 Msg1060 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1060 -> Msg Source #
ToRTCM3 Msg1066 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1066 -> Msg Source #
ToRTCM3 Msg1059 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1059 -> Msg Source #
ToRTCM3 Msg1065 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1065 -> Msg Source #
ToRTCM3 Msg1265 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1265 -> Msg Source #
ToRTCM3 Msg1266 Source #
Instance details Defined in Data.RTCM3.SSR Methods toRTCM3 :: Msg1266 -> Msg Source #
ToRTCM3 Msg1001 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1001 -> Msg Source #
ToRTCM3 Msg1002 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1002 -> Msg Source #
ToRTCM3 Msg1003 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1003 -> Msg Source #
ToRTCM3 Msg1004 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1004 -> Msg Source #
ToRTCM3 Msg1009 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1009 -> Msg Source #
ToRTCM3 Msg1010 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1010 -> Msg Source #
ToRTCM3 Msg1011 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1011 -> Msg Source #
ToRTCM3 Msg1012 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1012 -> Msg Source #
ToRTCM3 Msg1230 Source #
Instance details Defined in Data.RTCM3.Observations Methods toRTCM3 :: Msg1230 -> Msg Source #
ToRTCM3 Msg1074 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1074 -> Msg Source #
ToRTCM3 Msg1075 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1075 -> Msg Source #
ToRTCM3 Msg1076 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1076 -> Msg Source #
ToRTCM3 Msg1077 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1077 -> Msg Source #
ToRTCM3 Msg1084 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1084 -> Msg Source #
ToRTCM3 Msg1085 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1085 -> Msg Source #
ToRTCM3 Msg1086 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1086 -> Msg Source #
ToRTCM3 Msg1087 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1087 -> Msg Source #
ToRTCM3 Msg1094 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1094 -> Msg Source #
ToRTCM3 Msg1095 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1095 -> Msg Source #
ToRTCM3 Msg1096 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1096 -> Msg Source #
ToRTCM3 Msg1097 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1097 -> Msg Source #
ToRTCM3 Msg1104 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1104 -> Msg Source #
ToRTCM3 Msg1105 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1105 -> Msg Source #
ToRTCM3 Msg1106 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1106 -> Msg Source #
ToRTCM3 Msg1107 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1107 -> Msg Source #
ToRTCM3 Msg1114 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1114 -> Msg Source #
ToRTCM3 Msg1115 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1115 -> Msg Source #
ToRTCM3 Msg1116 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1116 -> Msg Source #
ToRTCM3 Msg1117 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1117 -> Msg Source #
ToRTCM3 Msg1124 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1124 -> Msg Source #
ToRTCM3 Msg1125 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1125 -> Msg Source #
ToRTCM3 Msg1126 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1126 -> Msg Source #
ToRTCM3 Msg1127 Source #
Instance details Defined in Data.RTCM3.MSM Methods toRTCM3 :: Msg1127 -> Msg Source #
ToRTCM3 Msg1019 Source #
Instance details Defined in Data.RTCM3.Ephemerides Methods toRTCM3 :: Msg1019 -> Msg Source #
ToRTCM3 Msg1020 Source #
Instance details Defined in Data.RTCM3.Ephemerides Methods toRTCM3 :: Msg1020 -> Msg Source #
ToRTCM3 Msg1045 Source #
Instance details Defined in Data.RTCM3.Ephemerides Methods toRTCM3 :: Msg1045 -> Msg Source #
ToRTCM3 Msg1046 Source #
Instance details Defined in Data.RTCM3.Ephemerides Methods toRTCM3 :: Msg1046 -> Msg Source #
ToRTCM3 Msg1005 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1005 -> Msg Source #
ToRTCM3 Msg1006 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1006 -> Msg Source #
ToRTCM3 Msg1007 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1007 -> Msg Source #
ToRTCM3 Msg1008 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1008 -> Msg Source #
ToRTCM3 Msg1033 Source #
Instance details Defined in Data.RTCM3.Antennas Methods toRTCM3 :: Msg1033 -> Msg Source #

class HasMsg c where Source #

Minimal complete definition

msg

Methods

msg :: Lens' c Msg Source #

msgRTCM3Crc :: Lens' c Word24 Source #

msgRTCM3Len :: Lens' c Word16 Source #

msgRTCM3Payload :: Lens' c Bytes Source #

Instances

HasMsg Msg Source #
Instance details Defined in Data.RTCM3.Types Methods msg :: Lens' Msg Msg Source # msgRTCM3Crc :: Lens' Msg Word24 Source # msgRTCM3Len :: Lens' Msg Word16 Source # msgRTCM3Payload :: Lens' Msg Bytes Source #
HasMsg RTCM3Msg Source #
Instance details Defined in Data.RTCM3 Methods msg :: Lens' RTCM3Msg Msg Source # msgRTCM3Crc :: Lens' RTCM3Msg Word24 Source # msgRTCM3Len :: Lens' RTCM3Msg Word16 Source # msgRTCM3Payload :: Lens' RTCM3Msg Bytes Source #

checkCrc :: Word16 -> ByteString -> Word24 Source #

checkNum :: ByteString -> Word16 Source #

msgRTCM3Num :: HasMsg m => m -> Word16 Source #

Orphan instances

ToJSON Word24 Source #
Instance details Methods toJSON :: Word24 -> Value # toEncoding :: Word24 -> Encoding # toJSONList :: [Word24] -> Value # toEncodingList :: [Word24] -> Encoding #
FromJSON Word24 Source #
Instance details Methods parseJSON :: Value -> Parser Word24 # parseJSONList :: Value -> Parser [Word24] #