annotate src/ur/openidFfi.urs @ 17:df2eb629f21a

Successfully created an account
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 14:42:37 -0500
parents de04a3fc6b72
children f129ddee75f3
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@12 18 val sha1 : string -> string
adam@12 19 val sha256 : string -> string
adam@12 20
adam@12 21 val hmac_sha1 : string -> string -> string
adam@12 22 val hmac_sha256 : string -> string -> string
adam@8 23
adam@8 24 type dh
adam@8 25 val modulus : dh -> string
adam@8 26 val generator: dh -> string
adam@8 27 val public : dh -> string
adam@8 28
adam@8 29 val generate : transaction dh
adam@8 30 val compute : dh -> string -> transaction string
adam@12 31 val xor : string -> string -> string
adam@13 32
adam@13 33 val remode : outputs -> string -> inputs