Data.RTCM3.Observations

RTCMv3 Observations.

Documentation

data GpsObservationHeader

GpsObservationHeader.

GPS RTK observation header.

Constructors

GpsObservationHeader

Fields

• _gpsObservationHeader_num :: Word16

  Message number.

• _gpsObservationHeader_station :: Word16

  Reference station id.

• _gpsObservationHeader_tow :: Word32

  GPS epoch time.

• _gpsObservationHeader_synchronous :: Bool

  Synchronous GNSS flag.

• _gpsObservationHeader_n :: Word8

  Number of GPS satellite observations.

• _gpsObservationHeader_smoothing :: Bool

  GPS divergence-free smoothing indicator.

• _gpsObservationHeader_smoothingInterval :: Word8

  GPS smoothing interval.

Instances

Eq GpsObservationHeader

Methods

(==) :: GpsObservationHeader -> GpsObservationHeader -> Bool

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

Read GpsObservationHeader

Methods

readsPrec :: Int -> ReadS GpsObservationHeader

readList :: ReadS [GpsObservationHeader]

readPrec :: ReadPrec GpsObservationHeader

readListPrec :: ReadPrec [GpsObservationHeader]

Show GpsObservationHeader

Methods

showsPrec :: Int -> GpsObservationHeader -> ShowS

show :: GpsObservationHeader -> String

showList :: [GpsObservationHeader] -> ShowS

ToJSON GpsObservationHeader

Methods

toJSON :: GpsObservationHeader -> Value

toEncoding :: GpsObservationHeader -> Encoding

toJSONList :: [GpsObservationHeader] -> Value

toEncodingList :: [GpsObservationHeader] -> Encoding

FromJSON GpsObservationHeader

Methods

parseJSON :: Value -> Parser GpsObservationHeader

parseJSONList :: Value -> Parser [GpsObservationHeader]

BinaryBit GpsObservationHeader

Methods

putBits :: Int -> GpsObservationHeader -> BitPut ()

getBits :: Int -> BitGet GpsObservationHeader

gpsObservationHeader_tow :: Lens' GpsObservationHeader Word32

gpsObservationHeader_synchronous :: Lens' GpsObservationHeader Bool

gpsObservationHeader_station :: Lens' GpsObservationHeader Word16

gpsObservationHeader_smoothingInterval :: Lens' GpsObservationHeader Word8

gpsObservationHeader_smoothing :: Lens' GpsObservationHeader Bool

gpsObservationHeader_num :: Lens' GpsObservationHeader Word16

gpsObservationHeader_n :: Lens' GpsObservationHeader Word8

data GpsL1Observation

GpsL1Observation.

GPS RTK L1 observation.

Constructors

GpsL1Observation

Fields

• _gpsL1Observation_code :: Bool

  GPS L1 code indicator.

• _gpsL1Observation_pseudorange :: Word32

  GPS L1 pseudorange.

• _gpsL1Observation_carrierMinusCode :: Int32

  GPS L1 phaserange - pseudorange.

• _gpsL1Observation_lockTime :: Word8

  GPS L1 lock time indicator.

Instances

Eq GpsL1Observation

Methods

(==) :: GpsL1Observation -> GpsL1Observation -> Bool

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

Read GpsL1Observation

Methods

readsPrec :: Int -> ReadS GpsL1Observation

readList :: ReadS [GpsL1Observation]

readPrec :: ReadPrec GpsL1Observation

readListPrec :: ReadPrec [GpsL1Observation]

Show GpsL1Observation

Methods

showsPrec :: Int -> GpsL1Observation -> ShowS

show :: GpsL1Observation -> String

showList :: [GpsL1Observation] -> ShowS

ToJSON GpsL1Observation

Methods

toJSON :: GpsL1Observation -> Value

toEncoding :: GpsL1Observation -> Encoding

toJSONList :: [GpsL1Observation] -> Value

toEncodingList :: [GpsL1Observation] -> Encoding

FromJSON GpsL1Observation

Methods

parseJSON :: Value -> Parser GpsL1Observation

parseJSONList :: Value -> Parser [GpsL1Observation]

BinaryBit GpsL1Observation

Methods

putBits :: Int -> GpsL1Observation -> BitPut ()

getBits :: Int -> BitGet GpsL1Observation

gpsL1Observation_pseudorange :: Lens' GpsL1Observation Word32

gpsL1Observation_lockTime :: Lens' GpsL1Observation Word8

gpsL1Observation_code :: Lens' GpsL1Observation Bool

gpsL1Observation_carrierMinusCode :: Lens' GpsL1Observation Int32

data GpsL1ExtObservation

GpsL1ExtObservation.

GPS RTK L1 extended observation.

Constructors

GpsL1ExtObservation

Fields

• _gpsL1ExtObservation_ambiguity :: Word8

  GPS L1 pseudorange ambiguity.

• _gpsL1ExtObservation_cnr :: Word8

  GPS L1 carrier-to-noise ratio.

Instances

Eq GpsL1ExtObservation

Methods

(==) :: GpsL1ExtObservation -> GpsL1ExtObservation -> Bool

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

Read GpsL1ExtObservation

Methods

readsPrec :: Int -> ReadS GpsL1ExtObservation

readList :: ReadS [GpsL1ExtObservation]

readPrec :: ReadPrec GpsL1ExtObservation

readListPrec :: ReadPrec [GpsL1ExtObservation]

Show GpsL1ExtObservation

Methods

showsPrec :: Int -> GpsL1ExtObservation -> ShowS

show :: GpsL1ExtObservation -> String

showList :: [GpsL1ExtObservation] -> ShowS

ToJSON GpsL1ExtObservation

Methods

toJSON :: GpsL1ExtObservation -> Value

toEncoding :: GpsL1ExtObservation -> Encoding

toJSONList :: [GpsL1ExtObservation] -> Value

toEncodingList :: [GpsL1ExtObservation] -> Encoding

FromJSON GpsL1ExtObservation

Methods

parseJSON :: Value -> Parser GpsL1ExtObservation

parseJSONList :: Value -> Parser [GpsL1ExtObservation]

BinaryBit GpsL1ExtObservation

Methods

putBits :: Int -> GpsL1ExtObservation -> BitPut ()

getBits :: Int -> BitGet GpsL1ExtObservation

