package guardian

  1. Overview
  2. Docs

Parameters

module Database : sig ... end

Signature

module Guard : sig ... end
module Authorizer = Guard.Authorizer
module BaseType (Core : Guardian.RoleSig) : sig ... end
module Uuid : sig ... end
module Owner : sig ... end
module Role : sig ... end
module Kind : sig ... end
module Roles : sig ... end
module Action : sig ... end
include sig ... end
type 'a actor = 'a Guard.Actor.t
type 'b target = 'b Guard.Target.t
type actor_spec = Guard.ActorSpec.t
type effect = Guard.Effect.t
type kind = TargetRoles.t
type role_set = Guard.RoleSet.t
type roles = ActorRoles.t
type rule = Guard.Rule.t
type target_spec = Guard.TargetSpec.t
type validation_set = Guard.ValidationSet.t
type ('rv, 'err) monad = ('rv, 'err) Lwt_result.t
module 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
module Dependency : sig ... end
module Rule : sig ... end
module Actor : sig ... end
module Target : sig ... end
val wrap_function : ?ctx:(string * string) list -> (string -> 'etyp) -> validation_set -> ('param -> ('rval, 'etyp) monad) -> ('a actor -> 'param -> ('rval, 'etyp) monad, string) monad
val validate : ?ctx:(string * string) list -> (string -> 'etyp) -> validation_set -> 'a actor -> (unit, 'etyp) monad
OCaml

Innovation. Community. Security.