package guardian

You can search for identifiers within the package.

in-package search v0.2.0

Role-based access control for OCaml

Install

Dune Dependency

github.com Readme Edit opam file Versions (3)

Authors

Maintainers

E

engineering@econ.uzh.ch

Sources

0.0.4.tar.gz

md5=45ecb4358a2405a3b4cc263f25ad995c

sha512=d070bd79c14123f720bd0c14291ee520bda3bfac5d6ceb58ceb85185c9be4cebbc5c99894ce29b62bf9e2ed4291ae094506d4d176c12945e99ed9d0283f55db8

doc/guardian.backend/Guardian_backend/Sqlite/Make/index.html

Module `Sqlite.Make`Source

TODO: optional ctx arguments are ignored by sqlite backend

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

On This Page

Parameters
Signature

package guardian

Install

Dune Dependency

Authors

Maintainers

Sources

doc/guardian.backend/Guardian_backend/Sqlite/Make/index.html

Module Sqlite.MakeSource

Parameters

Signature

Module `Sqlite.Make`Source