signet 0.2025.5.21 → 1.0.0.0

raw patch · 37 files changed

+40/−61 lines, 37 filesdep +heckPVP ok

version bump matches the API change (PVP)

Dependencies added: heck

API changes (from Hackage documentation)

- Signet.Unstable.Type.Test: MkTest :: (forall void. HasCallStack => String -> io void) -> (String -> tree () -> tree ()) -> (String -> io () -> tree ()) -> Test (io :: Type -> Type) (tree :: Type -> Type)

- Signet.Unstable.Type.Test: [assertFailure] :: Test (io :: Type -> Type) (tree :: Type -> Type) -> forall void. HasCallStack => String -> io void

- Signet.Unstable.Type.Test: [describe] :: Test (io :: Type -> Type) (tree :: Type -> Type) -> String -> tree () -> tree ()

- Signet.Unstable.Type.Test: [it] :: Test (io :: Type -> Type) (tree :: Type -> Type) -> String -> io () -> tree ()

- Signet.Unstable.Type.Test: assertEq :: forall io a (tree :: Type -> Type). (HasCallStack, Applicative io, Eq a, Show a) => Test io tree -> a -> a -> io ()

- Signet.Unstable.Type.Test: data Test (io :: Type -> Type) (tree :: Type -> Type)

Files

signet.cabal +5/−3
source/library/Signet/Unstable/Exception/InvalidAsymmetricSignatureTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidIdTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidMessageTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidPublicKeyTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidSecretKeyTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidSecretTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidSignatureTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidSignerTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidSymmetricSignatureTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidTimestampTest.hs +1/−1
source/library/Signet/Unstable/Exception/InvalidVerifierTest.hs +1/−1
source/library/Signet/Unstable/Exception/SignetExceptionTest.hs +1/−1
source/library/Signet/Unstable/Exception/ToleranceExceptionTest.hs +1/−1
source/library/Signet/Unstable/Exception/UnknownSignatureTest.hs +1/−1
source/library/Signet/Unstable/Exception/VerificationExceptionTest.hs +1/−1
source/library/Signet/Unstable/Extra/EitherTest.hs +1/−1
source/library/Signet/Unstable/Extra/HttpTest.hs +1/−1
source/library/Signet/Unstable/Extra/MaybeTest.hs +1/−1
source/library/Signet/Unstable/Type/AsymmetricSignatureTest.hs +1/−1
source/library/Signet/Unstable/Type/IdTest.hs +1/−1
source/library/Signet/Unstable/Type/MessageTest.hs +1/−1
source/library/Signet/Unstable/Type/PayloadTest.hs +1/−1
source/library/Signet/Unstable/Type/PublicKeyTest.hs +1/−1
source/library/Signet/Unstable/Type/SecretKeyTest.hs +1/−1
source/library/Signet/Unstable/Type/SecretTest.hs +1/−1
source/library/Signet/Unstable/Type/SignatureTest.hs +1/−1
source/library/Signet/Unstable/Type/SignaturesTest.hs +1/−1
source/library/Signet/Unstable/Type/SignerTest.hs +1/−1
source/library/Signet/Unstable/Type/SymmetricSignatureTest.hs +1/−1
source/library/Signet/Unstable/Type/Test.hs +0/−23
source/library/Signet/Unstable/Type/TimestampTest.hs +1/−1
source/library/Signet/Unstable/Type/ToleranceTest.hs +1/−1
source/library/Signet/Unstable/Type/VerifierTest.hs +1/−1
source/library/Signet/UnstableTest.hs +1/−1
source/library/SignetTest.hs +1/−1
source/test-suite/Main.hs +1/−1

signet.cabal view

@@ -1,6 +1,6 @@ cabal-version: 3.0 name: signet-version: 0.2025.5.21+version: 1.0.0.0 synopsis: Standard Webhooks description:   Signet is a Haskell library for working with Standard Webhooks.@@ -22,7 +22,10 @@   manual: True  common library-  build-depends: base ^>=4.19 || ^>=4.20 || ^>=4.21+  build-depends:+    base ^>=4.19 || ^>=4.20 || ^>=4.21,+    heck ^>=1,+   default-language: Haskell2010   ghc-options:     -Weverything@@ -115,7 +118,6 @@     Signet.Unstable.Type.SignerTest     Signet.Unstable.Type.SymmetricSignature     Signet.Unstable.Type.SymmetricSignatureTest-    Signet.Unstable.Type.Test     Signet.Unstable.Type.Timestamp     Signet.Unstable.Type.TimestampTest     Signet.Unstable.Type.Tolerance