gpsL1ExtObservation_cnr :: Lens' GpsL1ExtObservation Word8

gpsL1ExtObservation_ambiguity :: Lens' GpsL1ExtObservation Word8

data GpsL2Observation

GpsL2Observation.

GPS RTK L2 observation.

Constructors

GpsL2Observation

Fields

• _gpsL2Observation_code :: Word8

  GPS L2 code indicator.

• _gpsL2Observation_pseudorangeDifference :: Int16

  GPS L2-L1 pseudorange difference.

• _gpsL2Observation_carrierMinusCode :: Int32

  GPS L2 phaserange - L1 pseudorange.

• _gpsL2Observation_lockTime :: Word8

  GPS L2 lock time indicator.

Instances

Eq GpsL2Observation

Methods

(==) :: GpsL2Observation -> GpsL2Observation -> Bool

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

Read GpsL2Observation

Methods

readsPrec :: Int -> ReadS GpsL2Observation

readList :: ReadS [GpsL2Observation]

readPrec :: ReadPrec GpsL2Observation

readListPrec :: ReadPrec [GpsL2Observation]

Show GpsL2Observation

Methods

showsPrec :: Int -> GpsL2Observation -> ShowS

show :: GpsL2Observation -> String

showList :: [GpsL2Observation] -> ShowS

ToJSON GpsL2Observation

Methods

toJSON :: GpsL2Observation -> Value

toEncoding :: GpsL2Observation -> Encoding

toJSONList :: [GpsL2Observation] -> Value

toEncodingList :: [GpsL2Observation] -> Encoding

FromJSON GpsL2Observation

Methods

parseJSON :: Value -> Parser GpsL2Observation

parseJSONList :: Value -> Parser [GpsL2Observation]

BinaryBit GpsL2Observation

Methods

putBits :: Int -> GpsL2Observation -> BitPut ()

getBits :: Int -> BitGet GpsL2Observation

gpsL2Observation_pseudorangeDifference :: Lens' GpsL2Observation Int16

gpsL2Observation_lockTime :: Lens' GpsL2Observation Word8

gpsL2Observation_code :: Lens' GpsL2Observation Word8

gpsL2Observation_carrierMinusCode :: Lens' GpsL2Observation Int32

newtype GpsL2ExtObservation

GpsL2ExtObservation.

GPS RTK L2 extended observation.

Constructors

GpsL2ExtObservation

Fields

• _gpsL2ExtObservation_cnr :: Word8

  GPS L2 carrier-to-noise ratio.

Instances

Eq GpsL2ExtObservation

Methods

(==) :: GpsL2ExtObservation -> GpsL2ExtObservation -> Bool

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

Read GpsL2ExtObservation

Methods

readsPrec :: Int -> ReadS GpsL2ExtObservation

readList :: ReadS [GpsL2ExtObservation]

readPrec :: ReadPrec GpsL2ExtObservation

readListPrec :: ReadPrec [GpsL2ExtObservation]

Show GpsL2ExtObservation

Methods

showsPrec :: Int -> GpsL2ExtObservation -> ShowS

show :: GpsL2ExtObservation -> String

showList :: [GpsL2ExtObservation] -> ShowS

ToJSON GpsL2ExtObservation

Methods

toJSON :: GpsL2ExtObservation -> Value

toEncoding :: GpsL2ExtObservation -> Encoding

toJSONList :: [GpsL2ExtObservation] -> Value

toEncodingList :: [GpsL2ExtObservation] -> Encoding

FromJSON GpsL2ExtObservation

Methods

parseJSON :: Value -> Parser GpsL2ExtObservation

parseJSONList :: Value -> Parser [GpsL2ExtObservation]

BinaryBit GpsL2ExtObservation

Methods

putBits :: Int -> GpsL2ExtObservation -> BitPut ()

getBits :: Int -> BitGet GpsL2ExtObservation

gpsL2ExtObservation_cnr :: Iso' GpsL2ExtObservation Word8

data GlonassObservationHeader

GlonassObservationHeader.

GLONASS RTK observation header.

Constructors

GlonassObservationHeader

Fields

• _glonassObservationHeader_num :: Word16

  Message number.

• _glonassObservationHeader_station :: Word16

  Reference station id.

• _glonassObservationHeader_epoch :: Word32

  GLONASS epoch time.

• _glonassObservationHeader_synchronous :: Bool

  Synchronous GNSS flag.

• _glonassObservationHeader_n :: Word8

  Number of GLONASS satellite observations.

• _glonassObservationHeader_smoothing :: Bool

  GLONASS divergence-free smoothing indicator.

• _glonassObservationHeader_smoothingInterval :: Word8

  GLONASS smoothing interval.

Instances

Eq GlonassObservationHeader

Methods

(==) :: GlonassObservationHeader -> GlonassObservationHeader -> Bool

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

Read GlonassObservationHeader

Methods

readsPrec :: Int -> ReadS GlonassObservationHeader

readList :: ReadS [GlonassObservationHeader]

readPrec :: ReadPrec GlonassObservationHeader

readListPrec :: ReadPrec [GlonassObservationHeader]

Show GlonassObservationHeader

Methods

showsPrec :: Int -> GlonassObservationHeader -> ShowS

show :: GlonassObservationHeader -> String

showList :: [GlonassObservationHeader] -> ShowS

ToJSON GlonassObservationHeader

Methods

toJSON :: GlonassObservationHeader -> Value

toEncoding :: GlonassObservationHeader -> Encoding

toJSONList :: [GlonassObservationHeader] -> Value

toEncodingList :: [GlonassObservationHeader] -> Encoding

FromJSON GlonassObservationHeader

Methods

parseJSON :: Value -> Parser GlonassObservationHeader

parseJSONList :: Value -> Parser [GlonassObservationHeader]

BinaryBit GlonassObservationHeader

Methods

putBits :: Int -> GlonassObservationHeader -> BitPut ()

getBits :: Int -> BitGet GlonassObservationHeader

glonassObservationHeader_synchronous :: Lens' GlonassObservationHeader Bool

glonassObservationHeader_station :: Lens' GlonassObservationHeader Word16

glonassObservationHeader_smoothingInterval :: Lens' GlonassObservationHeader Word8

glonassObservationHeader_smoothing :: Lens' GlonassObservationHeader Bool

