package FPauth-core

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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