Make (p.guardian.0.1.0.doc.guardian.backend.Guardian

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

Source

val validate : 
  ?ctx:(string * string) list ->
  (string -> 'etyp) ->
  validation_set ->
  'a actor ->
  (unit, 'etyp) monad