Module Op.Notify

End-user notifications.

Notification

type t

The type for notification.

type kind = [
| `Warn
| `Start
| `End
| `Info
]

The type for kind of notifications.

val kind_to_string : kind -> string

kind_to_string k is k as a string.

val v_op : id:id -> group:group -> created:B0_std.Time.span -> ?⁠post_exec:(op -> unit) -> ?⁠k:(op -> unit) -> kind -> string -> op

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

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

v 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.