{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
module Cardano.Crypto.DSIGN.NeverUsed
  ( NeverDSIGN
  , VerKeyDSIGN (..)
  , SignKeyDSIGN (..)
  , SigDSIGN (..)
  )
where

import GHC.Generics (Generic)

import NoThunks.Class (NoThunks)

import Cardano.Crypto.DSIGN.Class


-- | DSIGN never used
--
-- The type of keys and signatures is isomorphic to unit, but when actually
-- trying to sign or verify something a runtime exception will be thrown.
data NeverDSIGN

instance DSIGNAlgorithm NeverDSIGN where
  type SeedSizeDSIGN NeverDSIGN = 0
  type SizeVerKeyDSIGN  NeverDSIGN = 0
  type SizeSignKeyDSIGN NeverDSIGN = 0
  type SizeSigDSIGN     NeverDSIGN = 0

  data VerKeyDSIGN  NeverDSIGN = NeverUsedVerKeyDSIGN
     deriving (Int -> VerKeyDSIGN NeverDSIGN -> ShowS
[VerKeyDSIGN NeverDSIGN] -> ShowS
VerKeyDSIGN NeverDSIGN -> String
(Int -> VerKeyDSIGN NeverDSIGN -> ShowS)
-> (VerKeyDSIGN NeverDSIGN -> String)
-> ([VerKeyDSIGN NeverDSIGN] -> ShowS)
-> Show (VerKeyDSIGN NeverDSIGN)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [VerKeyDSIGN NeverDSIGN] -> ShowS
$cshowList :: [VerKeyDSIGN NeverDSIGN] -> ShowS
show :: VerKeyDSIGN NeverDSIGN -> String
$cshow :: VerKeyDSIGN NeverDSIGN -> String
showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS
$cshowsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS
Show, VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
(VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> Eq (VerKeyDSIGN NeverDSIGN)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c/= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
== :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c== :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
Eq, Eq (VerKeyDSIGN NeverDSIGN)
Eq (VerKeyDSIGN NeverDSIGN)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Ordering)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> (VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool)
-> (VerKeyDSIGN NeverDSIGN
    -> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN)
-> (VerKeyDSIGN NeverDSIGN
    -> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN)
-> Ord (VerKeyDSIGN NeverDSIGN)
VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Ordering
VerKeyDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: VerKeyDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
$cmin :: VerKeyDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
max :: VerKeyDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
$cmax :: VerKeyDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
>= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c>= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
> :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c> :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
<= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c<= :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
< :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
$c< :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool
compare :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Ordering
$ccompare :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Ordering
$cp1Ord :: Eq (VerKeyDSIGN NeverDSIGN)
Ord, (forall x.
 VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x)
-> (forall x.
    Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN)
-> Generic (VerKeyDSIGN NeverDSIGN)
forall x. Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN
forall x. VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN
$cfrom :: forall x. VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x
Generic, Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
Proxy (VerKeyDSIGN NeverDSIGN) -> String
(Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Proxy (VerKeyDSIGN NeverDSIGN) -> String)
-> NoThunks (VerKeyDSIGN NeverDSIGN)
forall a.
(Context -> a -> IO (Maybe ThunkInfo))
-> (Context -> a -> IO (Maybe ThunkInfo))
-> (Proxy a -> String)
-> NoThunks a
showTypeOf :: Proxy (VerKeyDSIGN NeverDSIGN) -> String
$cshowTypeOf :: Proxy (VerKeyDSIGN NeverDSIGN) -> String
wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cwNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cnoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
NoThunks)

  data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
     deriving (Int -> SignKeyDSIGN NeverDSIGN -> ShowS
[SignKeyDSIGN NeverDSIGN] -> ShowS
SignKeyDSIGN NeverDSIGN -> String
(Int -> SignKeyDSIGN NeverDSIGN -> ShowS)
-> (SignKeyDSIGN NeverDSIGN -> String)
-> ([SignKeyDSIGN NeverDSIGN] -> ShowS)
-> Show (SignKeyDSIGN NeverDSIGN)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [SignKeyDSIGN NeverDSIGN] -> ShowS
$cshowList :: [SignKeyDSIGN NeverDSIGN] -> ShowS
show :: SignKeyDSIGN NeverDSIGN -> String
$cshow :: SignKeyDSIGN NeverDSIGN -> String
showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS
$cshowsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS
Show, SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
(SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> Eq (SignKeyDSIGN NeverDSIGN)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c/= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
== :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c== :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
Eq, Eq (SignKeyDSIGN NeverDSIGN)
Eq (SignKeyDSIGN NeverDSIGN)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Ordering)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> (SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool)
-> (SignKeyDSIGN NeverDSIGN
    -> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN)
-> (SignKeyDSIGN NeverDSIGN
    -> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN)
-> Ord (SignKeyDSIGN NeverDSIGN)
SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Ordering
SignKeyDSIGN NeverDSIGN
-> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: SignKeyDSIGN NeverDSIGN
-> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN
$cmin :: SignKeyDSIGN NeverDSIGN
-> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN
max :: SignKeyDSIGN NeverDSIGN
-> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN
$cmax :: SignKeyDSIGN NeverDSIGN
-> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN
>= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c>= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
> :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c> :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
<= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c<= :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
< :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
$c< :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool
compare :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Ordering
$ccompare :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Ordering
$cp1Ord :: Eq (SignKeyDSIGN NeverDSIGN)
Ord, (forall x.
 SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x)
-> (forall x.
    Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN)
-> Generic (SignKeyDSIGN NeverDSIGN)
forall x.
Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN
forall x.
SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x.
Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN
$cfrom :: forall x.
SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x
Generic, Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
Proxy (SignKeyDSIGN NeverDSIGN) -> String
(Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Proxy (SignKeyDSIGN NeverDSIGN) -> String)
-> NoThunks (SignKeyDSIGN NeverDSIGN)
forall a.
(Context -> a -> IO (Maybe ThunkInfo))
-> (Context -> a -> IO (Maybe ThunkInfo))
-> (Proxy a -> String)
-> NoThunks a
showTypeOf :: Proxy (SignKeyDSIGN NeverDSIGN) -> String
$cshowTypeOf :: Proxy (SignKeyDSIGN NeverDSIGN) -> String
wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cwNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cnoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
NoThunks)

  data SigDSIGN     NeverDSIGN = NeverUsedSigDSIGN
     deriving (Int -> SigDSIGN NeverDSIGN -> ShowS
[SigDSIGN NeverDSIGN] -> ShowS
SigDSIGN NeverDSIGN -> String
(Int -> SigDSIGN NeverDSIGN -> ShowS)
-> (SigDSIGN NeverDSIGN -> String)
-> ([SigDSIGN NeverDSIGN] -> ShowS)
-> Show (SigDSIGN NeverDSIGN)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [SigDSIGN NeverDSIGN] -> ShowS
$cshowList :: [SigDSIGN NeverDSIGN] -> ShowS
show :: SigDSIGN NeverDSIGN -> String
$cshow :: SigDSIGN NeverDSIGN -> String
showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS
$cshowsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS
Show, SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
(SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> Eq (SigDSIGN NeverDSIGN)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c/= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
== :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c== :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
Eq, Eq (SigDSIGN NeverDSIGN)
Eq (SigDSIGN NeverDSIGN)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Ordering)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> (SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool)
-> (SigDSIGN NeverDSIGN
    -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN)
-> (SigDSIGN NeverDSIGN
    -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN)
-> Ord (SigDSIGN NeverDSIGN)
SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Ordering
SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
$cmin :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
max :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
$cmax :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
>= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c>= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
> :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c> :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
<= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c<= :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
< :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
$c< :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool
compare :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Ordering
$ccompare :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Ordering
$cp1Ord :: Eq (SigDSIGN NeverDSIGN)
Ord, (forall x. SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x)
-> (forall x. Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN)
-> Generic (SigDSIGN NeverDSIGN)
forall x. Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN
forall x. SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN
$cfrom :: forall x. SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x
Generic, Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
Proxy (SigDSIGN NeverDSIGN) -> String
(Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo))
-> (Proxy (SigDSIGN NeverDSIGN) -> String)
-> NoThunks (SigDSIGN NeverDSIGN)
forall a.
(Context -> a -> IO (Maybe ThunkInfo))
-> (Context -> a -> IO (Maybe ThunkInfo))
-> (Proxy a -> String)
-> NoThunks a
showTypeOf :: Proxy (SigDSIGN NeverDSIGN) -> String
$cshowTypeOf :: Proxy (SigDSIGN NeverDSIGN) -> String
wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cwNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
noThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
$cnoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo)
NoThunks)

  algorithmNameDSIGN :: proxy NeverDSIGN -> String