glonassObservationHeader_num :: Lens' GlonassObservationHeader Word16

glonassObservationHeader_n :: Lens' GlonassObservationHeader Word8

glonassObservationHeader_epoch :: Lens' GlonassObservationHeader Word32

data GlonassL1Observation

GlonassL1Observation.

GLONASS RTK L1 observation.

Constructors

GlonassL1Observation

Fields

• _glonassL1Observation_code :: Bool

  GLONASS L1 code indicator.

• _glonassL1Observation_frequency :: Word8

  GLONASS satellite frequency channel number.

• _glonassL1Observation_pseudorange :: Word32

  GLONASS L1 pseudorange.

• _glonassL1Observation_carrierMinusCode :: Int32

  GLONASS L1 phaserange - pseudorange.

• _glonassL1Observation_lockTime :: Word8

  GLONASS L1 lock time indicator.

Instances

Eq GlonassL1Observation

Methods

(==) :: GlonassL1Observation -> GlonassL1Observation -> Bool

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

Read GlonassL1Observation

Methods

readsPrec :: Int -> ReadS GlonassL1Observation

readList :: ReadS [GlonassL1Observation]

readPrec :: ReadPrec GlonassL1Observation

readListPrec :: ReadPrec [GlonassL1Observation]

Show GlonassL1Observation

Methods

showsPrec :: Int -> GlonassL1Observation -> ShowS

show :: GlonassL1Observation -> String

showList :: [GlonassL1Observation] -> ShowS

ToJSON GlonassL1Observation

Methods

toJSON :: GlonassL1Observation -> Value

toEncoding :: GlonassL1Observation -> Encoding

toJSONList :: [GlonassL1Observation] -> Value

toEncodingList :: [GlonassL1Observation] -> Encoding

FromJSON GlonassL1Observation

Methods

parseJSON :: Value -> Parser GlonassL1Observation

parseJSONList :: Value -> Parser [GlonassL1Observation]

BinaryBit GlonassL1Observation

Methods

putBits :: Int -> GlonassL1Observation -> BitPut ()

getBits :: Int -> BitGet GlonassL1Observation

glonassL1Observation_pseudorange :: Lens' GlonassL1Observation Word32

glonassL1Observation_lockTime :: Lens' GlonassL1Observation Word8

glonassL1Observation_frequency :: Lens' GlonassL1Observation Word8

glonassL1Observation_code :: Lens' GlonassL1Observation Bool

glonassL1Observation_carrierMinusCode :: Lens' GlonassL1Observation Int32

data GlonassL1ExtObservation

GlonassL1ExtObservation.

GLONASS RTK L1 extended observation.

Constructors

GlonassL1ExtObservation

Fields

• _glonassL1ExtObservation_ambiguity :: Word8

  GLONASS L1 pseudorange ambiguity.

• _glonassL1ExtObservation_cnr :: Word8

  GLONASS L1 carrier-to-noise ratio.

Instances

Eq GlonassL1ExtObservation

Methods

(==) :: GlonassL1ExtObservation -> GlonassL1ExtObservation -> Bool

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

Read GlonassL1ExtObservation

Methods

readsPrec :: Int -> ReadS GlonassL1ExtObservation

readList :: ReadS [GlonassL1ExtObservation]

readPrec :: ReadPrec GlonassL1ExtObservation

readListPrec :: ReadPrec [GlonassL1ExtObservation]

Show GlonassL1ExtObservation

Methods

showsPrec :: Int -> GlonassL1ExtObservation -> ShowS

show :: GlonassL1ExtObservation -> String

showList :: [GlonassL1ExtObservation] -> ShowS

ToJSON GlonassL1ExtObservation

Methods

toJSON :: GlonassL1ExtObservation -> Value

toEncoding :: GlonassL1ExtObservation -> Encoding

toJSONList :: [GlonassL1ExtObservation] -> Value

toEncodingList :: [GlonassL1ExtObservation] -> Encoding

FromJSON GlonassL1ExtObservation

Methods

parseJSON :: Value -> Parser GlonassL1ExtObservation

parseJSONList :: Value -> Parser [GlonassL1ExtObservation]

BinaryBit GlonassL1ExtObservation

Methods

putBits :: Int -> GlonassL1ExtObservation -> BitPut ()

getBits :: Int -> BitGet GlonassL1ExtObservation

glonassL1ExtObservation_cnr :: Lens' GlonassL1ExtObservation Word8

glonassL1ExtObservation_ambiguity :: Lens' GlonassL1ExtObservation Word8

data GlonassL2Observation

GlonassL2Observation.

GLONASS RTK L2 observation.

Constructors

GlonassL2Observation

Fields

• _glonassL2Observation_code :: Word8

  GLONASS L2 code indicator.

• _glonassL2Observation_pseudorangeDifference :: Int16

  GLONASS L2-L1 pseudorange difference.

• _glonassL2Observation_carrierMinusCode :: Int32

  GLONASS L2 phaserange - L1 pseudorange.

• _glonassL2Observation_lockTime :: Word8

  GLONASS L2 lock time indicator.

Instances

Eq GlonassL2Observation

Methods

(==) :: GlonassL2Observation -> GlonassL2Observation -> Bool

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

Read GlonassL2Observation

Methods

readsPrec :: Int -> ReadS GlonassL2Observation

readList :: ReadS [GlonassL2Observation]

readPrec :: ReadPrec GlonassL2Observation

readListPrec :: ReadPrec [GlonassL2Observation]

Show GlonassL2Observation

Methods

showsPrec :: Int -> GlonassL2Observation -> ShowS

show :: GlonassL2Observation -> String

showList :: [GlonassL2Observation] -> ShowS

ToJSON GlonassL2Observation

Methods

toJSON :: GlonassL2Observation -> Value

toEncoding :: GlonassL2Observation -> Encoding

toJSONList :: [GlonassL2Observation] -> Value

toEncodingList :: [GlonassL2Observation] -> Encoding

FromJSON GlonassL2Observation

Methods

parseJSON :: Value -> Parser GlonassL2Observation

parseJSONList :: Value -> Parser [GlonassL2Observation]

BinaryBit GlonassL2Observation

Methods

putBits :: Int -> GlonassL2Observation -> BitPut ()

getBits :: Int -> BitGet GlonassL2Observation