source/library/Signet/Unstable/Exception/InvalidAsymmetricSignatureTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidAsymmetricSignatureTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidAsymmetricSignature" $ do

source/library/Signet/Unstable/Exception/InvalidIdTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidIdTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidId" $ do

source/library/Signet/Unstable/Exception/InvalidMessageTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidMessageTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidMessage" $ do

source/library/Signet/Unstable/Exception/InvalidPublicKeyTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidPublicKeyTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidPublicKey" $ do

source/library/Signet/Unstable/Exception/InvalidSecretKeyTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidSecretKeyTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidSecretKey" $ do

source/library/Signet/Unstable/Exception/InvalidSecretTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidSecretTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidSecret" $ do

source/library/Signet/Unstable/Exception/InvalidSignatureTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidSignatureTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidSignature" $ do

source/library/Signet/Unstable/Exception/InvalidSignerTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidSignerTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidSigner" $ do

source/library/Signet/Unstable/Exception/InvalidSymmetricSignatureTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidSymmetricSignatureTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidSymmetricSignature" $ do

source/library/Signet/Unstable/Exception/InvalidTimestampTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidTimestampTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidTimestamp" $ do

source/library/Signet/Unstable/Exception/InvalidVerifierTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.InvalidVerifierTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.InvalidVerifier" $ do

source/library/Signet/Unstable/Exception/SignetExceptionTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.SignetExceptionTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.SignetException" $ do

source/library/Signet/Unstable/Exception/ToleranceExceptionTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.ToleranceExceptionTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.ToleranceException" $ do

source/library/Signet/Unstable/Exception/UnknownSignatureTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.UnknownSignatureTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.UnknownSignature" $ do

source/library/Signet/Unstable/Exception/VerificationExceptionTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Exception.VerificationExceptionTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Exception.VerificationException" $ do

source/library/Signet/Unstable/Extra/EitherTest.hs view

@@ -2,8 +2,8 @@  import qualified Control.Monad.Catch as Exception import qualified Data.Void as Void+import qualified Heck as Test import qualified Signet.Unstable.Extra.Either as Either-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadCatch io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Extra.Either" $ do

source/library/Signet/Unstable/Extra/HttpTest.hs view

