AK
а тут хочется
#, который как |> в Эльме, если бы это просто функции были, то можно было бы через негоSize: a a a
2018 July 19
AK
ну то есть есть оператор
AK
Но тут напрашиваются бинды, есть эффекты в каждой строчке, и всякое такое
AK
то есть каждая строка внутри
и от этого плясать?
do это ... -> API -> API (или Structure -> Structure). Может быть тогда сделать как-то так?data Subject = Thing' Thing | OtherThing' OtherThing | None
data API = Aff Unit Subject и от этого плясать?
VY
если нужно просто последовательно выполнить несколько запросов , например, если есть такая ф-ция
то можно просто написать что-то типа:
после
fetchFoo ∷ Integer -> Aff (Either Error Foo)и еще какая-то другая, наподобе, которая зависит от
fetchFoo id = do
response <- attempt $ _.response <$> AX.get Response.json url
pure $ response >>= JSON.decode
where
url = mkUrl $ "/foos/" <> id
Foo (первый аргумент у нее имеет тип Foo)то можно просто написать что-то типа:
fetchX = launchAff_ $и тут дальше что-то еще делается
foo1 <- fetchFoo 1
foo2 <- fetchBar foo1
...
после
$ это все Aff, можно делать что угодно, выполнять сколько угодно последовательных\параллельных эффектов итдк
мне не очень понятно как делать API для структур типа:
Structure { things: List Thing, somethingRelatedToOtherThings: ... }
Thing { otherThings: List OtherThing }
build = do
thing <- addThing ...
otherThing <- addToThing thing ...
modifyThing thing ...
modifyOtherThing otherThing ...
pure ..
к
если это стейт, то можно зумить на конкретное поле или работать со стейт-линазами
к
типа если это просто рекорд, то не понятно, зачем тут апи какой-то
AK
Да, может зум и линзы то что надо, правда у меня ещё мало оптического опыта.
AK
типа если это просто рекорд, то не понятно, зачем тут апи какой-то
Рекорд не просто, он очень сложный, я просто упростил до абстракции, чтобы легче было конкретную проблему обсуждать в вакууме
к
это просто сложный рекорд?
к
тогда ничего кроме линз и не нужно
VY
+
тогда не важно что я выше писал)
тогда не важно что я выше писал)
AK
Есть функции которые делают:
`... -> Structure -> Eff ... Structure` и `... -> Structure -> Aff ... Structure`
`... -> Structure -> Eff ... Structure` и `... -> Structure -> Aff ... Structure`
AK
На основе внутренностей `Structure`
AK
Вроде рекорд это не делает сложно сложным, он остаётся просто сложным
AK
AK
тогда ничего кроме линз и не нужно
А есть примеры хорошие?
AK