glonassL2Observation_pseudorangeDifference :: Lens' GlonassL2Observation Int16

glonassL2Observation_lockTime :: Lens' GlonassL2Observation Word8

glonassL2Observation_code :: Lens' GlonassL2Observation Word8

glonassL2Observation_carrierMinusCode :: Lens' GlonassL2Observation Int32

newtype GlonassL2ExtObservation

GlonassL2ExtObservation.

GLONASS RTK L2 extended observation.

Constructors

GlonassL2ExtObservation

Fields

• _glonassL2ExtObservation_cnr :: Word8

  GLONASS L2 carrier-to-noise ratio.

Instances

Eq GlonassL2ExtObservation

Methods

(==) :: GlonassL2ExtObservation -> GlonassL2ExtObservation -> Bool

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

Read GlonassL2ExtObservation

Methods

readsPrec :: Int -> ReadS GlonassL2ExtObservation

readList :: ReadS [GlonassL2ExtObservation]

readPrec :: ReadPrec GlonassL2ExtObservation

readListPrec :: ReadPrec [GlonassL2ExtObservation]

Show GlonassL2ExtObservation

Methods

showsPrec :: Int -> GlonassL2ExtObservation -> ShowS

show :: GlonassL2ExtObservation -> String

showList :: [GlonassL2ExtObservation] -> ShowS

ToJSON GlonassL2ExtObservation

Methods

toJSON :: GlonassL2ExtObservation -> Value

toEncoding :: GlonassL2ExtObservation -> Encoding

toJSONList :: [GlonassL2ExtObservation] -> Value

toEncodingList :: [GlonassL2ExtObservation] -> Encoding

FromJSON GlonassL2ExtObservation

Methods

parseJSON :: Value -> Parser GlonassL2ExtObservation

parseJSONList :: Value -> Parser [GlonassL2ExtObservation]

BinaryBit GlonassL2ExtObservation

Methods

putBits :: Int -> GlonassL2ExtObservation -> BitPut ()

getBits :: Int -> BitGet GlonassL2ExtObservation

glonassL2ExtObservation_cnr :: Iso' GlonassL2ExtObservation Word8

data GlonassBias

GlonassBias.

GLONASS bias information.

Constructors

GlonassBias

Fields

• _glonassBias_num :: Word16

  Message number.

• _glonassBias_station :: Word16

  Reference station id.

• _glonassBias_bias :: Bool

  GLONASS Code-Phase bias indicator.

• _glonassBias_mask :: Word8

  GLONASS FDMA signals mask.

• _glonassBias_l1ca :: Word16

  GLONASS L1 C/A code-phase bias.

• _glonassBias_l1p :: Word16

  GLONASS L1 P code-phase bias.

• _glonassBias_l2ca :: Word16

  GLONASS L2 C/A code-phase bias.

• _glonassBias_l2p :: Word16

  GLONASS L2 P code-phase bias.

Instances

Eq GlonassBias

Methods

(==) :: GlonassBias -> GlonassBias -> Bool

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

Read GlonassBias

Methods

readsPrec :: Int -> ReadS GlonassBias

readList :: ReadS [GlonassBias]

readPrec :: ReadPrec GlonassBias

readListPrec :: ReadPrec [GlonassBias]

Show GlonassBias

Methods

showsPrec :: Int -> GlonassBias -> ShowS

show :: GlonassBias -> String

showList :: [GlonassBias] -> ShowS

ToJSON GlonassBias

Methods

toJSON :: GlonassBias -> Value

toEncoding :: GlonassBias -> Encoding

toJSONList :: [GlonassBias] -> Value

toEncodingList :: [GlonassBias] -> Encoding

FromJSON GlonassBias

Methods

parseJSON :: Value -> Parser GlonassBias

parseJSONList :: Value -> Parser [GlonassBias]

BinaryBit GlonassBias

Methods

putBits :: Int -> GlonassBias -> BitPut ()

getBits :: Int -> BitGet GlonassBias

glonassBias_station :: Lens' GlonassBias Word16

glonassBias_num :: Lens' GlonassBias Word16

glonassBias_mask :: Lens' GlonassBias Word8

glonassBias_l2p :: Lens' GlonassBias Word16

glonassBias_l2ca :: Lens' GlonassBias Word16

glonassBias_l1p :: Lens' GlonassBias Word16

glonassBias_l1ca :: Lens' GlonassBias Word16

glonassBias_bias :: Lens' GlonassBias Bool

msg1001 :: Word16

data Observation1001

Observation1001.

GPS RTK L1 observation for message 1001.

Constructors

Observation1001

Fields

• _observation1001_sat :: Word8

  GPS satellite id.

• _observation1001_l1 :: GpsL1Observation

  GPS RTK L1 observation.

Instances

Eq Observation1001

Methods

(==) :: Observation1001 -> Observation1001 -> Bool

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

Read Observation1001

Methods

readsPrec :: Int -> ReadS Observation1001

readList :: ReadS [Observation1001]

readPrec :: ReadPrec Observation1001

readListPrec :: ReadPrec [Observation1001]

Show Observation1001

Methods

showsPrec :: Int -> Observation1001 -> ShowS

show :: Observation1001 -> String

showList :: [Observation1001] -> ShowS

ToJSON Observation1001

Methods

toJSON :: Observation1001 -> Value

toEncoding :: Observation1001 -> Encoding

toJSONList :: [Observation1001] -> Value

toEncodingList :: [Observation1001] -> Encoding

FromJSON Observation1001

Methods

parseJSON :: Value -> Parser Observation1001

parseJSONList :: Value -> Parser [Observation1001]

BinaryBit Observation1001

Methods

putBits :: Int -> Observation1001 -> BitPut ()

getBits :: Int -> BitGet Observation1001

observation1001_sat :: Lens' Observation1001 Word8

observation1001_l1 :: Lens' Observation1001 GpsL1Observation

data Msg1001

Msg1001.

RTCMv3 message 1001.

Constructors

Msg1001

Fields

• _msg1001_header :: GpsObservationHeader

  GPS observation header.

• _msg1001_observations :: [Observation1001]

  GPS RTK L1 observations.

Instances

Eq Msg1001

Methods

(==) :: Msg1001 -> Msg1001 -> Bool

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

Read Msg1001

Methods

