annotate 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
rev   line source
adam@0 1 val init : transaction {}
adam@2 2
adam@2 3 type discovery
adam@2 4 val discover : string -> transaction (option discovery)
adam@2 5 val endpoint : discovery -> string
adam@2 6 val localId : discovery -> option string
adam@3 7
adam@3 8 type inputs
adam@3 9 val createInputs : transaction inputs
adam@3 10 val addInput : inputs -> string -> string -> transaction {}
adam@3 11
adam@3 12 type outputs
adam@3 13 val getOutput : outputs -> string -> option string
adam@3 14
adam@4 15 val direct : string -> inputs -> transaction outputs
adam@4 16 val indirect : queryString -> transaction outputs
adam@6 17
adam@8 18 val sha1 : string -> string -> string
adam@7 19 val sha256 : string -> string -> string
adam@8 20
adam@8 21 type dh
adam@8 22 val modulus : dh -> string
adam@8 23 val generator: dh -> string
adam@8 24 val public : dh -> string
adam@8 25
adam@8 26 val generate : transaction dh
adam@8 27 val compute : dh -> string -> transaction string