Safe Haskell	None
Language	Haskell2010

Data.Signable.Class

Contents

Key
Signature
Class
Util
Misc

Synopsis

data PubKey
data PrvKey
importPubKeyDer :: Alg -> ByteString -> Maybe PubKey
importPubKeyPem :: Alg -> ByteString -> Either SignableError PubKey
exportPubKeyDer :: ECPointFormat -> PubKey -> ByteString
derivePubKey :: PrvKey -> PubKey
importPrvKeyRaw :: Alg -> ByteString -> Maybe PrvKey
importPrvKeyPem :: Alg -> ByteString -> Either SignableError PrvKey
exportPrvKeyRaw :: PrvKey -> ByteString
newRandomPrvKey :: (MonadIO m, MonadFail m) => Alg -> m PrvKey
data Sig
sign :: Signable a => PrvKey -> a -> Sig
verify :: Signable a => PubKey -> Sig -> a -> Bool
importSigDer :: Alg -> ByteString -> Maybe Sig
exportSigDer :: Sig -> ByteString
class Signable a where
- toBinary :: a -> ByteString
pubKey2Alg :: PubKey -> Alg
prvKey2Alg :: PrvKey -> Alg
sig2Alg :: Sig -> Alg
data Alg = AlgSecp256k1
data SignableError
- = InvalidPem
- | TooFewPemChunks
- | TooManyPemChunks
- | InvalidAsn1
- | TooFewAsn1Chunks
- | TooManyAsn1Chunks
- | InvalidPubKeyDer
- | InvalidPrvKeyRaw
data ECPointFormat
- = ECPointCompressed
- | ECPointUncompressed

Key

data PubKey Source #

Instances

Eq PubKey Source #
Instance details Defined in Data.Signable.Class Methods (==) :: PubKey -> PubKey -> Bool # (/=) :: PubKey -> PubKey -> Bool #
Show PubKey Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> PubKey -> ShowS # show :: PubKey -> String # showList :: [PubKey] -> ShowS #

data PrvKey Source #

Instances

Eq PrvKey Source #
Instance details Defined in Data.Signable.Class Methods (==) :: PrvKey -> PrvKey -> Bool # (/=) :: PrvKey -> PrvKey -> Bool #
Show PrvKey Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> PrvKey -> ShowS # show :: PrvKey -> String # showList :: [PrvKey] -> ShowS #

importPubKeyDer :: Alg -> ByteString -> Maybe PubKey Source #

importPubKeyPem :: Alg -> ByteString -> Either SignableError PubKey Source #

exportPubKeyDer :: ECPointFormat -> PubKey -> ByteString Source #

derivePubKey :: PrvKey -> PubKey Source #

importPrvKeyRaw :: Alg -> ByteString -> Maybe PrvKey Source #

importPrvKeyPem :: Alg -> ByteString -> Either SignableError PrvKey Source #

exportPrvKeyRaw :: PrvKey -> ByteString Source #

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

Signature

data Sig Source #

Instances

Eq Sig Source #
Instance details Defined in Data.Signable.Class Methods (==) :: Sig -> Sig -> Bool # (/=) :: Sig -> Sig -> Bool #
Show Sig Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> Sig -> ShowS # show :: Sig -> String # showList :: [Sig] -> ShowS #

sign :: Signable a => PrvKey -> a -> Sig Source #

verify :: Signable a => PubKey -> Sig -> a -> Bool Source #

importSigDer :: Alg -> ByteString -> Maybe Sig Source #

exportSigDer :: Sig -> ByteString Source #

Class

class Signable a where Source #

Methods

toBinary :: a -> ByteString Source #

Instances

Signable Bool Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Bool -> ByteString Source #
Signable Double Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Double -> ByteString Source #
Signable Float Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Float -> ByteString Source #
Signable Int32 Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Int32 -> ByteString Source #
Signable Int64 Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Int64 -> ByteString Source #
Signable Word32 Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Word32 -> ByteString Source #
Signable Word64 Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Word64 -> ByteString Source #
Signable ByteString Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: ByteString -> ByteString Source #
Signable ByteString Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: ByteString -> ByteString0 Source #
Signable Text Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: Text -> ByteString Source #
(Foldable f, Signable a) => Signable (f a) Source #
Instance details Defined in Data.Signable.Class Methods toBinary :: f a -> ByteString Source #

Util

pubKey2Alg :: PubKey -> Alg Source #

prvKey2Alg :: PrvKey -> Alg Source #

sig2Alg :: Sig -> Alg Source #

Misc

data Alg Source #

Constructors

AlgSecp256k1

Instances

Eq Alg Source #
Instance details Defined in Data.Signable.Class Methods (==) :: Alg -> Alg -> Bool # (/=) :: Alg -> Alg -> Bool #
Ord Alg Source #
Instance details Defined in Data.Signable.Class Methods compare :: Alg -> Alg -> Ordering # (<) :: Alg -> Alg -> Bool # (<=) :: Alg -> Alg -> Bool # (>) :: Alg -> Alg -> Bool # (>=) :: Alg -> Alg -> Bool # max :: Alg -> Alg -> Alg # min :: Alg -> Alg -> Alg #
Show Alg Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> Alg -> ShowS # show :: Alg -> String # showList :: [Alg] -> ShowS #

data SignableError Source #

Constructors

InvalidPem
TooFewPemChunks
TooManyPemChunks
InvalidAsn1
TooFewAsn1Chunks
TooManyAsn1Chunks
InvalidPubKeyDer
InvalidPrvKeyRaw

Instances

Eq SignableError Source #
Instance details Defined in Data.Signable.Class Methods (==) :: SignableError -> SignableError -> Bool # (/=) :: SignableError -> SignableError -> Bool #
Ord SignableError Source #
Instance details Defined in Data.Signable.Class Methods compare :: SignableError -> SignableError -> Ordering # (<) :: SignableError -> SignableError -> Bool # (<=) :: SignableError -> SignableError -> Bool # (>) :: SignableError -> SignableError -> Bool # (>=) :: SignableError -> SignableError -> Bool # max :: SignableError -> SignableError -> SignableError # min :: SignableError -> SignableError -> SignableError #
Show SignableError Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> SignableError -> ShowS # show :: SignableError -> String # showList :: [SignableError] -> ShowS #

data ECPointFormat Source #

Constructors

ECPointCompressed
ECPointUncompressed

Instances

Eq ECPointFormat Source #
Instance details Defined in Data.Signable.Class Methods (==) :: ECPointFormat -> ECPointFormat -> Bool # (/=) :: ECPointFormat -> ECPointFormat -> Bool #
Ord ECPointFormat Source #
Instance details Defined in Data.Signable.Class Methods compare :: ECPointFormat -> ECPointFormat -> Ordering # (<) :: ECPointFormat -> ECPointFormat -> Bool # (<=) :: ECPointFormat -> ECPointFormat -> Bool # (>) :: ECPointFormat -> ECPointFormat -> Bool # (>=) :: ECPointFormat -> ECPointFormat -> Bool # max :: ECPointFormat -> ECPointFormat -> ECPointFormat # min :: ECPointFormat -> ECPointFormat -> ECPointFormat #
Show ECPointFormat Source #
Instance details Defined in Data.Signable.Class Methods showsPrec :: Int -> ECPointFormat -> ShowS # show :: ECPointFormat -> String # showList :: [ECPointFormat] -> ShowS #