Idris2Doc : Web.Async.Extra.Widget

Web.Async.Extra.Widget

(source)
Reexports
import public Web.Async.Extra.I18n
import public Web.Async
Definitions
logNode : HTTPLocal => LogLevel -> List String -> HTMLNode
  Totality: total
  Visibility: export
uilog : HTTPLocal => IORef LogLevel => Logger JS
  Totality: total
  Visibility: export
record Logger : Type
  Totality: total
  Visibility: public export
  Constructor: 
L : HTMLNode -> AsyncStream JS [] Void -> Logger JS -> Logger

  Projections:
  
.logger : Logger -> Logger JS
  
.node : Logger -> HTMLNode
  
.stream : Logger -> AsyncStream JS [] Void
.node : Logger -> HTMLNode
  Totality: total
  Visibility: public export
node : Logger -> HTMLNode
  Totality: total
  Visibility: public export
.stream : Logger -> AsyncStream JS [] Void
  Totality: total
  Visibility: public export
stream : Logger -> AsyncStream JS [] Void
  Totality: total
  Visibility: public export
.logger : Logger -> Logger JS
  Totality: total
  Visibility: public export
logger : Logger -> Logger JS
  Totality: total
  Visibility: public export
logger : HTTPLocal => ExtraLocal => LogLevel -> Act Logger
  Totality: total
  Visibility: export
validated : DOMLocal => Editor t -> Editor t
  Totality: total
  Visibility: export
seledit : DOMLocal => Eq t => Maybe Class -> (v -> t) -> (v -> String) -> List v -> Editor t
  Totality: total
  Visibility: export
selEdit : DOMLocal => Eq t => (v -> t) -> (v -> String) -> List v -> Editor t
  Totality: total
  Visibility: export
selEditC : DOMLocal => Eq t => Class -> (v -> t) -> (v -> String) -> List v -> Editor t
  Totality: total
  Visibility: export
input : DOMLocal => (String -> EditRes t) -> InputType -> (Maybe t -> String) -> Editor t
  Totality: total
  Visibility: export
double : DOMLocal => Editor Double
  Specialized version of `input` for entering floating point numbers.

  Totality: total
  Visibility: export
nat : DOMLocal => Editor Nat
  Specialized version of `input` for natural numbers.

  Totality: total
  Visibility: export
integer : DOMLocal => Editor Integer
  Specialized version of `input` for entering integers.

  Totality: total
  Visibility: export
bits8 : DOMLocal => Editor Bits8
  Specialized version of `input` for entering 8-bit unsigned integers.

  Totality: total
  Visibility: export
bits16 : DOMLocal => Editor Bits16
  Specialized version of `input` for entering 16-bit unsigned integers.

  Totality: total
  Visibility: export
bits32 : DOMLocal => Editor Bits32
  Specialized version of `input` for entering 32-bit unsigned integers.

  Totality: total
  Visibility: export
bits64 : DOMLocal => Editor Bits64
  Specialized version of `input` for entering 64-bit unsigned integers.

  Totality: total
  Visibility: export
int8 : DOMLocal => Editor Int8
  Specialized version of `input` for entering 8-bit signed integers.

  Totality: total
  Visibility: export
int16 : DOMLocal => Editor Int16
  Specialized version of `input` for entering 16-bit signed integers.

  Totality: total
  Visibility: export
int32 : DOMLocal => Editor Int32
  Specialized version of `input` for entering 32-bit signed integers.

  Totality: total
  Visibility: export
int64 : DOMLocal => Editor Int64
  Specialized version of `input` for entering 64-bit signed integers.

  Totality: total
  Visibility: export