Text.HTML.Confirm

Definitions

data ConfirmEv : Type -> Type

Totality: total
Visibility: public export
Constructors:

Cancel : ConfirmEv e

Begin : ConfirmEv e

Edited : e -> ConfirmEv e

OK : ConfirmEv e

record ConfirmConfig : Type -> Type

  Environment for beginning an editing process.

Totality: total
Visibility: public export
Constructor: 

CC : String -> Class -> Class -> Class -> (i -> i) -> (i -> e -> Node e) -> (e -> Node e) -> ConfirmConfig i

Projections:

.cancelNode : ConfirmConfig i -> e -> Node e

.listCls : ConfirmConfig i -> Class

.okID : ConfirmConfig i -> i -> i

.okNode : ConfirmConfig i -> i -> e -> Node e

.rowCls : ConfirmConfig i -> Class

.title : ConfirmConfig i -> String

.titleCls : ConfirmConfig i -> Class

.title : ConfirmConfig i -> String

Totality: total
Visibility: public export

title : ConfirmConfig i -> String

Totality: total
Visibility: public export

.listCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

listCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

.titleCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

titleCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

.rowCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

rowCls : ConfirmConfig i -> Class

Totality: total
Visibility: public export

.okID : ConfirmConfig i -> i -> i

Totality: total
Visibility: public export

okID : ConfirmConfig i -> i -> i

Totality: total
Visibility: public export

.okNode : ConfirmConfig i -> i -> e -> Node e

Totality: total
Visibility: public export

okNode : ConfirmConfig i -> i -> e -> Node e

Totality: total
Visibility: public export

.cancelNode : ConfirmConfig i -> e -> Node e

Totality: total
Visibility: public export

cancelNode : ConfirmConfig i -> e -> Node e

Totality: total
Visibility: public export

dialog : Cast i DomID => ConfirmConfig i -> i -> Node e -> Node (ConfirmEv e)

Totality: total
Visibility: export