annotate src/ur/lib.urp @ 26:ee97bc0e08fa

Some default OPs, along with some tweaks to keep them happy
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Jan 2011 14:57:49 -0500
parents df2eb629f21a
children f129ddee75f3
rev   line source
adam@0 1 library config
adam@0 2 ffi openidFfi
adam@1 3 link -lurweb_openid -lexpat
adam@0 4 effectful OpenidFfi.init
adam@1 5 effectful OpenidFfi.discover
adam@3 6 effectful OpenidFfi.createInputs
adam@3 7 effectful OpenidFfi.addInput
adam@8 8 effectful OpenidFfi.direct
adam@3 9 effectful OpenidFfi.indirect
adam@8 10 effectful OpenidFfi.generate
adam@8 11 effectful OpenidFfi.compute
adam@17 12 library $META
adam@0 13
adam@6 14 $/string
adam@2 15 $/option
adam@9 16 $/list
adam@0 17 openid
adam@16 18 openidUser