MK
сомневаюсь что это будет красиво
можешь indexed bind в where класть, а в остальных местах из прелюды
можешь indexed bind в where класть, а в остальных местах из прелюды
Size: a a a
2020 May 12
AV
Оно не ругается в этом случае?
AV
Как вы с твоими декодерами для neo4j делаете?
MK
import Prelude
import Rebound as R
normalM = do
foo
bar
reboundM = do
fooR
barR
where
(>>=) = R.bind
MK
что-то такое должно сработать
AV
Я бы на месте GHC ругался на то, что (>>=) уже определено в модуле
MK
это будет просто варнинг про клэш имён
MK
насколько я понимаю
AV
Придётся OPTIONS_GHC -fno-warn-... делать
MK
да)
AV
А как вы у себя делаете?
MK
кстати не понимаю почему пишут
-fno-warn-X вместо -Wno-XAV
query в отдельных модулях?
MK
А как вы у себя делаете?
никак, я rebindable так и не притащил в наш код
AV
Вот всегда так, на конфе доложатся, а в прод не протащат!
MK
в других местах где я видел индексированные монады, в одном модуле не используют разные бинды
MK
Вот всегда так, на конфе доложатся, а в прод не протащат!
классика же
AV
Или ещё хуже уже выпилят!
AV
А доклад подан за полгода до этого не менять же
AV
В линейных типах в применях таскают словарик, но там пока примеры игрушечные