Mercurial > openid
diff src/ur/openidFfi.urs @ 3:f59083771ee2
Saving associations
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 15:11:23 -0500 |
parents | b757dc2bd2f6 |
children | 2d409aff8800 |
line wrap: on
line diff
--- a/src/ur/openidFfi.urs Sun Dec 26 13:28:06 2010 -0500 +++ b/src/ur/openidFfi.urs Sun Dec 26 15:11:23 2010 -0500 @@ -4,3 +4,12 @@ val discover : string -> transaction (option discovery) val endpoint : discovery -> string val localId : discovery -> option string + +type inputs +val createInputs : transaction inputs +val addInput : inputs -> string -> string -> transaction {} + +type outputs +val getOutput : outputs -> string -> option string + +val indirect : string -> inputs -> transaction outputs