readsPrec :: Int -> ReadS Msg1001

readList :: ReadS [Msg1001]

readPrec :: ReadPrec Msg1001

readListPrec :: ReadPrec [Msg1001]

Show Msg1001

Methods

showsPrec :: Int -> Msg1001 -> ShowS

show :: Msg1001 -> String

showList :: [Msg1001] -> ShowS

ToJSON Msg1001

Methods

toJSON :: Msg1001 -> Value

toEncoding :: Msg1001 -> Encoding

toJSONList :: [Msg1001] -> Value

toEncodingList :: [Msg1001] -> Encoding

FromJSON Msg1001

Methods

parseJSON :: Value -> Parser Msg1001

parseJSONList :: Value -> Parser [Msg1001]

Binary Msg1001

Methods

put :: Msg1001 -> Put

get :: Get Msg1001

putList :: [Msg1001] -> Put

ToRTCM3 Msg1001

Methods

toRTCM3 :: Msg1001 -> Msg

msg1001_observations :: Lens' Msg1001 [Observation1001]

msg1001_header :: Lens' Msg1001 GpsObservationHeader

msg1002 :: Word16

data Observation1002

Observation1002.

GPS RTK L1 extended observation for message 1002.

Constructors

Observation1002

Fields

• _observation1002_sat :: Word8

  GPS satellite id.

• _observation1002_l1 :: GpsL1Observation

  GPS RTK L1 observation.

• _observation1002_l1e :: GpsL1ExtObservation

  GPS RTK L1 extended observation.

Instances

Eq Observation1002

Methods

(==) :: Observation1002 -> Observation1002 -> Bool

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

Read Observation1002

Methods

readsPrec :: Int -> ReadS Observation1002

readList :: ReadS [Observation1002]

readPrec :: ReadPrec Observation1002

readListPrec :: ReadPrec [Observation1002]

Show Observation1002

Methods

showsPrec :: Int -> Observation1002 -> ShowS

show :: Observation1002 -> String

showList :: [Observation1002] -> ShowS

ToJSON Observation1002

Methods

toJSON :: Observation1002 -> Value

toEncoding :: Observation1002 -> Encoding

toJSONList :: [Observation1002] -> Value

toEncodingList :: [Observation1002] -> Encoding

FromJSON Observation1002

Methods

parseJSON :: Value -> Parser Observation1002

parseJSONList :: Value -> Parser [Observation1002]

BinaryBit Observation1002

Methods

putBits :: Int -> Observation1002 -> BitPut ()

getBits :: Int -> BitGet Observation1002

observation1002_sat :: Lens' Observation1002 Word8

observation1002_l1e :: Lens' Observation1002 GpsL1ExtObservation

observation1002_l1 :: Lens' Observation1002 GpsL1Observation

data Msg1002

Msg1002.

RTCMv3 message 1002.

Constructors

Msg1002

Fields

• _msg1002_header :: GpsObservationHeader

  GPS observation header.

• _msg1002_observations :: [Observation1002]

  GPS RTK L1 extended observations.

Instances

Eq Msg1002

Methods

(==) :: Msg1002 -> Msg1002 -> Bool

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

Read Msg1002

Methods

readsPrec :: Int -> ReadS Msg1002

readList :: ReadS [Msg1002]

readPrec :: ReadPrec Msg1002

readListPrec :: ReadPrec [Msg1002]

Show Msg1002

Methods

showsPrec :: Int -> Msg1002 -> ShowS

show :: Msg1002 -> String

showList :: [Msg1002] -> ShowS

ToJSON Msg1002

Methods

toJSON :: Msg1002 -> Value

toEncoding :: Msg1002 -> Encoding

toJSONList :: [Msg1002] -> Value

toEncodingList :: [Msg1002] -> Encoding

FromJSON Msg1002

Methods

parseJSON :: Value -> Parser Msg1002

parseJSONList :: Value -> Parser [Msg1002]

Binary Msg1002

Methods

put :: Msg1002 -> Put

get :: Get Msg1002

putList :: [Msg1002] -> Put

ToRTCM3 Msg1002

Methods

toRTCM3 :: Msg1002 -> Msg

msg1002_observations :: Lens' Msg1002 [Observation1002]

msg1002_header :: Lens' Msg1002 GpsObservationHeader

msg1003 :: Word16

data Observation1003

Observation1003.

GPS RTK L1, L2 observation for message 1003.

Constructors

Observation1003

Fields

• _observation1003_sat :: Word8

  GPS satellite id.

• _observation1003_l1 :: GpsL1Observation

  GPS RTK L1 observation.

• _observation1003_l2 :: GpsL2Observation

  GPS RTK L2 observation.

Instances

Eq Observation1003

Methods

(==) :: Observation1003 -> Observation1003 -> Bool

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

Read Observation1003

Methods

readsPrec :: Int -> ReadS Observation1003

readList :: ReadS [Observation1003]

readPrec :: ReadPrec Observation1003

readListPrec :: ReadPrec [Observation1003]

Show Observation1003

Methods

showsPrec :: Int -> Observation1003 -> ShowS

show :: Observation1003 -> String

showList :: [Observation1003] -> ShowS

ToJSON Observation1003

Methods

toJSON :: Observation1003 -> Value

toEncoding :: Observation1003 -> Encoding

toJSONList :: [Observation1003] -> Value

toEncodingList :: [Observation1003] -> Encoding

FromJSON Observation1003

Methods

parseJSON :: Value -> Parser Observation1003

parseJSONList :: Value -> Parser [Observation1003]

BinaryBit Observation1003

Methods

putBits :: Int -> Observation1003 -> BitPut ()

getBits :: Int -> BitGet Observation1003

observation1003_sat :: Lens' Observation1003 Word8

observation1003_l2 :: Lens' Observation1003 GpsL2Observation

observation1003_l1 :: Lens' Observation1003 GpsL1Observation

data Msg1003

Msg1003.

RTCMv3 message 1003.

Constructors

Msg1003

Fields

• _msg1003_header :: GpsObservationHeader

  GPS observation header.

• _msg1003_observations :: [Observation1003]

  GPS RTK L1, L2 observations.

Instances

Eq Msg1003

Methods

(==) :: Msg1003 -> Msg1003 -> Bool

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

Read Msg1003

Methods

readsPrec :: Int -> ReadS Msg1003

