{-# LANGUAGE LambdaCase, QuasiQuotes #-}

import Data.Binary
import Data.OpenPGP
import Data.OpenPGP.Util
import Control.Monad
import Crypto.Cipher.SBox
-- import Data.ByteString (ByteString)
import qualified Data.ByteString.Lazy as BL
import System.IO

-- Five pgp packets.
keyring :: BL.ByteString
keyring = BL.fromChunks . (:[]) $ [bytes|
    98 33 04 5d c3 17 92 16 09 2b 06 01 04 01 da 47
    0f 01 01 07 40 d3 0e e6 a9 02 02 ce 00 35 98 4d
    46 a5 c2 fe 77 dd 91 aa b0 ee db 37 f2 d3 60 71
    e9 55 9f 9a d0 b4 1b 74 65 73 74 65 72 20 3c 6e
    6f 62 6f 64 79 40 65 78 61 6d 70 6c 65 2e 63 6f
    6d 3e 88 90 04 13 16 0a 00 38 16 21 04 7e ea bd
    d2 ea 2e 2a 5d eb c7 b0 35 6f 1d fe 7b 47 ad 75
    bb 05 02 5d c3 17 92 02 1b 03 05 0b 09 08 07 02
    06 15 0a 09 08 0b 02 04 16 02 03 01 02 1e 01 02
    17 80 00 0a 09 10 6f 1d fe 7b 47 ad 75 bb f3 f0
    00 ff 57 ff 3b 5d 8e 7c 43 f0 d4 4f fe 0e 10 76
    e4 d5 55 0d e1 db 28 e1 92 87 05 02 24 50 d1 c4
    3d 35 00 ff 50 ef f4 dd 3f 69 89 a4 89 12 eb 0d
    5e 11 4f 79 67 89 04 fd 60 ba fd 2a 50 1e 03 21
    38 9a 2a 04 b8 38 04 5d c3 17 92 12 0a 2b 06 01
    04 01 97 55 01 05 01 01 07 40 73 1d 7a 99 ae e3
    0e 8f 49 74 7d f3 b6 91 f2 d9 44 1c 4a bc eb 43
    17 96 0b 8f 2c fc 6b 2e 8a 7c 03 01 08 07 88 78
    04 18 16 0a 00 20 16 21 04 7e ea bd d2 ea 2e 2a
    5d eb c7 b0 35 6f 1d fe 7b 47 ad 75 bb 05 02 5d
    c3 17 92 02 1b 0c 00 0a 09 10 6f 1d fe 7b 47 ad
    75 bb a3 4e 00 fe 2b e9 46 86 d5 02 d7 e1 47 e7
    27 3e e1 3b 5a d8 7d 81 41 24 3e a2 4e c4 b2 f3
    cd 8f 09 24 6f e3 00 ff 61 bb 9a 89 9f 6f 5f c2
    39 18 15 cb f6 c9 2f 24 a3 ba 7d 6d a0 1e f0 a2
    5d a6 2e 03 4c 97 9f 0d
    |]

main = do
    let Message
            [ master -- ---Public 7EEABDD2EA2E2A5DEBC7B0356F1DFE7B47AD75BB Ed25519
            , uid    -- UserID "tester <nobody@example.com>"
            , uidsig -- Signature ^ signed: 6F1DFE7B47AD75BB ["vouch-sign"]
            , subkey -- PublicKey 231056D292F432A87A5207F7E1304F68665EC913 ECC
            , subsig -- Signature ^ signed: 6F1DFE7B47AD75BB ["encrypt"]
            ] = decode keyring
        over_uid = CertificationSignature master uid [uidsig]
        over_sub = SubkeySignature master subkey [subsig]

    let uid_result = not . null $ signatures_over $ verify (Message [master]) over_uid
    putStrLn $ "   UID signature: " ++ show uid_result

    let sub_result = not . null $ signatures_over $ verify (Message [master]) over_sub
    putStrLn $ "Subkey signature: " ++ show sub_result