AK
во всех примерах не нашёл чейнинга, но раз это
ContT под капотом, то наверное разберусьManaged a = Codensity Effect a = forall r . ContT r Effect aSize: a a a
2018 August 06
ЗП
ЗП
Codensity это тоже монадный трансформер
AG
(Type -> Type) -> (Type -> Type) даЗП
кстати я приму pr) кто хочет допилить managed до релиза на pursuit
ЗП
для начала в тесты что-то добавить
AG
а где репа?
ЗП
я просто тут недавно портировал такую штуку
https://github.com/xgrommx/purescript-managed/blob/master/src/Control/Monad/Managed.purs
https://hackage.haskell.org/package/managed-1.0.6/docs/Control-Monad-Managed.html
https://github.com/xgrommx/purescript-managed/blob/master/src/Control/Monad/Managed.purs
https://hackage.haskell.org/package/managed-1.0.6/docs/Control-Monad-Managed.html
^
2018 August 08
AK
https://madnight.github.io/githut/#/pull_requests/2018/2 в первом квартале в таблицу попал Elm, а во втором PureScript
d
https://madnight.github.io/githut/#/pull_requests/2018/2 в первом квартале в таблицу попал Elm, а во втором PureScript
Это я делал выбор - Elm или PureScript использовать
YL
У кого нибудь есть идея как заставить компилятор признаться насчёт типов t4 и t5 в этом сообщении об ошибке https://gist.github.com/Unisay/ef797bd196261611876b17d2e7dfda67? В сообщении приводится сигнатура функции но с использованием имён типов данных разработчиком, а не типов используемых компилятором.
ЗП
он глупый в этом плане
ЗП
у них плохо все с ошибками
YL
я надеялся может флажок есть какой
ЗП
особенно когда с Row, RowCons и тд
ЗП
YL
-- | The component itself
component
:: ∀ pq cq cs form out m spec specxs field fieldxs output countxs count inputs inputsxs
. Ord cs
=> Monad m
=> RL.RowToList spec specxs
=> RL.RowToList field fieldxs
=> RL.RowToList count countxs
=> RL.RowToList inputs inputsxs
=> EqRecord inputsxs inputs
=> Internal.FormSpecToInputField specxs spec field
=> Internal.InputFieldsToInput fieldxs field inputs
=> Internal.SetInputFieldsTouched fieldxs field field
=> Internal.InputFieldToMaybeOutput fieldxs field output
=> Internal.CountErrors fieldxs field count
=> Internal.AllTouched fieldxs field
=> Internal.SumRecord countxs count (Additive Int)
=> Newtype (form FormSpec) (Record spec)
=> Newtype (form InputField) (Record field)
=> Newtype (form OutputField) (Record output)
=> Newtype (form Internal.Input) (Record inputs)
=> Component pq cq cs form out m