annotate src/ur/openidFfi.urs @ 7:976121190b2d
Authentication verification almost working: signatures not computing correctly
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Tue, 28 Dec 2010 19:57:25 -0500 |
| parents |
99496175078b |
| children |
870d99055dd1 |
| 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@7
|
18 val sha256 : string -> string -> string
|
