Ur/Web OpenID Library: src/ur/openidFfi.urs annotate

Stateless verification worked

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 02 Jan 2011 10:11:38 -0500
parents	c778455fe570
children	f129ddee75f3

rev	line source
adam@0	1 val init : transaction {}
adam@2	2
adam@2	3 type discovery
adam@2	4 val discover : string -> transaction (option discovery)
adam@2	5 val endpoint : discovery -> string
adam@2	6 val localId : discovery -> option string
adam@3	7
adam@3	8 type inputs
adam@3	9 val createInputs : transaction inputs
adam@3	10 val addInput : inputs -> string -> string -> transaction {}
adam@3	11
adam@3	12 type outputs
adam@3	13 val getOutput : outputs -> string -> option string
adam@3	14
adam@4	15 val direct : string -> inputs -> transaction outputs
adam@4	16 val indirect : queryString -> transaction outputs
adam@6	17
adam@12	18 val sha1 : string -> string
adam@12	19 val sha256 : string -> string
adam@12	20
adam@12	21 val hmac_sha1 : string -> string -> string
adam@12	22 val hmac_sha256 : string -> string -> string
adam@8	23
adam@8	24 type dh
adam@8	25 val modulus : dh -> string
adam@8	26 val generator: dh -> string
adam@8	27 val public : dh -> string
adam@8	28
adam@8	29 val generate : transaction dh
adam@8	30 val compute : dh -> string -> transaction string
adam@12	31 val xor : string -> string -> string
adam@13	32
adam@13	33 val remode : outputs -> string -> inputs

Mercurial > openid