Size: a a a

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

2018 December 29

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
это там где решение с comprehensions?
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
да нормально выглядит, ну почти)
(status ^? _Pending <|> status ^? _Accepted)
еще бы свернуть это всё, вместе того чтобы перечислять
тут всего 2 призмы, но может быть и больше и тогда удобно/правильнее было бы как-то сворачивать
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
oneOfMap (status ^? _) [_Pending, _Accepted]
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
ооо варик Николаса норм
status ^? (_Pending <> _Accepted)

ладно, спасибо, я уже получил кучу способов это сделать
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
научился я наконец-то пользоваться EventSource'ами в халогене, очень просто оказалось всё
в v5.0 будет ещё проще, они там всё переделали
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
научился я наконец-то пользоваться EventSource'ами в халогене, очень просто оказалось всё
в v5.0 будет ещё проще, они там всё переделали
пиши заметки)
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
ооо варик Николаса норм
status ^? (_Pending <> _Accepted)

ладно, спасибо, я уже получил кучу способов это сделать
а оптика разве имеет инстанс моноида?
источник

VY

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

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
тогда и foldMap (status ^? _) [_Pending, _Accepted] ок
источник

ЗП

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

ЗП

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
Vasiliy Yorkin [11:02 PM]
I still can figure out how to lift my connect to implement the HalogenM instance:
class Monad m <= Hub m where
 connect ∷ ∀ f. User → Handlers f → m (EventSources f m)

instance hubHalogenM ∷ Hub m ⇒ Hub (HalogenM s f g p o m) where
 connect u = lift <<< connect u
error:
 
Could not match type
   m6
 with type
   HalogenM s1 f2 g3 p4 o5 m6

while trying to match type EventSource f00 m6
 with type EventSource f00 (HalogenM s1 f2 g3 p4 o5 m6)
while checking that expression (compose lift) (connect u)
 has type { onClose :: CloseEvent -> Maybe (f00 SubscribeStatus)
          , onMessage :: Either ParseError Message -> Maybe (f00 SubscribeStatus)
          }
          -> HalogenM s1 f2 g3 p4 o5 m6
               { onClose :: EventSource f00 (HalogenM s1 f2 g3 p4 o5 m6)
               , onMessage :: EventSource f00 (HalogenM s1 f2 g3 p4 o5 m6)
               }
in value declaration hubHalogenM
I don't really understand what is going there ^ :)
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
(сорян, что так заспамил чатик этот несчастный)
источник

VY

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

в общем я потратил какое-то нереальное кол-во времени, чтобы разобраться как пользоваться EventSource's,
пример выложу на гх, писать какой-то гайд сейчас безсмыссленно, ибо скоро апи поменяется (после нг с выходом 5-го халогена)
источник
2019 January 01

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
в эту новогоднюю ночь я хочу отобразить рекорд вида Icons a = { foo :: a, bar :: a } в другой рекорд с такими же лейблами
источник

VY

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

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
type Assets a =
 { logo ∷ a
 , icons ∷ Icons a
 }

foreign import assets ∷ Assets String
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
сходу не вижу что не так(
ладно, фиг с ним, мне пока совсем все иконки эти не нужны, пара-тройка штук только, там надо ошибку показывать, так не очень, конечно, понятно
  Could not match type

   r4

 with type

   r5


while trying to match type IProp r4
 with type IProp r5
while solving type class constraint

 Prim.Row.Cons "acUnit"
               (Array (IProp t0 t1) -> HTML t2 t1)
               t3
               ( acUnit :: forall p r i. Array (IProp r i) -> HTML p i
наверное, всё таки так уже ближе

type HTMLIcon p r i = Array (IProp r i) → HTML p i

icons
 ∷ ∀ row xs row' p r i
 . RowToList row xs
 ⇒ MapRecord xs row String (HTMLIcon p r i) () row'
 ⇒ Icons (HTMLIcon p r i)
icons = mapRecord icon assets.icons
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
да, всё, теперь работает
источник
2019 January 03

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Есть вопрос по FRP.Event, можно ли как-то flatMap с ним сделать? Типа:

f :: Event (List Int) -> Event Int
источник