view src/ur/openidFfi.urs @ 48:3f475c6fb168

Make logout clear the session on the server (which necessitates turning it from a link into a button)
author Robin Green <greenrd@greenrd.org>
date Mon, 04 Jul 2011 14:08:00 +0100
parents 00c8f43be8b7
children
line wrap: on
line source
val init : transaction {}

type discovery
val discover : string -> transaction (option discovery)
val endpoint : discovery -> string
val localId : discovery -> option string

type inputs
val createInputs : transaction inputs
val addInput : inputs -> string -> string -> transaction {}

type outputs
val getOutput : outputs -> string -> option string
val printOutputs : outputs -> transaction {}

val direct : string -> inputs -> transaction outputs
val indirect : queryString -> transaction outputs

val sha1 : string -> string
val sha256 : string -> string

val hmac_sha1 : string -> string -> string
val hmac_sha256 : string -> string -> string

type dh
val modulus : dh -> string
val generator: dh -> string
val public : dh -> string

val generate : transaction dh
val compute : dh -> string -> transaction string
val xor : string -> string -> string
val secCmp : string -> string -> bool

val remode : outputs -> string -> inputs