Mercurial > openid
annotate src/ur/lib.urp @ 64:81632203928f
Fix 'hidden' constraint
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 11 Dec 2013 17:11:32 -0500 |
| parents | f129ddee75f3 |
| children |
| 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@27 | 8 effectful OpenidFfi.printOutputs |
| adam@8 | 9 effectful OpenidFfi.direct |
| adam@3 | 10 effectful OpenidFfi.indirect |
| adam@8 | 11 effectful OpenidFfi.generate |
| adam@8 | 12 effectful OpenidFfi.compute |
| adam@17 | 13 library $META |
| adam@0 | 14 |
| adam@6 | 15 $/string |
| adam@2 | 16 $/option |
| adam@9 | 17 $/list |
| adam@0 | 18 openid |
| adam@16 | 19 openidUser |