Network.TLS.Signature

Definitions

data PublicKey : Type

Totality: total
Visibility: public export
Constructors:

RsaPublicKey : RSAPublicKey -> PublicKey

EcdsaPublicKey : Point p => p -> PublicKey

Hint: 

Show PublicKey

data SignatureParameter : Type

Totality: total
Visibility: public export
Constructors:

RSA_PKCSv15 : DPair Type RegisteredHash -> SignatureParameter

RSA_PSS : DPair Type Hash -> Nat -> MaskGenerationFunction -> SignatureParameter

ECDSA : DPair Type Hash -> SignatureParameter

verify_signature : SignatureParameter -> PublicKey -> List Bits8 -> List Bits8 -> Either String ()

Visibility: export

verify_signature' : SignatureParameter -> PublicKey -> List Bits8 -> BitArray -> Either String ()

Visibility: export

extract_algorithm : ASN1Token -> Maybe (List Nat, Maybe ASN1Token)

Visibility: export

oid_to_hash_algorithm : List Nat -> Maybe (DPair Type Hash)

Visibility: export

extract_signature_parameter : List Nat -> Maybe ASN1Token -> Either String SignatureParameter

Visibility: export

extract_key' : ASN1Token -> Either String (Vect 20 Bits8, PublicKey)

Visibility: export

extract_key : List Bits8 -> Either String (Vect 20 Bits8, PublicKey)

Visibility: export