package guardian

  1. Overview
  2. Docs
Role-based access control for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. D
    Department of Economics, University of Zurich
  2. J
    John Christopher McAlpine

Maintainers

  1. 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.MakePersistenceSource

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
Sourceval wrap_function : ?ctx:(string * string) list -> (string -> 'etyp) -> validation_set -> ('param -> ('rval, 'etyp) monad) -> ('a actor -> 'param -> ('rval, 'etyp) monad, string) monad
Sourceval validate : ?ctx:(string * string) list -> (string -> 'etyp) -> validation_set -> 'a actor -> (unit, 'etyp) monad