🔔 | Notifications - Lean Documentation

Lean’s notification system to display messages.

Display notification

Show a notification message of a specific type.

LeanAPI.Notify.Type(text)

Parameters

Type - Success, Normal, Error
text (string) - The message to display

Returns

Nothing

Example

-- Success notification
LeanAPI.Notify.Success("This is a success notification from Lean")

-- Normal notification
LeanAPI.Notify.Normal("This is a normal notification from Lean")

-- Error notification
LeanAPI.Notify.Error("This is an error notification from Lean")