Module Static.StratResult

StratResult defines results of strategies, as well as some helpful functions.

type 'a t =
| Authenticated of 'a(*

Entity has been authenticated successfully. Can also be used inside a strategy with bind like Ok 'a result. When returned to FPauth.Auth_sign.AUTHENTICATOR stops authentication process.

*)
| Rescue of Base.Error.t(*

Authentication must be stopped immediately with an error.

*)
| Redirect of Dream.response Lwt.t(*

User should be redirected in accordance with response. response promise is meant to be created by Dream.redirect

*)
| Next(*

Next strategy from the list in FPauth.Auth_sign.AUTHENTICATOR should be used.

*)

'a t defines results of strategies.

val bind : 'a t -> ( 'a -> 'b t ) -> 'b t

bind r f returns f r if r is Authenticated and r if anything else

module Infix : sig ... end

Module with Infix operators for StratResult