algorithmNameDSIGN proxy NeverDSIGN
_ = String
"never"

  deriveVerKeyDSIGN :: SignKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN
deriveVerKeyDSIGN SignKeyDSIGN NeverDSIGN
_ = VerKeyDSIGN NeverDSIGN
NeverUsedVerKeyDSIGN

  signDSIGN :: ContextDSIGN NeverDSIGN
-> a -> SignKeyDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
signDSIGN   = String -> () -> a -> SignKeyDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN
forall a. HasCallStack => String -> a
error String
"DSIGN not available"
  verifyDSIGN :: ContextDSIGN NeverDSIGN
-> VerKeyDSIGN NeverDSIGN
-> a
-> SigDSIGN NeverDSIGN
-> Either String ()
verifyDSIGN = String
-> ()
-> VerKeyDSIGN NeverDSIGN
-> a
-> SigDSIGN NeverDSIGN
-> Either String ()
forall a. HasCallStack => String -> a
error String
"DSIGN not available"

  genKeyDSIGN :: Seed -> SignKeyDSIGN NeverDSIGN
genKeyDSIGN       Seed
_ = SignKeyDSIGN NeverDSIGN
NeverUsedSignKeyDSIGN

  rawSerialiseVerKeyDSIGN :: VerKeyDSIGN NeverDSIGN -> ByteString
