Mercurial > openid
view src/ur/openidFfi.urs @ 8:870d99055dd1
Diffie-Hellman started but not fully tested; successfully checked signature from AOL
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 29 Dec 2010 12:16:32 -0500 |
parents | 976121190b2d |
children | c778455fe570 |
line wrap: on
line source
val init : transaction {} type discovery val discover : string -> transaction (option discovery) val endpoint : discovery -> string val localId : discovery -> option string type inputs val createInputs : transaction inputs val addInput : inputs -> string -> string -> transaction {} type outputs val getOutput : outputs -> string -> option string val direct : string -> inputs -> transaction outputs val indirect : queryString -> transaction outputs val sha1 : string -> string -> string val sha256 : string -> string -> string type dh val modulus : dh -> string val generator: dh -> string val public : dh -> string val generate : transaction dh val compute : dh -> string -> transaction string