Ur/Web OpenID Library: src/ur/openidFfi.urs annotate

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

Mercurial > openid