Make (p.guardian.0.0.5.doc.guardian.backend.Guardian

Parameters

module A : Guardian.RoleSig

module T : Guardian.RoleSig

Signature

Sourcemodule Guardian : sig ... end

Sourcemodule Uuid = Guardian.Uuid

Sourcemodule ActorSet = Guardian.ActorRoleSet

TODO: generalize this. right now it's fine because this backend should really only be used for testing purposes, but in the future it would be nice to have actual sqlite3 support.

Sourcemodule TargetSet = Guardian.TargetRoleSet

Sourceval db : Sqlite3.db

Sourcemodule Backend : sig ... end

include sig ... end

Sourcetype actor_role_set = Guardian.ActorRoleSet.t

Sourcetype actor_spec = Guardian.Authorizer.Actor.spec

Sourcetype auth_rule = Guardian.Authorizer.auth_rule

Sourcetype role = Guardian.Make(A)(T).Make_persistence(Backend).role

Sourcetype target_role_set = Guardian.TargetRoleSet.t

Sourcetype target_spec = Guardian.Authorizer.Target.spec

Sourcetype !'a authorizable = 'a Guardian.Authorizable.t

Sourcetype !'b authorizable_target = 'b Guardian.AuthorizableTarget.t

Sourcetype ('rv, 'err) monad = ('rv, 'err) Lwt_result.t

Sourceval find_migrations : unit -> (string * string * string) list

Sourceval find_clean : unit -> (string * string) list

Sourceval migrate : ?ctx:(string * string) list -> unit -> unit Lwt.t

Sourceval clean : ?ctx:(string * string) list -> unit -> unit Lwt.t

Sourcemodule Actor : sig ... end

Sourcemodule Target : sig ... end

Source

val wrap_function : 
  ?ctx:(string * string) list ->
  (string -> 'etyp) ->
  ([ `Create | `Read | `Update | `Delete | `Manage ] * target_spec) list ->
  ('param -> ('rval, 'etyp) monad) ->
  ('a authorizable -> 'param -> ('rval, 'etyp) monad, string) monad

Source

val collect_rules : 
  ?ctx:(string * string) list ->
  ([ `Create | `Read | `Update | `Delete | `Manage ] * target_spec) list ->
  (auth_rule list, string) monad

Source

val checker_of_effects : 
  ?ctx:(string * string) list ->
  ([ `Create | `Read | `Update | `Delete | `Manage ] * target_spec) list ->
  'a authorizable ->
  (unit, string) monad

Source

val find_rules_exn : 
  ?ctx:(string * string) list ->
  target_spec ->
  auth_rule list Lwt.t

Sourceval save_rule_exn : ?ctx:(string * string) list -> auth_rule -> unit Lwt.t

Sourceval delete_rule_exn : ?ctx:(string * string) list -> auth_rule -> unit Lwt.t