Module Jenga_lib__Reportable.Error

Reportable.Error.t is a reportable error

type t
module Id : sig ... end

Reportable.Error.Id.t is a reportable error handle; used as a key for removal

val create : Jenga_lib.Goal.t ‑> Jenga_lib.Reason.t ‑> t

Create a new Reportable.Error.t from a Goal.t and Reason.t

val id : t ‑> Id.t

id t return the unique handle of the error

val contents : t ‑> [ `Command_failed of Jenga_lib.Job_summary.t | `Internal of string list ]

contents t is the contents of t

val goal_string : t ‑> string

goal_string t is the goal_string of t

val directory : t ‑> Jenga_lib.Path.Rel.t

directory t is the directory of t