readList :: ReadS [Msg1003]

readPrec :: ReadPrec Msg1003

readListPrec :: ReadPrec [Msg1003]

Show Msg1003

Methods

showsPrec :: Int -> Msg1003 -> ShowS

show :: Msg1003 -> String

showList :: [Msg1003] -> ShowS

ToJSON Msg1003

Methods

toJSON :: Msg1003 -> Value

toEncoding :: Msg1003 -> Encoding

toJSONList :: [Msg1003] -> Value

toEncodingList :: [Msg1003] -> Encoding

FromJSON Msg1003

Methods

parseJSON :: Value -> Parser Msg1003

parseJSONList :: Value -> Parser [Msg1003]

Binary Msg1003

Methods

put :: Msg1003 -> Put

get :: Get Msg1003

putList :: [Msg1003] -> Put

ToRTCM3 Msg1003

Methods

toRTCM3 :: Msg1003 -> Msg

msg1003_observations :: Lens' Msg1003 [Observation1003]

msg1003_header :: Lens' Msg1003 GpsObservationHeader

msg1004 :: Word16

data Observation1004

Observation1004.

GPS RTK L1, L2 extended observation for message 1004.

Constructors

Observation1004

Fields

• _observation1004_sat :: Word8

  GPS satellite id.

• _observation1004_l1 :: GpsL1Observation

  GPS RTK L1 observation.

• _observation1004_l1e :: GpsL1ExtObservation

  GPS RTK L1 extended observation.

• _observation1004_l2 :: GpsL2Observation

  GPS RTK L2 observation.

• _observation1004_l2e :: GpsL2ExtObservation

  GPS RTK L2 extended observation.

Instances

Eq Observation1004

Methods

(==) :: Observation1004 -> Observation1004 -> Bool

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

Read Observation1004

Methods

readsPrec :: Int -> ReadS Observation1004

readList :: ReadS [Observation1004]

readPrec :: ReadPrec Observation1004

readListPrec :: ReadPrec [Observation1004]

Show Observation1004

Methods

showsPrec :: Int -> Observation1004 -> ShowS

show :: Observation1004 -> String

showList :: [Observation1004] -> ShowS

ToJSON Observation1004

Methods

toJSON :: Observation1004 -> Value

toEncoding :: Observation1004 -> Encoding

toJSONList :: [Observation1004] -> Value

toEncodingList :: [Observation1004] -> Encoding

FromJSON Observation1004

Methods

parseJSON :: Value -> Parser Observation1004

parseJSONList :: Value -> Parser [Observation1004]

BinaryBit Observation1004

Methods

putBits :: Int -> Observation1004 -> BitPut ()

getBits :: Int -> BitGet Observation1004

observation1004_sat :: Lens' Observation1004 Word8

observation1004_l2e :: Lens' Observation1004 GpsL2ExtObservation

observation1004_l2 :: Lens' Observation1004 GpsL2Observation

observation1004_l1e :: Lens' Observation1004 GpsL1ExtObservation

observation1004_l1 :: Lens' Observation1004 GpsL1Observation

data Msg1004

Msg1004.

RTCMv3 message 1004.

Constructors

Msg1004

Fields

• _msg1004_header :: GpsObservationHeader

  GPS observation header.

• _msg1004_observations :: [Observation1004]

  GPS RTK L1, L2 extended observations.

Instances

Eq Msg1004

Methods

(==) :: Msg1004 -> Msg1004 -> Bool

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

Read Msg1004

Methods

readsPrec :: Int -> ReadS Msg1004

readList :: ReadS [Msg1004]

readPrec :: ReadPrec Msg1004

readListPrec :: ReadPrec [Msg1004]

Show Msg1004

Methods

showsPrec :: Int -> Msg1004 -> ShowS

show :: Msg1004 -> String

showList :: [Msg1004] -> ShowS

ToJSON Msg1004

Methods

toJSON :: Msg1004 -> Value

toEncoding :: Msg1004 -> Encoding

toJSONList :: [Msg1004] -> Value

toEncodingList :: [Msg1004] -> Encoding

FromJSON Msg1004

Methods

parseJSON :: Value -> Parser Msg1004

parseJSONList :: Value -> Parser [Msg1004]

Binary Msg1004

Methods

put :: Msg1004 -> Put

get :: Get Msg1004

putList :: [Msg1004] -> Put

ToRTCM3 Msg1004

Methods

toRTCM3 :: Msg1004 -> Msg

msg1004_observations :: Lens' Msg1004 [Observation1004]

msg1004_header :: Lens' Msg1004 GpsObservationHeader

msg1009 :: Word16

data Observation1009

Observation1009.

GLONASS RTK L1 observation for message 1009.

Constructors

Observation1009

Fields

• _observation1009_sat :: Word8

  GLONASS satellite id.

• _observation1009_l1 :: GlonassL1Observation

  GLONASS RTK L1 observation.

Instances

Eq Observation1009

Methods

(==) :: Observation1009 -> Observation1009 -> Bool

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

Read Observation1009

Methods

readsPrec :: Int -> ReadS Observation1009

readList :: ReadS [Observation1009]

readPrec :: ReadPrec Observation1009

readListPrec :: ReadPrec [Observation1009]

Show Observation1009

Methods

showsPrec :: Int -> Observation1009 -> ShowS

show :: Observation1009 -> String

showList :: [Observation1009] -> ShowS

ToJSON Observation1009

Methods

toJSON :: Observation1009 -> Value

toEncoding :: Observation1009 -> Encoding

toJSONList :: [Observation1009] -> Value

toEncodingList :: [Observation1009] -> Encoding

FromJSON Observation1009

Methods

parseJSON :: Value -> Parser Observation1009

parseJSONList :: Value -> Parser [Observation1009]

BinaryBit Observation1009

Methods

putBits :: Int -> Observation1009 -> BitPut ()

getBits :: Int -> BitGet Observation1009

observation1009_sat :: Lens' Observation1009 Word8

observation1009_l1 :: Lens' Observation1009 GlonassL1Observation

data Msg1009

Msg1009.

RTCMv3 message 1009.

Constructors

Msg1009

Fields

• _msg1009_header :: GlonassObservationHeader

  GLONASS observation header.

• _msg1009_observations :: [Observation1009]

  GLONASS RTK L1 observations.

