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 Changelog Edit opam file Versions (3)

Authors

Maintainers

E

engineering@econ.uzh.ch

Sources

0.1.0.tar.gz

md5=4aa712fb5ae59dc3483d4f1d84a59b97

sha512=b5b936f35d6a519760c100480a0e3748db23989d10d58b601d05b3c235dbe3ef0a9253676a5f6ce33b45ece9fd0caaba6ae9097fe2c73f370b7166051a4a2ec6

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

Module `MariaDb.Make`Source

Parameters

module ActorRoles : Guardian.RoleSig

module TargetRoles : Guardian.RoleSig

module Database : sig ... end

Signature

Sourcemodule Guard : sig ... end

Sourcemodule Authorizer = Guard.Authorizer

Sourcemodule BaseType (Core : Guardian.RoleSig) : sig ... end

Sourcemodule Uuid : sig ... end

Sourcemodule Owner : sig ... end

Sourcemodule Role : sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule Roles : sig ... end

Sourcemodule Action : sig ... end

include sig ... end

Sourcetype 'a actor = 'a Guard.Actor.t

Sourcetype 'b target = 'b Guard.Target.t

Sourcetype actor_spec = Guard.ActorSpec.t

Sourcetype effect = Guard.Effect.t

Sourcetype kind = TargetRoles.t

Sourcetype role_set = Guard.RoleSet.t

Sourcetype roles = ActorRoles.t

Sourcetype rule = Guard.Rule.t

Sourcetype target_spec = Guard.TargetSpec.t

Sourcetype validation_set = Guard.ValidationSet.t

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

Sourcemodule Repo : sig ... end

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 Dependency : sig ... end

Sourcemodule Rule : sig ... end

Sourcemodule Actor : sig ... end

Sourcemodule Target : sig ... end

Source

val wrap_function : 
  ?ctx:(string * string) list ->
  (string -> 'etyp) ->
  validation_set ->
  ('param -> ('rval, 'etyp) monad) ->
  ('a actor -> 'param -> ('rval, 'etyp) monad, string) monad