Mercurial > openid

comparison src/ur/openid.urs @ 10:194577b60771

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Call user-specified function after authentication
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 14:38:56 -0500
parents 870d99055dd1
children de04a3fc6b72
comparison
equal deleted inserted replaced
9:426dd5c88df1 10:194577b60771
1 datatype association_type = HMAC_SHA1 | HMAC_SHA256 1 datatype association_type = HMAC_SHA1 | HMAC_SHA256
2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256 2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256
3 datatype authentication = AuthenticatedAs of string | Canceled | Failure of string
3 4
4 val authenticate : association_type -> association_session_type -> string -> transaction string 5 val authenticate : (authentication -> transaction page)
6 -> {AssociationType : association_type,
7 AssociationSessionType : association_session_type,
8 Identifier : string}
9 -> transaction string
5 (* Doesn't return normally if everything goes as planned. 10 (* Doesn't return normally if everything goes as planned.
6 * Instead, the user is redirected to his OP to authenticate there. *) 11 * Instead, the user is redirected to his OP to authenticate there.
12 * Later, the function passed as the first argument should be called with the result. *)