Instances

Eq Msg1009

Methods

(==) :: Msg1009 -> Msg1009 -> Bool

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

Read Msg1009

Methods

readsPrec :: Int -> ReadS Msg1009

readList :: ReadS [Msg1009]

readPrec :: ReadPrec Msg1009

readListPrec :: ReadPrec [Msg1009]

Show Msg1009

Methods

showsPrec :: Int -> Msg1009 -> ShowS

show :: Msg1009 -> String

showList :: [Msg1009] -> ShowS

ToJSON Msg1009

Methods

toJSON :: Msg1009 -> Value

toEncoding :: Msg1009 -> Encoding

toJSONList :: [Msg1009] -> Value

toEncodingList :: [Msg1009] -> Encoding

FromJSON Msg1009

Methods

parseJSON :: Value -> Parser Msg1009

parseJSONList :: Value -> Parser [Msg1009]

Binary Msg1009

Methods

put :: Msg1009 -> Put

get :: Get Msg1009

putList :: [Msg1009] -> Put

ToRTCM3 Msg1009

Methods

toRTCM3 :: Msg1009 -> Msg

msg1009_observations :: Lens' Msg1009 [Observation1009]

msg1009_header :: Lens' Msg1009 GlonassObservationHeader

msg1010 :: Word16

data Observation1010

Observation1010.

GLONASS RTK L1 extended observation for message 1010.

Constructors

Observation1010

Fields

• _observation1010_sat :: Word8

  GLONASS satellite id.

• _observation1010_l1 :: GlonassL1Observation

  GLONASS RTK L1 observation.

• _observation1010_l1e :: GlonassL1ExtObservation

  GLONASS RTK L1 extended observation.

Instances

Eq Observation1010

Methods

(==) :: Observation1010 -> Observation1010 -> Bool

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

Read Observation1010

Methods

readsPrec :: Int -> ReadS Observation1010

readList :: ReadS [Observation1010]

readPrec :: ReadPrec Observation1010

readListPrec :: ReadPrec [Observation1010]

Show Observation1010

Methods

showsPrec :: Int -> Observation1010 -> ShowS

show :: Observation1010 -> String

showList :: [Observation1010] -> ShowS

ToJSON Observation1010

Methods

toJSON :: Observation1010 -> Value

toEncoding :: Observation1010 -> Encoding

toJSONList :: [Observation1010] -> Value

toEncodingList :: [Observation1010] -> Encoding

FromJSON Observation1010

Methods

parseJSON :: Value -> Parser Observation1010

parseJSONList :: Value -> Parser [Observation1010]

BinaryBit Observation1010

Methods

putBits :: Int -> Observation1010 -> BitPut ()

getBits :: Int -> BitGet Observation1010

observation1010_sat :: Lens' Observation1010 Word8

observation1010_l1e :: Lens' Observation1010 GlonassL1ExtObservation

observation1010_l1 :: Lens' Observation1010 GlonassL1Observation

data Msg1010

Msg1010.

RTCMv3 message 1010.

Constructors

Msg1010

Fields

• _msg1010_header :: GlonassObservationHeader

  GLONASS observation header.

• _msg1010_observations :: [Observation1010]

  GLONASS RTK L1 extended observations.

Instances

Eq Msg1010

Methods

(==) :: Msg1010 -> Msg1010 -> Bool

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

Read Msg1010

Methods

readsPrec :: Int -> ReadS Msg1010

readList :: ReadS [Msg1010]

readPrec :: ReadPrec Msg1010

readListPrec :: ReadPrec [Msg1010]

Show Msg1010

Methods

showsPrec :: Int -> Msg1010 -> ShowS

show :: Msg1010 -> String

showList :: [Msg1010] -> ShowS

ToJSON Msg1010

Methods

toJSON :: Msg1010 -> Value

toEncoding :: Msg1010 -> Encoding

toJSONList :: [Msg1010] -> Value

toEncodingList :: [Msg1010] -> Encoding

FromJSON Msg1010

Methods

parseJSON :: Value -> Parser Msg1010

parseJSONList :: Value -> Parser [Msg1010]

Binary Msg1010

Methods

put :: Msg1010 -> Put

get :: Get Msg1010

putList :: [Msg1010] -> Put

ToRTCM3 Msg1010

Methods

toRTCM3 :: Msg1010 -> Msg

msg1010_observations :: Lens' Msg1010 [Observation1010]

msg1010_header :: Lens' Msg1010 GlonassObservationHeader

msg1011 :: Word16

data Observation1011

Observation1011.

GLONASS RTK L1, L2 observation for message 1011.

Constructors

Observation1011

Fields

• _observation1011_sat :: Word8

  GLONASS satellite id.

• _observation1011_l1 :: GlonassL1Observation

  GLONASS RTK L1 observation.

• _observation1011_l2 :: GlonassL2Observation

  GLONASS RTK L2 observation.

Instances

Eq Observation1011

Methods

(==) :: Observation1011 -> Observation1011 -> Bool

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

Read Observation1011

Methods

readsPrec :: Int -> ReadS Observation1011

readList :: ReadS [Observation1011]

readPrec :: ReadPrec Observation1011

readListPrec :: ReadPrec [Observation1011]

Show Observation1011

Methods

showsPrec :: Int -> Observation1011 -> ShowS

show :: Observation1011 -> String

showList :: [Observation1011] -> ShowS

ToJSON Observation1011

Methods

toJSON :: Observation1011 -> Value

toEncoding :: Observation1011 -> Encoding

toJSONList :: [Observation1011] -> Value

toEncodingList :: [Observation1011] -> Encoding

FromJSON Observation1011

Methods

parseJSON :: Value -> Parser Observation1011

parseJSONList :: Value -> Parser [Observation1011]

BinaryBit Observation1011

Methods

putBits :: Int -> Observation1011 -> BitPut ()

getBits :: Int -> BitGet Observation1011

observation1011_sat :: Lens' Observation1011 Word8

observation1011_l2 :: Lens' Observation1011 GlonassL2Observation

observation1011_l1 :: Lens' Observation1011 GlonassL1Observation

data Msg1011

Msg1011.

RTCMv3 message 1011.

Constructors

Msg1011

Fields

• _msg1011_header :: GlonassObservationHeader

  GLONASS observation header.

