comparison src/ur/openid.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 870d99055dd1
comparison
equal deleted inserted replaced
3:f59083771ee2 4:2d409aff8800
1 val discover : string -> transaction (option {Endpoint : string, LocalId : option string}) 1 val authenticate : string -> transaction string
2 2 (* Doesn't return normally if everything goes as planned.
3 datatype association = Handle of string | Error of string 3 * Instead, the user is redirected to his OP to authenticate there. *)
4 val association : string -> transaction association