Skip to content

Commit 3f2dbec

Browse files
author
Nils Lindemann
committed
Format all files using the Mint formatter
1 parent cb0b829 commit 3f2dbec

14 files changed

+510
-245
lines changed

source/WebSocket.mint

Lines changed: 66 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -16,44 +16,54 @@ component Websocket {
1616
state connection = Maybe::Nothing
1717

1818
fun componentDidMount {
19-
let websocket = createWebsocket()
19+
let websocket =
20+
createWebsocket()
21+
2022
next { connection: Maybe::Just(websocket) }
2123
}
2224

23-
fun createWebsocket() {
24-
WebSocket.open({
25-
url: "ws://localhost:6789/",
26-
reconnectOnClose : true,
27-
onOpen : (w: WebSocket){ next {isReady: true} },
28-
onClose : (){ next {isReady: false} },
29-
onError : (){ next {isReady: false} },
30-
onMessage : (raw: String) {
31-
let message = parseServerMessage(raw)
32-
case message {
33-
ServerMessage::AmountUsers(a) =>
34-
next { amountUsers: a }
35-
ServerMessage::Counter(c) =>
36-
next {counter: c }
37-
=>
38-
next {}
39-
}
40-
}
41-
})
25+
fun createWebsocket {
26+
WebSocket.open(
27+
{
28+
url: "ws://localhost:6789/",
29+
reconnectOnClose: true,
30+
onOpen: (w : WebSocket) { next { isReady: true } },
31+
onClose: () { next { isReady: false } },
32+
onError: () { next { isReady: false } },
33+
onMessage:
34+
(raw : String) {
35+
let message =
36+
parseServerMessage(raw)
37+
38+
case message {
39+
ServerMessage::AmountUsers(a) =>
40+
next { amountUsers: a }
41+
42+
ServerMessage::Counter(c) =>
43+
next { counter: c }
44+
45+
=>
46+
next { }
47+
}
48+
}
49+
})
4250
}
4351

44-
fun parseServerMessage(raw: String): ServerMessage {
52+
fun parseServerMessage (raw : String) : ServerMessage {
4553
let Result::Ok(syntax) =
4654
Json.parse(raw) or return ServerMessage::Unknown
55+
4756
let Result::Ok(semantic) =
4857
decode syntax as TypedData or return ServerMessage::Unknown
58+
4959
case semantic.desc {
5060
"counter" => ServerMessage::Counter(semantic.data)
5161
"amount_users" => ServerMessage::AmountUsers(semantic.data)
5262
=> ServerMessage::Unknown
5363
}
5464
}
5565

56-
fun send (websocket: WebSocket, data: Number, desc: String) {
66+
fun send (websocket : WebSocket, data : Number, desc : String) {
5767
WebSocket.send(
5868
websocket,
5969
(encode {
@@ -63,10 +73,11 @@ component Websocket {
6373
|> Json.stringify())
6474
}
6575

66-
fun addToCounter(num: Number) {
76+
fun addToCounter (num : Number) {
6777
case connection {
6878
Maybe::Nothing =>
69-
next {counter: counter + num}
79+
next { counter: counter + num }
80+
7081
Maybe::Just(websocket) =>
7182
send(websocket, num, "update_counter")
7283
}
@@ -75,26 +86,51 @@ component Websocket {
7586
fun render {
7687
<section id="websocket">
7788
<h2>"WebSocket"</h2>
89+
7890
if isReady {
7991
<>
8092
<div class="grid3">
81-
<button onclick={(){addToCounter(-1)}}>"-"</button>
82-
<span> <{ counter |> Number.toString() }> </span>
83-
<button onclick={(){addToCounter(1)}}>"+"</button>
93+
<button onclick={() { addToCounter(-1) }}>
94+
"-"
95+
</button>
96+
97+
<span>
98+
<{
99+
counter
100+
|> Number.toString()
101+
}>
102+
</span>
103+
104+
<button onclick={() { addToCounter(1) }}>
105+
"+"
106+
</button>
84107
</div>
108+
85109
<p>
86-
<{ amountUsers |> Number.toString() }>
110+
<{
111+
amountUsers
112+
|> Number.toString()
113+
}>
114+
87115
" user"
88-
if amountUsers == 1 { "" } else { "s" }
116+
117+
if amountUsers == 1 {
118+
""
119+
} else {
120+
"s"
121+
}
122+
89123
" online"
90124
</p>
91125
</>
92126
} else {
93127
<p class="important">
94-
"Can not establish a websocket connection. is " <code>"websocketserver.py"</code>
128+
"Can not establish a websocket connection. is "
129+
<code>"websocketserver.py"</code>
95130
" running?"
96131
</p>
97132
}
133+
98134
<GoTop/>
99135
</section>
100136
}

source/Window/ActiveUrl.mint

Lines changed: 47 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -1,48 +1,63 @@
11
component ActiveUrl {
2-
3-
state urlInfos = [
4-
{ "http://127.0.0.1:3000/", false },
5-
{ "http://127.0.0.1:3000/?foo=bar", false },
6-
{ "http://127.0.0.1:3000/#lorem", false },
7-
{ "http://127.0.0.1:3000/a/b/c", false },
8-
{ "http://127.0.0.1:9999/", false },
9-
{ "http://999.9.9.9:3000/", false },
10-
{ "https://127.0.0.1:3000/", false },
11-
]
2+
state urlInfos =
3+
[
4+
{"http://127.0.0.1:3000/", false},
5+
{"http://127.0.0.1:3000/?foo=bar", false},
6+
{"http://127.0.0.1:3000/#lorem", false},
7+
{"http://127.0.0.1:3000/a/b/c", false},
8+
{"http://127.0.0.1:9999/", false},
9+
{"http://999.9.9.9:3000/", false},
10+
{"https://127.0.0.1:3000/", false}
11+
]
1212

1313
use Provider.Url {
14-
changes: (url: Url) : Promise(Void) {
15-
check(url)
16-
}
14+
changes:
15+
(url : Url) : Promise(Void) {
16+
check(url)
17+
}
1718
}
1819

1920
fun componentDidMount {
20-
check(Window.url())
21+
check(Window.url())
2122
}
2223

23-
fun check(url: Url) : Promise(Void) {
24-
next {
25-
urlInfos :
26-
for urlInfo of urlInfos {
27-
let url = urlInfo[0]
28-
{ url, Window.isActiveURL(url) }
29-
}
30-
}
24+
fun check (url : Url) : Promise(Void) {
25+
next
26+
{
27+
urlInfos:
28+
for urlInfo of urlInfos {
29+
let url =
30+
urlInfo[0]
31+
32+
{url, Window.isActiveURL(url)}
33+
}
34+
}
3135
}
3236

33-
fun rows (urlInfos: Array(Tuple(String, Bool))) {
37+
fun rows (urlInfos : Array(Tuple(String, Bool))) {
3438
for urlInfo of urlInfos {
35-
let {url, isActiveUrl} = urlInfo
39+
let {url, isActiveUrl} =
40+
urlInfo
41+
3642
<tr>
3743
<td>
38-
<code><{ url }></code>
44+
<code>
45+
<{ url }>
46+
</code>
3947
</td>
48+
4049
<td>
41-
<{ if isActiveUrl {
42-
<span class="green">"Yes"</span>
43-
} else {
44-
<span class="red">"No"</span>
45-
} }>
50+
<{
51+
if isActiveUrl {
52+
<span class="green">
53+
"Yes"
54+
</span>
55+
} else {
56+
<span class="red">
57+
"No"
58+
</span>
59+
}
60+
}>
4661
</td>
4762
</tr>
4863
}
@@ -51,10 +66,10 @@ component ActiveUrl {
5166
fun render : Html {
5267
<section>
5368
<h3>"Active URL?"</h3>
69+
5470
<table>
5571
<{ rows(urlInfos) }>
5672
</table>
5773
</section>
58-
5974
}
60-
}
75+
}
Lines changed: 36 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1,39 +1,53 @@
11
component AddRemoveListener {
2-
3-
state handlerRemover: Maybe(Function(Void)) = Maybe::Nothing
2+
state handlerRemover : Maybe(Function(Void)) = Maybe::Nothing
43
state buttonText = "Add a window click listener"
54
state clickAmount = 0
65

76
fun toggleHandler {
87
case handlerRemover {
9-
Maybe::Nothing => {
10-
// TBD: Why cant I give the type `Function(Void)` to `remover`?
11-
let remover = Window.addEventListener(
12-
"click", true, (event: Html.Event) {
13-
next { clickAmount: clickAmount + 1 }
14-
}
15-
)
16-
next {
17-
handlerRemover: Maybe::Just(remover),
18-
buttonText: "Remove the window click listener"
8+
Maybe::Nothing =>
9+
{
10+
// TBD: Why cant I give the type `Function(Void)` to `remover`?
11+
let remover =
12+
Window.addEventListener(
13+
"click",
14+
true,
15+
(event : Html.Event) {
16+
next { clickAmount: clickAmount + 1 }
17+
})
18+
19+
next
20+
{
21+
handlerRemover: Maybe::Just(remover),
22+
buttonText: "Remove the window click listener"
23+
}
1924
}
20-
}
21-
Maybe::Just(remover) => {
22-
remover()
23-
next {
24-
handlerRemover: Maybe::Nothing,
25-
buttonText: "Add a window click listener",
25+
26+
Maybe::Just(remover) =>
27+
{
28+
remover()
29+
30+
next
31+
{
32+
handlerRemover: Maybe::Nothing,
33+
buttonText: "Add a window click listener"
34+
}
2635
}
27-
}
2836
}
2937
}
3038

3139
fun render {
3240
<section>
3341
<h3>"Add / Remove listener"</h3>
34-
<button onclick={toggleHandler}><{buttonText}></button>
35-
<p>"The window was clicked #{clickAmount |> Number.toString } times"</p>
42+
43+
<button onclick={toggleHandler}>
44+
<{ buttonText }>
45+
</button>
46+
47+
<p>
48+
"The window was clicked #{clickAmount
49+
|> Number.toString} times"
50+
</p>
3651
</section>
3752
}
38-
3953
}

0 commit comments

Comments
 (0)