• _msg1011_observations :: [Observation1011]

  GLONASS RTK L1, L2 observations.

Instances

Eq Msg1011

Methods

(==) :: Msg1011 -> Msg1011 -> Bool

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

Read Msg1011

Methods

readsPrec :: Int -> ReadS Msg1011

readList :: ReadS [Msg1011]

readPrec :: ReadPrec Msg1011

readListPrec :: ReadPrec [Msg1011]

Show Msg1011

Methods

showsPrec :: Int -> Msg1011 -> ShowS

show :: Msg1011 -> String

showList :: [Msg1011] -> ShowS

ToJSON Msg1011

Methods

toJSON :: Msg1011 -> Value

toEncoding :: Msg1011 -> Encoding

toJSONList :: [Msg1011] -> Value

toEncodingList :: [Msg1011] -> Encoding

FromJSON Msg1011

Methods

parseJSON :: Value -> Parser Msg1011

parseJSONList :: Value -> Parser [Msg1011]

Binary Msg1011

Methods

put :: Msg1011 -> Put

get :: Get Msg1011

putList :: [Msg1011] -> Put

ToRTCM3 Msg1011

Methods

toRTCM3 :: Msg1011 -> Msg

msg1011_observations :: Lens' Msg1011 [Observation1011]

msg1011_header :: Lens' Msg1011 GlonassObservationHeader

msg1012 :: Word16

data Observation1012

Observation1012.

GLONASS RTK L1, L2 extended observation for message 1012.

Constructors

Observation1012

Fields

• _observation1012_sat :: Word8

  GLONASS satellite id.

• _observation1012_l1 :: GlonassL1Observation

  GLONASS RTK L1 observation.

• _observation1012_l1e :: GlonassL1ExtObservation

  GLONASS RTK L1 extended observation.

• _observation1012_l2 :: GlonassL2Observation

  GLONASS RTK L2 observation.

• _observation1012_l2e :: GlonassL2ExtObservation

  GLONASS RTK L2 extended observation.

Instances

Eq Observation1012

Methods

(==) :: Observation1012 -> Observation1012 -> Bool

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

Read Observation1012

Methods

readsPrec :: Int -> ReadS Observation1012

readList :: ReadS [Observation1012]

readPrec :: ReadPrec Observation1012

readListPrec :: ReadPrec [Observation1012]

Show Observation1012

Methods

showsPrec :: Int -> Observation1012 -> ShowS

show :: Observation1012 -> String

showList :: [Observation1012] -> ShowS

ToJSON Observation1012

Methods

toJSON :: Observation1012 -> Value

toEncoding :: Observation1012 -> Encoding

toJSONList :: [Observation1012] -> Value

toEncodingList :: [Observation1012] -> Encoding

FromJSON Observation1012

Methods

parseJSON :: Value -> Parser Observation1012

parseJSONList :: Value -> Parser [Observation1012]

BinaryBit Observation1012

Methods

putBits :: Int -> Observation1012 -> BitPut ()

getBits :: Int -> BitGet Observation1012

observation1012_sat :: Lens' Observation1012 Word8

observation1012_l2e :: Lens' Observation1012 GlonassL2ExtObservation

observation1012_l2 :: Lens' Observation1012 GlonassL2Observation

observation1012_l1e :: Lens' Observation1012 GlonassL1ExtObservation

observation1012_l1 :: Lens' Observation1012 GlonassL1Observation

data Msg1012

Msg1012.

RTCMv3 message 1012.

Constructors

Msg1012

Fields

• _msg1012_header :: GlonassObservationHeader

  GLONASS observation header.

• _msg1012_observations :: [Observation1012]

  GLONASS RTK L1, L2 extended observations.

Instances

Eq Msg1012

Methods

(==) :: Msg1012 -> Msg1012 -> Bool

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

Read Msg1012

Methods

readsPrec :: Int -> ReadS Msg1012

readList :: ReadS [Msg1012]

readPrec :: ReadPrec Msg1012

readListPrec :: ReadPrec [Msg1012]

Show Msg1012

Methods

showsPrec :: Int -> Msg1012 -> ShowS

show :: Msg1012 -> String

showList :: [Msg1012] -> ShowS

ToJSON Msg1012

Methods

toJSON :: Msg1012 -> Value

toEncoding :: Msg1012 -> Encoding

toJSONList :: [Msg1012] -> Value

toEncodingList :: [Msg1012] -> Encoding

FromJSON Msg1012

Methods

parseJSON :: Value -> Parser Msg1012

parseJSONList :: Value -> Parser [Msg1012]

Binary Msg1012

Methods

put :: Msg1012 -> Put

get :: Get Msg1012

putList :: [Msg1012] -> Put

ToRTCM3 Msg1012

Methods

toRTCM3 :: Msg1012 -> Msg

msg1012_observations :: Lens' Msg1012 [Observation1012]

msg1012_header :: Lens' Msg1012 GlonassObservationHeader

msg1230 :: Word16

newtype Msg1230

Msg1230.

RTCMv3 message 1230.

Constructors

Msg1230

Fields

• _msg1230_bias :: GlonassBias

  GLONASS bias.

Instances

Eq Msg1230

Methods

(==) :: Msg1230 -> Msg1230 -> Bool

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

Read Msg1230

Methods

readsPrec :: Int -> ReadS Msg1230

readList :: ReadS [Msg1230]

readPrec :: ReadPrec Msg1230

readListPrec :: ReadPrec [Msg1230]

Show Msg1230

Methods

showsPrec :: Int -> Msg1230 -> ShowS

show :: Msg1230 -> String

showList :: [Msg1230] -> ShowS

ToJSON Msg1230

Methods

toJSON :: Msg1230 -> Value

toEncoding :: Msg1230 -> Encoding

toJSONList :: [Msg1230] -> Value

toEncodingList :: [Msg1230] -> Encoding

FromJSON Msg1230

Methods

parseJSON :: Value -> Parser Msg1230

parseJSONList :: Value -> Parser [Msg1230]

Binary Msg1230

Methods

put :: Msg1230 -> Put

get :: Get Msg1230

putList :: [Msg1230] -> Put

ToRTCM3 Msg1230

Methods

toRTCM3 :: Msg1230 -> Msg

msg1230_bias :: Iso' Msg1230 GlonassBias