view 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
line wrap: on
line source
val init : transaction {}

type discovery
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 direct : string -> inputs -> transaction outputs
val indirect : queryString -> transaction outputs