Web.MVC.Controller.Confirm

Definitions

record ConfirmEnv : Type -> Type -> Type -> Type -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

CE : ConfirmConfig i -> Editor i s e t -> Lens' state s -> (state -> Maybe t) -> (ConfirmEv e -> event) -> (t -> State state (Cmd event)) -> ConfirmEnv i s e t event state

Projections:

.conf : ConfirmEnv i s e t event state -> ConfirmConfig i

.ed : ConfirmEnv i s e t event state -> Editor i s e t

.ini : ConfirmEnv i s e t event state -> state -> Maybe t

.onOK : ConfirmEnv i s e t event state -> t -> State state (Cmd event)

.toEv : ConfirmEnv i s e t event state -> ConfirmEv e -> event

.val : ConfirmEnv i s e t event state -> Lens' state s

.conf : ConfirmEnv i s e t event state -> ConfirmConfig i

Totality: total
Visibility: public export

conf : ConfirmEnv i s e t event state -> ConfirmConfig i

Totality: total
Visibility: public export

.ed : ConfirmEnv i s e t event state -> Editor i s e t

Totality: total
Visibility: public export

ed : ConfirmEnv i s e t event state -> Editor i s e t

Totality: total
Visibility: public export

.val : ConfirmEnv i s e t event state -> Lens' state s

Totality: total
Visibility: public export

val : ConfirmEnv i s e t event state -> Lens' state s

Totality: total
Visibility: public export

.ini : ConfirmEnv i s e t event state -> state -> Maybe t

Totality: total
Visibility: public export

ini : ConfirmEnv i s e t event state -> state -> Maybe t

Totality: total
Visibility: public export

.toEv : ConfirmEnv i s e t event state -> ConfirmEv e -> event

Totality: total
Visibility: public export

toEv : ConfirmEnv i s e t event state -> ConfirmEv e -> event

Totality: total
Visibility: public export

.onOK : ConfirmEnv i s e t event state -> t -> State state (Cmd event)

Totality: total
Visibility: public export

onOK : ConfirmEnv i s e t event state -> t -> State state (Cmd event)

Totality: total
Visibility: public export

curNew : Cast i DomID => ConfirmEnv i s e t event state -> state -> Either String t

Totality: total
Visibility: export

confirm : Cast i DomID => ConfirmEnv i s e t event state -> i -> ConfirmEv e -> State state (Cmd event)

Totality: total
Visibility: export