Notify (b0.B0_zero.Op.Notify)

Notification

type t

The type for notification.

type kind = [

| `End
| `Fail
| `Info
| `Start
| `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.