Module Op.Notify

End-user notifications.

Notification

type t

The type for notification.

type kind = [
  1. | `End
  2. | `Fail
  3. | `Info
  4. | `Start
  5. | `Warn
]

The type for kinds of notifications.

val make_op : id:id -> mark:mark -> created:B0_std.Mtime.Span.t -> ?post_exec:(op -> unit) -> ?k:(op -> unit) -> kind -> string -> op

make_op declares a notification operation see the corresponding accessors for the semantics of the various arguments.

val make : kind:kind -> msg:string -> t

make constructs a notification operation.

val get : op -> t

get o is the notification o. Raise Invalid_argument if o is not a notification.

val kind : t -> kind

kind is the kind of notification.

val msg : t -> string

msg is the message.