Idris2Doc : Crypto.ECDH

Crypto.ECDH

(source)
Definitions
interface ECDHCyclicGroup : Type -> Type
  Parameters: a
Methods:
  
Scalar : Type
  
Element : Type
  
diffie_hellman : Scalar -> Element -> Maybe (List Bits8)
  
generate_key_pair : MonadRandom m => m (Scalar, Element)
  
deserialize_pk : List Bits8 -> Maybe Element
  
serialize_pk : Element -> List Bits8

Implementations:
  
ECDHCyclicGroup X25519_DH
  
ECDHCyclicGroup X448_DH
  
Point p => ECDHCyclicGroup p
Scalar : ECDHCyclicGroup a => Type
  Visibility: public export
Element : ECDHCyclicGroup a => Type
  Visibility: public export
diffie_hellman : {auto __con : ECDHCyclicGroup a} -> Scalar -> Element -> Maybe (List Bits8)
  Visibility: public export
generate_key_pair : {auto __con : ECDHCyclicGroup a} -> MonadRandom m => m (Scalar, Element)
  Visibility: public export
deserialize_pk : {auto __con : ECDHCyclicGroup a} -> List Bits8 -> Maybe Element
  Visibility: public export
serialize_pk : {auto __con : ECDHCyclicGroup a} -> Element -> List Bits8
  Visibility: public export
deserialize_then_dh : {auto {conArg:4197} : ECDHCyclicGroup dh} -> Scalar -> List Bits8 -> Maybe (List Bits8)
  Visibility: public export
data X25519_DH : Type
  Totality: total
  Visibility: public export
  Hint: 
ECDHCyclicGroup X25519_DH
data X448_DH : Type
  Totality: total
  Visibility: public export
  Hint: 
ECDHCyclicGroup X448_DH