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