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

Added preliminary versions of all the authentication verification steps

author	Adam Chlipala <adam@chlipala.net>
date	Mon, 27 Dec 2010 13:18:02 -0500
parents	2d409aff8800
children	976121190b2d

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@6	18 val sha256 : string -> string

Mercurial > openid