Data.Signable

Digital signature is common security-related practice. One of the main difficulties of digital signature usage is necessity of determenistic data serialization agreement. This library provides Signable class which represents the idea of such agreement. Also worth mentioning generic proto-lens compatible implementation of serialization/signing algorithm described here. It's implemented as separate protoc plugin signable-haskell-protoc which generates Signable class instances for given proto-lens messages and enums.

Documentation

safeFromIntegral :: forall a b. (Integral a, Integral b, Bounded b) => a -> Maybe b

class Signable a where

Minimal complete definition

toBinary

Methods

toBinary :: a -> ByteString

toSha256 :: a -> Sha256

sign :: PrvKey -> a -> Maybe Sig

verify :: PubKey -> Sig -> a -> Bool

Instances

Signable Bool

Defined in Data.Signable.Class

Methods

toBinary :: Bool -> ByteString

toSha256 :: Bool -> Sha256

sign :: PrvKey -> Bool -> Maybe Sig

verify :: PubKey -> Sig -> Bool -> Bool

Signable Double

Defined in Data.Signable.Class

Methods

toBinary :: Double -> ByteString

toSha256 :: Double -> Sha256

sign :: PrvKey -> Double -> Maybe Sig

verify :: PubKey -> Sig -> Double -> Bool

Signable Float

Defined in Data.Signable.Class

Methods

toBinary :: Float -> ByteString

toSha256 :: Float -> Sha256

sign :: PrvKey -> Float -> Maybe Sig

verify :: PubKey -> Sig -> Float -> Bool

Signable Int32

Defined in Data.Signable.Class

Methods

toBinary :: Int32 -> ByteString

toSha256 :: Int32 -> Sha256

sign :: PrvKey -> Int32 -> Maybe Sig

verify :: PubKey -> Sig -> Int32 -> Bool

Signable Int64

Defined in Data.Signable.Class

Methods

toBinary :: Int64 -> ByteString

toSha256 :: Int64 -> Sha256

sign :: PrvKey -> Int64 -> Maybe Sig

verify :: PubKey -> Sig -> Int64 -> Bool

Signable Word32

Defined in Data.Signable.Class

Methods

toBinary :: Word32 -> ByteString

toSha256 :: Word32 -> Sha256

sign :: PrvKey -> Word32 -> Maybe Sig

verify :: PubKey -> Sig -> Word32 -> Bool

Signable Word64

Defined in Data.Signable.Class

Methods

toBinary :: Word64 -> ByteString

toSha256 :: Word64 -> Sha256

sign :: PrvKey -> Word64 -> Maybe Sig

verify :: PubKey -> Sig -> Word64 -> Bool

Signable ByteString

Defined in Data.Signable.Class

Methods

toBinary :: ByteString -> ByteString

toSha256 :: ByteString -> Sha256

sign :: PrvKey -> ByteString -> Maybe Sig

verify :: PubKey -> Sig -> ByteString -> Bool

Signable ByteString

Defined in Data.Signable.Class

Methods

toBinary :: ByteString -> ByteString0

toSha256 :: ByteString -> Sha256

sign :: PrvKey -> ByteString -> Maybe Sig

verify :: PubKey -> Sig -> ByteString -> Bool

Signable Text

Defined in Data.Signable.Class

Methods

toBinary :: Text -> ByteString

toSha256 :: Text -> Sha256

sign :: PrvKey -> Text -> Maybe Sig

verify :: PubKey -> Sig -> Text -> Bool

(Foldable f, Signable a) => Signable (f a)

Defined in Data.Signable.Class

Methods

toBinary :: f a -> ByteString

toSha256 :: f a -> Sha256

sign :: PrvKey -> f a -> Maybe Sig

verify :: PubKey -> Sig -> f a -> Bool

data Sig

Instances

Eq Sig

Defined in Data.Signable.Class

Methods

(==) :: Sig -> Sig -> Bool

(/=) :: Sig -> Sig -> Bool

Show Sig

Defined in Data.Signable.Class

Methods

showsPrec :: Int -> Sig -> ShowS

show :: Sig -> String

showList :: [Sig] -> ShowS

newtype Sha256

Constructors

Sha256 ByteString

data PrvKey

data PubKey

data SE

Constructors

InvalidPem

TooFewPemChunks

TooManyPemChunks

InvalidAsn1

TooFewAsn1Chunks

TooManyAsn1Chunks

InvalidPubKeyRaw

InvalidPrvKeyRaw

Instances

Show SE

Defined in Data.Signable.Class

Methods

showsPrec :: Int -> SE -> ShowS

show :: SE -> String

showList :: [SE] -> ShowS

data Alg

Constructors

AlgSecp256k1

Instances

Show Alg

Defined in Data.Signable.Class

Methods

showsPrec :: Int -> Alg -> ShowS

show :: Alg -> String

showList :: [Alg] -> ShowS

importPubKeyRaw :: Alg -> ByteString -> Maybe PubKey

importPubKeyPem :: Alg -> ByteString -> Either SE PubKey

derivePubKey :: PrvKey -> PubKey

importPrvKeyRaw :: Alg -> ByteString -> Maybe PrvKey

importPrvKeyPem :: Alg -> ByteString -> Either SE PrvKey

newRandomPrvKey :: (MonadIO m, MonadFail m) => Alg -> m PrvKey

importSigDer :: Alg -> ByteString -> Maybe Sig

exportSigDer :: Sig -> ByteString