Mercurial > openid

annotate src/ur/openidFfi.urs @ 3:f59083771ee2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Saving associations
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:11:23 -0500
parents b757dc2bd2f6
children 2d409aff8800
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@3 15 val indirect : string -> inputs -> transaction outputs