Mercurial > openid
annotate src/ur/openidFfi.urs @ 48:3f475c6fb168
Make logout clear the session on the server
(which necessitates turning it from a link into a button)
| author | Robin Green <greenrd@greenrd.org> |
|---|---|
| date | Mon, 04 Jul 2011 14:08:00 +0100 |
| parents | 00c8f43be8b7 |
| children |
| 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@27 | 14 val printOutputs : outputs -> transaction {} |
| adam@3 | 15 |
| adam@4 | 16 val direct : string -> inputs -> transaction outputs |
| adam@4 | 17 val indirect : queryString -> transaction outputs |
| adam@6 | 18 |
| adam@12 | 19 val sha1 : string -> string |
| adam@12 | 20 val sha256 : string -> string |
| adam@12 | 21 |
| adam@12 | 22 val hmac_sha1 : string -> string -> string |
| adam@12 | 23 val hmac_sha256 : string -> string -> string |
| adam@8 | 24 |
| adam@8 | 25 type dh |
| adam@8 | 26 val modulus : dh -> string |
| adam@8 | 27 val generator: dh -> string |
| adam@8 | 28 val public : dh -> string |
| adam@8 | 29 |
| adam@8 | 30 val generate : transaction dh |
| adam@8 | 31 val compute : dh -> string -> transaction string |
| adam@12 | 32 val xor : string -> string -> string |
| greenrd@43 | 33 val secCmp : string -> string -> bool |
| adam@13 | 34 |
| adam@13 | 35 val remode : outputs -> string -> inputs |