{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# LANGUAGE NoImplicitPrelude           #-}
{-# LANGUAGE TemplateHaskell             #-}
{-# LANGUAGE RecordWildCards             #-}

-- |
-- Module:      SwiftNav.SBP.Signing
-- Copyright:   Copyright (C) 2015-2021 Swift Navigation, Inc.
-- License:     MIT
-- Contact:     https://support.swiftnav.com
-- Stability:   experimental
-- Portability: portable
--
-- \< Messages relating to signatures \>

module SwiftNav.SBP.Signing
  ( module SwiftNav.SBP.Signing
  ) where

import BasicPrelude
import Control.Lens
import Control.Monad.Loops
import Data.Binary
import Data.Binary.Get
import Data.Binary.IEEE754
import Data.Binary.Put
import Data.ByteString.Lazy    hiding (ByteString)
import Data.Int
import Data.Word
import SwiftNav.SBP.TH
import SwiftNav.SBP.Types
import SwiftNav.SBP.Gnss

{-# ANN module ("HLint: ignore Use camelCase"::String) #-}
{-# ANN module ("HLint: ignore Redundant do"::String) #-}
{-# ANN module ("HLint: ignore Use newtype instead of data"::String) #-}


msgEd25519Signature :: Word16
msgEd25519Signature :: Word16
msgEd25519Signature = Word16
0x0C01

data MsgEd25519Signature = MsgEd25519Signature
  { MsgEd25519Signature -> [Word8]
_msgEd25519Signature_stub :: ![Word8]
  } deriving ( Int -> MsgEd25519Signature -> ShowS
[MsgEd25519Signature] -> ShowS
MsgEd25519Signature -> String
(Int -> MsgEd25519Signature -> ShowS)
-> (MsgEd25519Signature -> String)
-> ([MsgEd25519Signature] -> ShowS)
-> Show MsgEd25519Signature
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MsgEd25519Signature] -> ShowS
$cshowList :: [MsgEd25519Signature] -> ShowS
show :: MsgEd25519Signature -> String
$cshow :: MsgEd25519Signature -> String
showsPrec :: Int -> MsgEd25519Signature -> ShowS
$cshowsPrec :: Int -> MsgEd25519Signature -> ShowS
Show, ReadPrec [MsgEd25519Signature]
ReadPrec MsgEd25519Signature
Int -> ReadS MsgEd25519Signature
ReadS [MsgEd25519Signature]
(Int -> ReadS MsgEd25519Signature)
-> ReadS [MsgEd25519Signature]
-> ReadPrec MsgEd25519Signature
-> ReadPrec [MsgEd25519Signature]
-> Read MsgEd25519Signature
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [MsgEd25519Signature]
$creadListPrec :: ReadPrec [MsgEd25519Signature]
readPrec :: ReadPrec MsgEd25519Signature
$creadPrec :: ReadPrec MsgEd25519Signature
readList :: ReadS [MsgEd25519Signature]
$creadList :: ReadS [MsgEd25519Signature]
readsPrec :: Int -> ReadS MsgEd25519Signature
$creadsPrec :: Int -> ReadS MsgEd25519Signature
Read, MsgEd25519Signature -> MsgEd25519Signature -> Bool
(MsgEd25519Signature -> MsgEd25519Signature -> Bool)
-> (MsgEd25519Signature -> MsgEd25519Signature -> Bool)
-> Eq MsgEd25519Signature
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MsgEd25519Signature -> MsgEd25519Signature -> Bool
$c/= :: MsgEd25519Signature -> MsgEd25519Signature -> Bool
== :: MsgEd25519Signature -> MsgEd25519Signature -> Bool
$c== :: MsgEd25519Signature -> MsgEd25519Signature -> Bool
Eq )

instance Binary MsgEd25519Signature where
  get :: Get MsgEd25519Signature
get = do
    [Word8]
_msgEd25519Signature_stub <- Get Bool -> Get Word8 -> Get [Word8]
forall (m :: * -> *) a. Monad m => m Bool -> m a -> m [a]
whileM (Bool -> Bool
not (Bool -> Bool) -> Get Bool -> Get Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Get Bool
isEmpty) Get Word8
getWord8
    MsgEd25519Signature -> Get MsgEd25519Signature
forall (f :: * -> *) a. Applicative f => a -> f a
pure MsgEd25519Signature :: [Word8] -> MsgEd25519Signature
MsgEd25519Signature {[Word8]
_msgEd25519Signature_stub :: [Word8]
_msgEd25519Signature_stub :: [Word8]
..}

  put :: MsgEd25519Signature -> Put
put MsgEd25519Signature {[Word8]
_msgEd25519Signature_stub :: [Word8]
_msgEd25519Signature_stub :: MsgEd25519Signature -> [Word8]
..} = do
    (Word8 -> Put) -> [Word8] -> Put
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ Word8 -> Put
putWord8 [Word8]
_msgEd25519Signature_stub

$(makeSBP 'msgEd25519Signature ''MsgEd25519Signature)
$(makeJSON "_msgEd25519Signature_" ''MsgEd25519Signature)
$(makeLenses ''MsgEd25519Signature)

msgEd25519Certificate :: Word16
msgEd25519Certificate :: Word16
msgEd25519Certificate = Word16
0x0C02

data MsgEd25519Certificate = MsgEd25519Certificate
  { MsgEd25519Certificate -> [Word8]
_msgEd25519Certificate_stub :: ![Word8]
  } deriving ( Int -> MsgEd25519Certificate -> ShowS
[MsgEd25519Certificate] -> ShowS
MsgEd25519Certificate -> String
(Int -> MsgEd25519Certificate -> ShowS)
-> (MsgEd25519Certificate -> String)
-> ([MsgEd25519Certificate] -> ShowS)
-> Show MsgEd25519Certificate
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MsgEd25519Certificate] -> ShowS
$cshowList :: [MsgEd25519Certificate] -> ShowS
show :: MsgEd25519Certificate -> String
$cshow :: MsgEd25519Certificate -> String
showsPrec :: Int -> MsgEd25519Certificate -> ShowS
$cshowsPrec :: Int -> MsgEd25519Certificate -> ShowS
Show, ReadPrec [MsgEd25519Certificate]
ReadPrec MsgEd25519Certificate
Int -> ReadS MsgEd25519Certificate
ReadS [MsgEd25519Certificate]
(Int -> ReadS MsgEd25519Certificate)
-> ReadS [MsgEd25519Certificate]
-> ReadPrec MsgEd25519Certificate
-> ReadPrec [MsgEd25519Certificate]
-> Read MsgEd25519Certificate
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [MsgEd25519Certificate]
$creadListPrec :: ReadPrec [MsgEd25519Certificate]
readPrec :: ReadPrec MsgEd25519Certificate
$creadPrec :: ReadPrec MsgEd25519Certificate
readList :: ReadS [MsgEd25519Certificate]
$creadList :: ReadS [MsgEd25519Certificate]
readsPrec :: Int -> ReadS MsgEd25519Certificate
$creadsPrec :: Int -> ReadS MsgEd25519Certificate
Read, MsgEd25519Certificate -> MsgEd25519Certificate -> Bool
(MsgEd25519Certificate -> MsgEd25519Certificate -> Bool)
-> (MsgEd25519Certificate -> MsgEd25519Certificate -> Bool)
-> Eq MsgEd25519Certificate
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MsgEd25519Certificate -> MsgEd25519Certificate -> Bool
$c/= :: MsgEd25519Certificate -> MsgEd25519Certificate -> Bool
== :: MsgEd25519Certificate -> MsgEd25519Certificate -> Bool
$c== :: MsgEd25519Certificate -> MsgEd25519Certificate -> Bool
Eq )

instance Binary MsgEd25519Certificate where
  get :: Get MsgEd25519Certificate
get = do
    [Word8]
_msgEd25519Certificate_stub <- Get Bool -> Get Word8 -> Get [Word8]
forall (m :: * -> *) a. Monad m => m Bool -> m a -> m [a]
whileM (Bool -> Bool
not (Bool -> Bool) -> Get Bool -> Get Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Get Bool
isEmpty) Get Word8
getWord8
    MsgEd25519Certificate -> Get MsgEd25519Certificate
forall (f :: * -> *) a. Applicative f => a -> f a
pure MsgEd25519Certificate :: [Word8] -> MsgEd25519Certificate
MsgEd25519Certificate {[Word8]
_msgEd25519Certificate_stub :: [Word8]
_msgEd25519Certificate_stub :: [Word8]
..}

  put :: MsgEd25519Certificate -> Put
put MsgEd25519Certificate {[Word8]
_msgEd25519Certificate_stub :: [Word8]
_msgEd25519Certificate_stub :: MsgEd25519Certificate -> [Word8]
..} = do
    (Word8 -> Put) -> [Word8] -> Put
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ Word8 -> Put
putWord8 [Word8]
_msgEd25519Certificate_stub

$(makeSBP 'msgEd25519Certificate ''MsgEd25519Certificate)
$(makeJSON "_msgEd25519Certificate_" ''MsgEd25519Certificate)
$(makeLenses ''MsgEd25519Certificate)