mirror of
https://github.com/roc-lang/roc.git
synced 2025-10-02 08:11:12 +00:00
8dedd9f03c
Implements the new app header syntax as discussed in Zulip [1].
app [main] {
cli: platform "../platform/main.roc",
json: "../json/main.roc"
}
Old headers still parse and are automatically upgraded to the new
syntax by the formatter.
[1] 418444862
64 lines
2.3 KiB
Text
64 lines
2.3 KiB
Text
app [main] {
|
|
pf: platform "https://github.com/roc-lang/basic-cli/releases/download/0.10.0/vNe6s9hWzoTZtFmNkvEICPErI9ptji_ySjicO6CkucY.tar.br",
|
|
parser: "https://github.com/lukewilliamboswell/roc-parser/releases/download/0.5.2/9VrPjwfQQ1QeSL3CfmWr2Pr9DESdDIXy97pwpuq84Ck.tar.br",
|
|
}
|
|
|
|
import pf.Stdout
|
|
import pf.Stderr
|
|
import pf.Task exposing [Task]
|
|
import parser.Core exposing [Parser, map, keep]
|
|
import parser.String exposing [strFromUtf8]
|
|
import parser.CSV exposing [CSV]
|
|
|
|
input : Str
|
|
input = "Airplane!,1980,\"Robert Hays,Julie Hagerty\"\r\nCaddyshack,1980,\"Chevy Chase,Rodney Dangerfield,Ted Knight,Michael O'Keefe,Bill Murray\""
|
|
|
|
main =
|
|
when CSV.parseStr movieInfoParser input is
|
|
Ok movies ->
|
|
moviesString =
|
|
movies
|
|
|> List.map movieInfoExplanation
|
|
|> Str.joinWith ("\n")
|
|
nMovies = List.len movies |> Num.toStr
|
|
|
|
Stdout.line "$(nMovies) movies were found:\n\n$(moviesString)\n\nParse success!\n"
|
|
|
|
Err problem ->
|
|
when problem is
|
|
ParsingFailure failure ->
|
|
Stderr.line "Parsing failure: $(failure)\n"
|
|
|
|
ParsingIncomplete leftover ->
|
|
leftoverStr = leftover |> List.map strFromUtf8 |> List.map (\val -> "\"$(val)\"") |> Str.joinWith ", "
|
|
|
|
Stderr.line "Parsing incomplete. Following leftover fields while parsing a record: $(leftoverStr)\n"
|
|
|
|
SyntaxError error ->
|
|
Stderr.line "Parsing failure. Syntax error in the CSV: $(error)"
|
|
|
|
MovieInfo := { title : Str, releaseYear : U64, actors : List Str }
|
|
|
|
movieInfoParser =
|
|
CSV.record (\title -> \releaseYear -> \actors -> @MovieInfo { title, releaseYear, actors })
|
|
|> keep (CSV.field CSV.string)
|
|
|> keep (CSV.field CSV.u64)
|
|
|> keep (CSV.field actorsParser)
|
|
|
|
actorsParser =
|
|
CSV.string
|
|
|> map \val -> Str.split val ","
|
|
|
|
movieInfoExplanation = \@MovieInfo { title, releaseYear, actors } ->
|
|
enumeratedActors = enumerate actors
|
|
releaseYearStr = Num.toStr releaseYear
|
|
|
|
"The movie '$(title)' was released in $(releaseYearStr) and stars $(enumeratedActors)"
|
|
|
|
enumerate : List Str -> Str
|
|
enumerate = \elements ->
|
|
{ before: inits, others: last } = List.split elements (List.len elements - 1)
|
|
|
|
last
|
|
|> List.prepend (inits |> Str.joinWith ", ")
|
|
|> Str.joinWith " and "
|