Web.Async.Confirm

Definitions

data ConfirmEv : Type

Totality: total
Visibility: public export
Constructors:

Cancel : ConfirmEv

OK : ConfirmEv

Hints:

Eq ConfirmEv

Ord ConfirmEv

Show ConfirmEv

confirmed : (HTMLNode -> Act (Sink (EditRes e), Widget ConfirmEv)) -> Editor e -> Maybe e -> Act (Widget (Maybe e))

  Wraps and editor in a parent node with buttons (or similar
  interactive elements) for cancellation and confirmation.
  
  The resulting stream will pass on editing results, so that
  the buttons can be adjusted (for instance, disabled) accordingly.
  
  The resulting stream fires only `Valid` events: `Nothing` in case
  of cancellation and `Just v` in case of confirmation.
  
  See also `confirmed1` for a version that only ever fires one event
  at most.

Totality: total
Visibility: export

confirmed1 : (HTMLNode -> Act (Sink (EditRes e), Widget ConfirmEv)) -> Editor e -> Maybe e -> Act (Widget (Maybe e))

  Like `confirmed` but the resulting stream fires only at most one
  event.

Totality: total
Visibility: export

keyConfirmed : Editor e -> Maybe e -> Act (Widget (Maybe e))

Totality: total
Visibility: export

cleanupDialog : DomID -> Act ()

Totality: total
Visibility: export

confirmedModal : (HTMLNode -> Act (Sink (EditRes e), Widget ConfirmEv)) -> DomID -> Editor e -> Maybe e -> Act (JSStream (Maybe e))

Totality: total
Visibility: export