language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 21:39:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

roc format

Browse source
This commit is contained in:
faldor20 2024-04-02 10:00:25 +10:00
parent 017efc84ae
commit f330e9aa29
No known key found for this signature in database
GPG key ID: F2216079B890CD57
1 changed files with 10 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/compiler/builtins/roc/TotallyNotJson.roc
View file

@ -232,11 +232,11 @@ escapedByteToJson = \b ->
encodeList = \lst, encodeElem -> encodeList = \lst, encodeElem ->
Encode.custom \bytes, @Json {} -> Encode.custom \bytes, @Json {} ->
writeList = \{ buffer, elemsLeft }, elem -> writeList = \{ buffer, elemsLeft }, elem ->
beforeBufferLen=buffer|>List.len beforeBufferLen = buffer |> List.len
bufferWithElem = appendWith buffer (encodeElem elem) (@Json {}) bufferWithElem = appendWith buffer (encodeElem elem) (@Json {})
#If our encoder returned [] we just skip the elem # If our encoder returned [] we just skip the elem
if bufferWithElem|>List.len == beforeBufferLen then if bufferWithElem |> List.len == beforeBufferLen then
{ buffer: bufferWithElem, elemsLeft: elemsLeft - 1 } { buffer: bufferWithElem, elemsLeft: elemsLeft - 1 }
else else
bufferWithSuffix = bufferWithSuffix =
@ -247,7 +247,6 @@ encodeList = \lst, encodeElem ->
{ buffer: bufferWithSuffix, elemsLeft: elemsLeft - 1 } { buffer: bufferWithSuffix, elemsLeft: elemsLeft - 1 }
head = List.append bytes (Num.toU8 '[') head = List.append bytes (Num.toU8 '[')
{ buffer: withList } = List.walk lst { buffer: head, elemsLeft: List.len lst } writeList { buffer: withList } = List.walk lst { buffer: head, elemsLeft: List.len lst } writeList
@ -257,9 +256,9 @@ encodeRecord = \fields ->
Encode.custom \bytes, @Json {} -> Encode.custom \bytes, @Json {} ->
writeRecord = \{ buffer, fieldsLeft }, { key, value } -> writeRecord = \{ buffer, fieldsLeft }, { key, value } ->
fieldValue=[]|>appendWith value (json) fieldValue = [] |> appendWith value (json)
#If our encoder returned [] we just skip the field # If our encoder returned [] we just skip the field
if fieldValue==[] then if fieldValue == [] then
{ buffer, fieldsLeft: fieldsLeft - 1 } { buffer, fieldsLeft: fieldsLeft - 1 }
else else
fieldName = key fieldName = key
@ -286,15 +285,14 @@ encodeRecord = \fields ->
encodeTuple = \elems -> encodeTuple = \elems ->
Encode.custom \bytes, @Json {} -> Encode.custom \bytes, @Json {} ->
writeTuple = \{ buffer, elemsLeft }, elemEncoder -> writeTuple = \{ buffer, elemsLeft }, elemEncoder ->
beforeBufferLen=buffer|>List.len beforeBufferLen = buffer |> List.len
bufferWithElem = appendWith buffer (elemEncoder) (@Json {}) bufferWithElem = appendWith buffer (elemEncoder) (@Json {})
#If our encoder returned [] we just skip the elem # If our encoder returned [] we just skip the elem
if bufferWithElem|>List.len == beforeBufferLen then if bufferWithElem |> List.len == beforeBufferLen then
{ buffer: bufferWithElem, elemsLeft: elemsLeft - 1 } { buffer: bufferWithElem, elemsLeft: elemsLeft - 1 }
else else
bufferWithSuffix = bufferWithSuffix =
if elemsLeft > 1 then if elemsLeft > 1 then
List.append bufferWithElem (Num.toU8 ',') List.append bufferWithElem (Num.toU8 ',')