package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : Goal.t -> 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 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 -> Path.Rel.t

directory t is the directory of t