Module MessageSource

Use this module to display flash messages to the user across the request-response lifecycle. This is typically used to provide feedback to the user after submitting HTML forms.

Sourcemodule Service : sig ... end
Sourcemodule Entry : sig ... end
Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval pp : Format.formatter -> t -> unit
Sourceval show : t -> string
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval empty : t
Sourceval set_success : string list -> t -> t
Sourceval set_warning : string list -> t -> t
Sourceval set_error : string list -> t -> t
Sourceval set_info : string list -> t -> t
Sourceval get_error : t -> string list
Sourceval get_warning : t -> string list
Sourceval get_success : t -> string list
Sourceval get_info : t -> string list
Sourceval get : Core.Ctx.t -> t option
Sourceval ctx_add : t -> Core.Ctx.t -> Core.Ctx.t