169 похожих чатов

У меня проблема мне надо получить время в скотти getPOSIXTime возвращает IO

POSIXTime
и поэтому
start :: IO ()
start = scotty 3000 $
get "/" $ do
tm <- getPOSIXTime
json Time { unixtime = tm }
вот так не работает, с ошибкой
  ~/coding/hastest/src/Dirty/ 2
└╴ Start.hs 2
├╴E • Couldn't match type ‘IO’
│ with ‘Web.Scotty.Internal.Types.ActionT IO’
│ Expected: Web.Scotty.Internal.Types.ActionT IO POSIXTime
│ Actual: IO POSIXTime
│ • In a stmt of a 'do' block: tm <- getPOSIXTime
│ In the second argument of ‘($)’, namely
│ ‘do tm <- getPOSIXTime
│ json Time {unixtime = tm}’
│ In the second argument of ‘($)’, namely
│ ‘get "/"
│ $ do tm <- getPOSIXTime
│ json Time {unixtime = tm}’ typecheck (-Wdeferred-type-errors) [15, 15]
└╴E • Couldn't match type ‘time-1.12.2:Data.Time.Clock.Internal.NominalDiffTime.NominalDiffTime’
with ‘Int’
Expected: Int
Actual: POSIXTime
• In the ‘unixtime’ field of a record
In the first argument of ‘json’, namely ‘Time {unixtime = tm}’
In a stmt of a 'do' block: json Time {unixtime = tm} typecheck (-Wdeferred-type-errors) [16, 32]
сложно с монадами, можете помочь?

6 ответов

13 просмотров
Rebuild your mind.- Автор вопроса

если что, тип Time определен и неправильно, но щас не это важно

tm <- liftIO getPOSIXTime

Rebuild your mind.- Автор вопроса
Danil Berestov
tm <- liftIO getPOSIXTime

пробовал, └╴E Variable not in scope: liftIO :: IO POSIXTime -> Web.Scotty.Internal.Types.ActionT IO Int Suggested fix: Perhaps use ‘liftA2’ (imported from Prelude) typecheck (-Wdeferred-out-of-scope-variables) [15, 15]

Стикер

он же написал, что эта ошибка неважна

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта