Pudu programming language
Menu
API reference

Std.Ui.Live.given

1 declaration

fn

given: &Std.Ui.Live.Session[S, E] -> &Std.Ui.Live.Event -> fn(Std.Ui.Live.Event) -> Option[E] -> (Std.Ui.Live.Update, Std.Ui.Live.Session[S, E])

This is a callable function.

What it does

The session after a viewer's event, and what to send them.

An event the session does not accept changes nothing and is counted. The

component's update function is written against the events the program has;

handing it arbitrary text would make every component responsible for its

own filtering, differently.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • & borrows a value for this call instead of moving or copying it.
  • Names inside [ ] are type arguments, such as the item type held by a collection.
  • Option holds Some(value) or None when no value is available.

Back to Std.Ui.LiveSearch related declarations