adam@19: style inputs adam@19: adam@19: structure U = OpenidUser.Make(struct adam@19: con cols = [Nam = string] adam@19: adam@19: val sessionLifetime = 3600 adam@19: val afterLogout = bless "/main" adam@19: val secureCookies = False adam@19: val association = Openid.Stateful {AssociationType = Openid.HMAC_SHA256, adam@19: AssociationSessionType = Openid.NoEncryption} adam@58: val realm = Some "http://localhost:8080/" adam@19: adam@19: val creationState = adam@19: n <- source ""; adam@19: return {Nam = n} adam@19: adam@19: fun render r = adam@19: Name: adam@19: adam@19: adam@21: fun ready _ = return True adam@21: adam@19: fun tabulate r = adam@19: n <- signal r.Nam; adam@19: return {Nam = n} adam@19: adam@29: fun choose _ r = return (OpenidUser.Success r) adam@19: adam@19: val formClass = inputs adam@23: adam@23: val fakeId = None adam@32: kkallio@36: structure CtlDisplay = OpenidUser.DefaultDisplay adam@19: end) adam@19: adam@63: fun wrap titl bod = adam@19: userStuff <- U.main wrap; adam@19: return adam@63: {[titl]} adam@19: adam@25: {userStuff.Status}
kkallio@36: {userStuff.Other.Xml} adam@19: adam@63:

{[titl]}

adam@19: adam@63: {bod} adam@19:
adam@19: adam@19: fun main () = adam@19: whoami <- U.current; adam@19: wrap "Main page" (case whoami of adam@19: None => I don't think you're logged in. adam@19: | Some whoami => Apparently you are {[whoami]}!)