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/Guard/MakePersistence/index.html

Module `Guard.MakePersistence`Source

Parameters

module Backend : sig ... end

Signature

type 'a actor = 'a Actor.t

type 'b target = 'b Target.t

type actor_spec = ActorSpec.t

type effect = Effect.t

type kind = TargetRoles.t

type role_set = RoleSet.t

type roles = ActorRoles.t

type rule = Rule.t

type target_spec = TargetSpec.t

type validation_set = ValidationSet.t

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

Sourcemodule Repo : sig ... end

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

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

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

val 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