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.5.tar.gz

md5=46f14b1dac8c7b7a1521c15555465dde

sha512=c9e7edab3f72a8764a37328c75001f9b7fbcedb1b68ecf95daf53fed4f7a46e9ce1ebc9d5fa9ad46d25f759857a95e7000173eef808aa0459339637a66e945f1

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