package guardian

  1. Overview
  2. Docs
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
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.