Add usage of secureMain in the examples

sel/CHANGELOG.md

@@ -1,3 +1,5 @@
 # CHANGELOG
 
-## [Unreleased]
+## sel-0.0.2.0 -- XXXX-XX-XX
+
+* Add usages of `secureMain` in examples

sel/src/Sel/HMAC/SHA256.hs

@@ -95,8 +95,9 @@ import Sel.Internal (allocateWith, foreignPtrEq, foreignPtrOrd)
 -- $usage
 --
 -- > import Sel.HMAC.SHA256 qualified as HMAC
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- The parties agree on a shared secret key
 -- >   authKey <- HMAC.newAuthenticationKey
 -- >   -- An authentication tag is computed for the message by the server

sel/src/Sel/HMAC/SHA512.hs

@@ -95,8 +95,9 @@ import Sel.Internal (allocateWith, foreignPtrEq, foreignPtrOrd)
 -- $usage
 --
 -- > import Sel.HMAC.SHA512 qualified as HMAC
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- The parties agree on a shared secret key
 -- >   authKey <- HMAC.newAuthenticationKey
 -- >   -- An authentication tag is computed for the message by the server

sel/src/Sel/HMAC/SHA512_256.hs

@@ -93,8 +93,9 @@ import Sel.Internal (allocateWith, foreignPtrEq, foreignPtrOrd)
 -- $usage
 --
 -- > import Sel.HMAC.SHA512_256 qualified as HMAC
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- The parties agree on a shared secret key
 -- >   authKey <- HMAC.newAuthenticationKey
 -- >   -- An authentication tag is computed for the message by the server

sel/src/Sel/PublicKey/Cipher.hs

@@ -89,8 +89,9 @@ import Sel.Internal
 -- $usage
 --
 -- > import qualified Sel.PublicKey.Cipher as Cipher
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- We get the sender their pair of keys:
 -- >   (senderSecretKey, senderPublicKey) <- newKeyPair
 -- >   -- We get the nonce from the other party with the message, or with 'encrypt' and our own message.

sel/src/Sel/PublicKey/Seal.hs

@@ -62,8 +62,9 @@ import Sel.PublicKey.Cipher (CipherText (CipherText), EncryptionError (..), KeyP
 -- $usage
 --
 -- > import qualified Sel.PublicKey.Seal as Seal
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- We get the recipient their pair of keys:
 -- > (recipientPublicKey, recipientSecretKey) <- newKeyPair
 -- >   encryptedMessage <- Seal.encrypt "hello hello" recipientPublicKey

sel/src/Sel/SecretKey/Authentication.hs

@@ -70,8 +70,9 @@ import Sel.Internal
 -- $usage
 --
 -- > import Sel.SecretKey.Authentication qualified as Auth
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- The parties agree on a shared secret key
 -- >   authKey <- Auth.newAuthenticationKey
 -- >   -- An authentication tag is computed for the message by the server

sel/src/Sel/SecretKey/Cipher.hs

@@ -83,8 +83,9 @@ import Sel.Internal
 -- $usage
 --
 -- > import qualified Sel.SecretKey.Cipher as Cipher
+-- > import Sel (secureMain)
 -- >
--- > main = do
+-- > main = secureMain $ do
 -- >   -- We get the secretKey from the other party or with 'newSecretKey'.
 -- >   -- We get the nonce from the other party with the message, or with 'encrypt' and our own message.
 -- >   -- Do not reuse a nonce with the same secret key!

sel/test/Main.hs

@@ -2,7 +2,6 @@ module Main where
 
 import Test.Tasty
 
-import LibSodium.Bindings.Main (sodiumInit)
 import qualified Test.HMAC as HMAC
 import qualified Test.Hashing as Hashing
 import qualified Test.Hashing.Password as Password
@@ -15,10 +14,10 @@ import qualified Test.Scrypt as Scrypt
 import qualified Test.SecretKey.Authentication as SecretKey.Authentication
 import qualified Test.SecretKey.Cipher as SecretKey.Cipher
 import qualified Test.SecretKey.Stream as SecretKey.Stream
+import Sel (secureMain)
 
 main :: IO ()
-main = do
-  sodiumInit
+main = secureMain $ do
   defaultMain . testGroup "sel tests" $ specs
 
 specs :: [TestTree]