rawSerialiseVerKeyDSIGN  VerKeyDSIGN NeverDSIGN
_ = ByteString
forall a. Monoid a => a
mempty
  rawSerialiseSignKeyDSIGN :: SignKeyDSIGN NeverDSIGN -> ByteString
rawSerialiseSignKeyDSIGN SignKeyDSIGN NeverDSIGN
_ = ByteString
forall a. Monoid a => a
mempty
  rawSerialiseSigDSIGN :: SigDSIGN NeverDSIGN -> ByteString
rawSerialiseSigDSIGN     SigDSIGN NeverDSIGN
_ = ByteString
forall a. Monoid a => a
mempty

  rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN NeverDSIGN)
rawDeserialiseVerKeyDSIGN  ByteString
_ = VerKeyDSIGN NeverDSIGN -> Maybe (VerKeyDSIGN NeverDSIGN)
forall a. a -> Maybe a
Just VerKeyDSIGN NeverDSIGN
NeverUsedVerKeyDSIGN
  rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN NeverDSIGN)
rawDeserialiseSignKeyDSIGN ByteString
_ = SignKeyDSIGN NeverDSIGN -> Maybe (SignKeyDSIGN NeverDSIGN)
forall a. a -> Maybe a
Just SignKeyDSIGN NeverDSIGN
NeverUsedSignKeyDSIGN
  rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN NeverDSIGN)
rawDeserialiseSigDSIGN     ByteString
_ = SigDSIGN NeverDSIGN -> Maybe (SigDSIGN NeverDSIGN)
forall a. a -> Maybe a
Just SigDSIGN NeverDSIGN
NeverUsedSigDSIGN