Size: a a a

PureScript — русскоговорящее сообщество

2018 December 28

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Что то не понятно что это
источник
2018 December 29

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Лучше бы квантификацию констрейнтов запилили
источник

VK

Vladimir Klntsky in PureScript — русскоговорящее сообщество
Это как?
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Как в хаскель
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
не понятно что такое f тут
newtype EventSource f m =
 EventSource (m { producer :: CR.Producer (f SubscribeStatus) m Unit, done :: m Unit })

upd: говорят "it’s the query functor for the component"
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
для EventSource в мастере совсем всё изменилось https://github.com/slamdata/purescript-halogen/blob/master/src/Halogen/Query/EventSource.purs
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
я честно говоря с трудом сейчас врубаюсь как пользоваться EventSource, вроде как проще всего начать с того, что описать свои события (attach-ф-ции)
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
типа таких
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
в итоге, насколько я пока что понимаю, мой connect должен выглядеть как-то так, чтобы я мог потом его использовать из Halogen компонента (подписаться на это с помощью H.subscribe)
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
например у меня есть такие типы
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
я хочу что-то типа previewOn только попробовать несколько по очереди
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
например, в некоторой ф-ции disconnect я хочу сделать что-то (закрыть сокет) только для Pending & Accepted (тк в таком случае есть Connection и соотв. WebSocket)
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
что-то было такое, не помню что
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
или просто призму 1 руками написать
ну да, так и сделаю
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
хотя я не понимаю как написать такую призму
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
хотя нет, допер, нужно использовать prism, prism' тут не достаточно, конечно
хотя нет, нужно выбрать какой-то один конструктор из 2-х
но мне вообще другой тип нужен на выходе
ok, походу я всё забыл и надо читать как это всё работает заново (почти всегда так)

вот конкретно в этом случае я хочу
_Connection ∷ Prism' Status Connection
_Connection = prism ?ctor ?focus

Connection есть только в 2х конструкторах
как сделать такую призму?
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
мда, а в пурсе нет failing
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Можешь как в хаскель канале, только замени на foldMap
источник