Home
main
Console
log
DOM
show_modal
close_modal
navigate
push_url
replace_url
on_url_change
Effect
map
close_modal
console_log
crypto_digest
crypto_digest_file
http_send
http_send_file
navigate
port_send
push_url
replace_url
show_modal
time_after
time_cancel
time_debounce
Http
default_request
method_to_str
get
post
request
post_file
put_file
request_file
Header
Response
Request
Keyboard
on_down
on_down_keys
on_down_keys_prevent_default
on_up
on_up_keys
on_up_keys_prevent_default
Port
listen
send
Sub
map
every
keyboard
port_listen
url_changed
KeyEvent
Time
after
every
debounce
cancel
WebCrypto
algorithm_name
digest
digest_file
digest_file_slice
to_hex
Algorithm
Console
.
log
:
Str
->
Effect
(
msg
)
DOM
.
show_modal
:
Str
->
Effect
(
msg
)
DOM
.
close_modal
:
Str
->
Effect
(
msg
)
DOM
.
navigate
:
Str
->
Effect
(
msg
)
DOM
.
push_url
:
Str
->
Effect
(
msg
)
DOM
.
replace_url
:
Str
->
Effect
(
msg
)
DOM
.
on_url_change
: (
Str
->
msg
)
->
Sub
(
msg
)
Effect
.
map
:
Effect
(
a
), (
a
->
b
)
->
Effect
(
b
)
Effect
.
close_modal
:
Str
->
Effect
(
msg
)
Effect
.
console_log
:
Str
->
Effect
(
msg
)
Effect
.
crypto_digest
:
Str
,
List
(
U8
), (
List
(
U8
)
->
msg
)
->
Effect
(
msg
)
Effect
.
crypto_digest_file
:
Str
,
U32
,
U64
,
U64
, (
List
(
U8
)
->
msg
)
->
Effect
(
msg
)
Effect
.
http_send
:
Str
,
Str
,
List
({ name :
Str
, value :
Str
}),
List
(
U8
),
U64
, ({ status :
U16
, headers :
List
({ name :
Str
, value :
Str
}), body :
List
(
U8
) }
->
msg
)
->
Effect
(
msg
)
Effect
.
http_send_file
:
Str
,
Str
,
List
({ name :
Str
, value :
Str
}),
U32
,
U64
,
U64
,
U64
, ({ status :
U16
, headers :
List
({ name :
Str
, value :
Str
}), body :
List
(
U8
) }
->
msg
)
->
Effect
(
msg
)
Effect
.
navigate
:
Str
->
Effect
(
msg
)
Effect
.
port_send
:
Str
,
Str
->
Effect
(
msg
)
Effect
.
push_url
:
Str
->
Effect
(
msg
)
Effect
.
replace_url
:
Str
->
Effect
(
msg
)
Effect
.
show_modal
:
Str
->
Effect
(
msg
)
Effect
.
time_after
:
U32
, (
I64
->
msg
)
->
Effect
(
msg
)
Effect
.
time_cancel
:
Str
->
Effect
(
msg
)
Effect
.
time_debounce
:
Str
,
U32
, (
I64
->
msg
)
->
Effect
(
msg
)
Http
.
default_request
:
Request
Http
.
method_to_str
:
Method
->
Str
Http
.
get
:
Str
, (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
post
:
Str
,
List
(
U8
), (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
request
:
Request
, (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
post_file
:
Str
,
U32
,
List
(
Header
), (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
put_file
:
Str
,
U32
,
List
(
Header
), (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
request_file
: { method :
Method
, uri :
Str
, headers :
List
(
Header
), file :
U32
, start :
U64
, len :
U64
, timeout_ms : [
TimeoutMilliseconds
(
U64
),
NoTimeout
] }, (
Try
(
Response
, [
HttpErr
([
Timeout
,
NetworkError
]), ..])
->
msg
)
->
Effect
(
msg
)
Http
.
Header
: { name :
Str
, value :
Str
}
Http
.
Response
: { status :
U16
, headers :
List
(
Header
), body :
List
(
U8
) }
Http
.
Request
: { method :
Method
, uri :
Str
, headers :
List
(
Header
), body :
List
(
U8
), timeout_ms : [
TimeoutMilliseconds
(
U64
),
NoTimeout
] }
Keyboard
.
on_down
: (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Keyboard
.
on_down_keys
:
List
(
Str
), (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Keyboard
.
on_down_keys_prevent_default
:
List
(
Str
), (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Keyboard
.
on_up
: (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Keyboard
.
on_up_keys
:
List
(
Str
), (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Keyboard
.
on_up_keys_prevent_default
:
List
(
Str
), (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Port
.
listen
:
Str
, (
Str
->
msg
)
->
Sub
(
msg
)
Port
.
send
:
Str
,
Str
->
Effect
(
msg
)
Sub
.
map
:
Sub
(
a
), (
a
->
b
)
->
Sub
(
b
)
Sub
.
every
:
U32
, (
I64
->
msg
)
->
Sub
(
msg
)
Sub
.
keyboard
:
Str
,
List
(
Str
),
Bool
, (
KeyEvent
->
msg
)
->
Sub
(
msg
)
Sub
.
port_listen
:
Str
, (
Str
->
msg
)
->
Sub
(
msg
)
Sub
.
url_changed
: (
Str
->
msg
)
->
Sub
(
msg
)
Sub
.
KeyEvent
: { key :
Str
, code :
Str
, ctrl :
Bool
, shift :
Bool
, alt :
Bool
, meta :
Bool
, repeat :
Bool
, is_composing :
Bool
}
Time
.
after
:
U32
, (
I64
->
msg
)
->
Effect
(
msg
)
Time
.
every
:
U32
, (
I64
->
msg
)
->
Sub
(
msg
)
Time
.
debounce
:
Str
,
U32
, (
I64
->
msg
)
->
Effect
(
msg
)
Time
.
cancel
:
Str
->
Effect
(
msg
)
WebCrypto
.
algorithm_name
:
Algorithm
->
Str
WebCrypto
.
digest
:
Algorithm
,
List
(
U8
), (
List
(
U8
)
->
msg
)
->
Effect
(
msg
)
WebCrypto
.
digest_file
:
Algorithm
,
U32
, (
List
(
U8
)
->
msg
)
->
Effect
(
msg
)
WebCrypto
.
digest_file_slice
:
Algorithm
, { file :
U32
, start :
U64
, len :
U64
}, (
List
(
U8
)
->
msg
)
->
Effect
(
msg
)
WebCrypto
.
to_hex
:
List
(
U8
)
->
Str
WebCrypto
.
Algorithm
: [
Sha1
,
Sha256
,
Sha384
,
Sha512
]