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

Fix 'hidden' constraint

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 11 Dec 2013 17:11:32 -0500
parents	00c8f43be8b7
children

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@27	14 val printOutputs : outputs -> transaction {}
adam@3	15
adam@4	16 val direct : string -> inputs -> transaction outputs
adam@4	17 val indirect : queryString -> transaction outputs
adam@6	18
adam@12	19 val sha1 : string -> string
adam@12	20 val sha256 : string -> string
adam@12	21
adam@12	22 val hmac_sha1 : string -> string -> string
adam@12	23 val hmac_sha256 : string -> string -> string
adam@8	24
adam@8	25 type dh
adam@8	26 val modulus : dh -> string
adam@8	27 val generator: dh -> string
adam@8	28 val public : dh -> string
adam@8	29
adam@8	30 val generate : transaction dh
adam@8	31 val compute : dh -> string -> transaction string
adam@12	32 val xor : string -> string -> string
greenrd@43	33 val secCmp : string -> string -> bool
adam@13	34
adam@13	35 val remode : outputs -> string -> inputs

Mercurial > openid