AZ
ну так else if, а не else
Size: a a a
2020 June 09
e
зачем это самому чето знать отгадывать угадывать
SP
да просто
e
ваще ништяк же
AZ
ну так должно в голову быть вшито, что должно быть столько ретурнов сколько веток флоу
SP
ну так должно в голову быть вшито, что должно быть столько ретурнов сколько веток флоу
так столько и есть
AZ
так столько и есть
3 ветки, два ретурна
SP
не вижу третью
AZ
не вижу третью
если ни одно условие не сработало
SP
ну мы же МАТЕМАТИКИ, комон
EG
А строки в идрисе можно паттернматчить?
AZ
если мы МАТЕМАТИКИ зачем писать else if вместо просто else?
e
так столько и есть
просто else if дропни
AZ
А строки в идрисе можно паттернматчить?
можно
AZ
странный вопрос
EG
Плохо сформулировал
AZ
parseCommand : String -> Maybe Command
parseCommand text =
case span (/= ' ') (toLower text) of
("add", args) => pure $ Add (ltrim args)
("get", args) => Get <$> parseInteger args
("quit", _) => pure Quit
_ => NothingEG
Можно их разбивать посимвольно паттернматчингом?
EG
На хед/тейл
AZ
Можно их разбивать посимвольно паттернматчингом?
преобразуй в List Char и разбирай