merge main

This commit is contained in:
Bryce Miller 2023-06-10 15:04:25 -04:00
commit 0132df9b5a
No known key found for this signature in database
GPG key ID: F1E97BF8DF152350
38 changed files with 6287 additions and 5728 deletions

View file

@ -2,11 +2,11 @@ platform "python-interop"
requires {} { main : arg -> ret where arg implements Decoding, ret implements Encoding }
exposes []
packages {}
imports [Json]
imports [TotallyNotJson]
provides [mainForHost]
mainForHost : List U8 -> List U8
mainForHost = \json ->
when Decode.fromBytes json Json.json is
Ok arg -> Encode.toBytes (main arg) Json.json
when Decode.fromBytes json TotallyNotJson.json is
Ok arg -> Encode.toBytes (main arg) TotallyNotJson.json
Err _ -> []