Authorizable (p.guardian.0.0.4.doc.guardian.Guardian.Make.Authorizable)

Sourcetype 'a t = {

roles : ActorRoleSet.t;
owner : Uuid.Actor.t option;
uuid : Uuid.Actor.t;
typ : 'a;

}

val equal : 
  'a. ('a -> 'a -> Ppx_deriving_runtime.bool) ->
  'a t ->
  'a t ->
  Ppx_deriving_runtime.bool

Source

val compare : 
  'a. ('a -> 'a -> Ppx_deriving_runtime.int) ->
  'a t ->
  'a t ->
  Ppx_deriving_runtime.int

Source

val pp : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a t ->
  Ppx_deriving_runtime.unit

Source

val show : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a t ->
  Ppx_deriving_runtime.string

Sourceval to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a t -> Yojson.Safe.t

Source

val of_yojson : 
  'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a t Ppx_deriving_yojson_runtime.error_or

Source

val _ : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a t Ppx_deriving_yojson_runtime.error_or

Sourceval to_string : 'a t -> Ppx_deriving_runtime.string

Sourceval make : ?owner:Uuid.Actor.t -> ActorRoleSet.t -> 'a -> Uuid.Actor.t -> 'a t

Sourceval a_owns_b : 'a t -> 'b t -> bool

Sourceval has_role : 'a t -> ActorRoleSet.elt -> bool