annotate src/ur/openidFfi.urs @ 4:2d409aff8800
Received an OpenID authentication response, but haven't checked it yet
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sun, 26 Dec 2010 17:19:52 -0500 |
| parents |
f59083771ee2 |
| children |
99496175078b |
| 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
|
