Parameters
Signature
include 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 Sourceval 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 Sourceval collect_rules :
?ctx:(string * string) list ->
([ `Create | `Read | `Update | `Delete | `Manage ] * target_spec) list ->
(auth_rule list, string) monad Sourceval checker_of_effects :
?ctx:(string * string) list ->
([ `Create | `Read | `Update | `Delete | `Manage ] * target_spec) list ->
'a authorizable ->
(unit, string) monad