@@ -2,8 +2,8 @@  import qualified Data.ByteString.Char8 as Ascii import qualified Data.CaseInsensitive as CI+import qualified Heck as Test import qualified Signet.Unstable.Extra.Http as Http-import qualified Signet.Unstable.Type.Test as Test  spec :: (Applicative io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Extra.Http" $ do

source/library/Signet/Unstable/Extra/MaybeTest.hs view

@@ -1,8 +1,8 @@ module Signet.Unstable.Extra.MaybeTest where  import qualified Data.Void as Void+import qualified Heck as Test import qualified Signet.Unstable.Extra.Maybe as Maybe-import qualified Signet.Unstable.Type.Test as Test  spec :: (Applicative io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Extra.Maybe" $ do

source/library/Signet/Unstable/Type/AsymmetricSignatureTest.hs view

@@ -4,10 +4,10 @@ import qualified Crypto.Error as Error import qualified Crypto.PubKey.Ed25519 as Ed25519 import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidAsymmetricSignature as InvalidAsymmetricSignature import qualified Signet.Unstable.Extra.Either as Either import qualified Signet.Unstable.Type.AsymmetricSignature as AsymmetricSignature-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.AsymmetricSignature" $ do

source/library/Signet/Unstable/Type/IdTest.hs view

@@ -1,9 +1,9 @@ module Signet.Unstable.Type.IdTest where  import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidId as InvalidId import qualified Signet.Unstable.Type.Id as Id-import qualified Signet.Unstable.Type.Test as Test  spec :: (Applicative io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Id" $ do

source/library/Signet/Unstable/Type/MessageTest.hs view

@@ -2,13 +2,13 @@  import qualified Control.Monad.Catch as Exception import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidMessage as InvalidMessage import qualified Signet.Unstable.Exception.InvalidTimestamp as InvalidTimestamp import qualified Signet.Unstable.Extra.Either as Either import qualified Signet.Unstable.Type.Id as Id import qualified Signet.Unstable.Type.Message as Message import qualified Signet.Unstable.Type.Payload as Payload-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.Timestamp as Timestamp  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree ()

source/library/Signet/Unstable/Type/PayloadTest.hs view

@@ -1,6 +1,6 @@ module Signet.Unstable.Type.PayloadTest where -import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test  spec :: (Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Payload" $ do

source/library/Signet/Unstable/Type/PublicKeyTest.hs view

@@ -4,10 +4,10 @@ import qualified Crypto.Error as Error import qualified Crypto.PubKey.Ed25519 as Ed25519 import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidPublicKey as InvalidPublicKey import qualified Signet.Unstable.Extra.Either as Either import qualified Signet.Unstable.Type.PublicKey as PublicKey-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.PublicKey" $ do

source/library/Signet/Unstable/Type/SecretKeyTest.hs view

@@ -4,10 +4,10 @@ import qualified Crypto.Error as Error import qualified Crypto.PubKey.Ed25519 as Ed25519 import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidSecretKey as InvalidSecretKey import qualified Signet.Unstable.Extra.Either as Either import qualified Signet.Unstable.Type.SecretKey as SecretKey-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.SecretKey" $ do

source/library/Signet/Unstable/Type/SecretTest.hs view

@@ -2,9 +2,9 @@  import qualified Data.ByteArray as ByteArray import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidSecret as InvalidSecret import qualified Signet.Unstable.Type.Secret as Secret-import qualified Signet.Unstable.Type.Test as Test  spec :: (Applicative io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Secret" $ do

source/library/Signet/Unstable/Type/SignatureTest.hs view

@@ -6,6 +6,7 @@ import qualified Crypto.PubKey.Ed25519 as Ed25519 import qualified Data.ByteString as ByteString import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidAsymmetricSignature as InvalidAsymmetricSignature import qualified Signet.Unstable.Exception.InvalidSignature as InvalidSignature import qualified Signet.Unstable.Exception.InvalidSymmetricSignature as InvalidSymmetricSignature@@ -14,7 +15,6 @@ import qualified Signet.Unstable.Type.AsymmetricSignature as AsymmetricSignature import qualified Signet.Unstable.Type.Signature as Signature import qualified Signet.Unstable.Type.SymmetricSignature as SymmetricSignature-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Signature" $ do

source/library/Signet/Unstable/Type/SignaturesTest.hs view

@@ -6,6 +6,7 @@ import qualified Crypto.PubKey.Ed25519 as Ed25519 import qualified Data.ByteString as ByteString import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidAsymmetricSignature as InvalidAsymmetricSignature import qualified Signet.Unstable.Exception.InvalidSignature as InvalidSignature import qualified Signet.Unstable.Exception.InvalidSymmetricSignature as InvalidSymmetricSignature@@ -15,7 +16,6 @@ import qualified Signet.Unstable.Type.Signature as Signature import qualified Signet.Unstable.Type.Signatures as Signatures import qualified Signet.Unstable.Type.SymmetricSignature as SymmetricSignature-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Signatures" $ do

source/library/Signet/Unstable/Type/SignerTest.hs view

@@ -2,6 +2,7 @@  import qualified Control.Monad.Catch as Exception import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidSigner as InvalidSigner import qualified Signet.Unstable.Extra.Either as Either import qualified Signet.Unstable.Type.AsymmetricSignature as AsymmetricSignature@@ -11,7 +12,6 @@ import qualified Signet.Unstable.Type.Signature as Signature import qualified Signet.Unstable.Type.Signer as Signer import qualified Signet.Unstable.Type.SymmetricSignature as SymmetricSignature-import qualified Signet.Unstable.Type.Test as Test  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.Signer" $ do

source/library/Signet/Unstable/Type/SymmetricSignatureTest.hs view

@@ -3,9 +3,9 @@ import qualified Crypto.Hash as Hash import qualified Data.ByteString as ByteString import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidSymmetricSignature as InvalidSymmetricSignature import qualified Signet.Unstable.Type.SymmetricSignature as SymmetricSignature-import qualified Signet.Unstable.Type.Test as Test  spec :: (Applicative io, Monad tree) => Test.Test io tree -> tree () spec test = Test.describe test "Signet.Unstable.Type.SymmetricSignature" $ do

− source/library/Signet/Unstable/Type/Test.hs

@@ -1,23 +0,0 @@-{-# LANGUAGE RankNTypes #-}--module Signet.Unstable.Type.Test where--import qualified Control.Monad as Monad-import qualified GHC.Stack as Stack--data Test io tree = MkTest-  { assertFailure :: forall void. (Stack.HasCallStack) => String -> io void,-    describe :: String -> tree () -> tree (),-    it :: String -> io () -> tree ()-  }--assertEq ::-  (Stack.HasCallStack, Applicative io, Eq a, Show a) =>-  Test io tree ->-  a ->-  a ->-  io ()-assertEq test expected actual =-  Monad.when (expected /= actual)-    . assertFailure test-    $ "expected " <> show expected <> " but got " <> show actual

source/library/Signet/Unstable/Type/TimestampTest.hs view

@@ -3,9 +3,9 @@ import qualified Control.Monad.Catch as Exception import qualified Data.ByteString.Char8 as Ascii import qualified Data.Time as Time+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidTimestamp as InvalidTimestamp import qualified Signet.Unstable.Extra.Either as Either-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.Timestamp as Timestamp  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree ()

source/library/Signet/Unstable/Type/ToleranceTest.hs view

@@ -1,8 +1,8 @@ module Signet.Unstable.Type.ToleranceTest where  import qualified Data.Time as Time+import qualified Heck as Test import qualified Signet.Unstable.Exception.ToleranceException as ToleranceException-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.Timestamp as Timestamp import qualified Signet.Unstable.Type.Tolerance as Tolerance

source/library/Signet/Unstable/Type/VerifierTest.hs view

@@ -2,6 +2,7 @@  import qualified Control.Monad.Catch as Exception import qualified Data.ByteString.Char8 as Ascii+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidVerifier as InvalidVerifier import qualified Signet.Unstable.Exception.VerificationException as VerificationException import qualified Signet.Unstable.Extra.Either as Either@@ -12,7 +13,6 @@ import qualified Signet.Unstable.Type.Signature as Signature import qualified Signet.Unstable.Type.Signatures as Signatures import qualified Signet.Unstable.Type.SymmetricSignature as SymmetricSignature-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.Verifier as Verifier  spec :: (Exception.MonadThrow io, Monad tree) => Test.Test io tree -> tree ()

source/library/Signet/UnstableTest.hs view

@@ -3,6 +3,7 @@ import qualified Control.Monad.Catch as Exception import qualified Data.ByteString.Char8 as Ascii import qualified Data.Time as Time+import qualified Heck as Test import qualified Signet.Unstable as Signet import qualified Signet.Unstable.Exception.SignetException as SignetException import qualified Signet.Unstable.Exception.ToleranceException as ToleranceException@@ -11,7 +12,6 @@ import qualified Signet.Unstable.Type.Message as Message import qualified Signet.Unstable.Type.Signature as Signature import qualified Signet.Unstable.Type.Signatures as Signatures-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.Tolerance as Tolerance import qualified Signet.Unstable.Type.Verifier as Verifier

source/library/SignetTest.hs view

@@ -1,6 +1,7 @@ module SignetTest where  import qualified Control.Monad.Catch as Exception+import qualified Heck as Test import qualified Signet.Unstable.Exception.InvalidAsymmetricSignatureTest import qualified Signet.Unstable.Exception.InvalidIdTest import qualified Signet.Unstable.Exception.InvalidMessageTest@@ -30,7 +31,6 @@ import qualified Signet.Unstable.Type.SignaturesTest import qualified Signet.Unstable.Type.SignerTest import qualified Signet.Unstable.Type.SymmetricSignatureTest-import qualified Signet.Unstable.Type.Test as Test import qualified Signet.Unstable.Type.TimestampTest import qualified Signet.Unstable.Type.ToleranceTest import qualified Signet.Unstable.Type.VerifierTest

source/test-suite/Main.hs view

@@ -1,5 +1,5 @@ import qualified Control.Monad.Trans.Writer as Writer-import qualified Signet.Unstable.Type.Test as Test+import qualified Heck as Test import qualified SignetTest import qualified Test.Tasty as Tasty import qualified Test.Tasty.HUnit as Unit