Module Op.NotifySource

End-user notifications.

Notification

Sourcetype t

The type for notification.

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

The type for kinds of notifications.

Sourceval v_op : id:id -> mark:mark -> created:B0_std.Mtime.span -> ?post_exec:(op -> unit) -> ?k:(op -> unit) -> kind -> string -> op

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

Sourceval v : kind:kind -> msg:string -> t

v constructs a notification operation.

Sourceval get : op -> t

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

Sourceval kind : t -> kind

kind is the kind of notification.

Sourceval msg : t -> string

msg is the message.