VY
не, это свои эффекты
Size: a a a
2019 January 23
YL
нет, это purescript-run
ЗП
Кто может объяснить почему приведение типов в данном случае не работает?
aa :: forall r. (aff :: AFF | r) -> (aff :: AFF, effect :: EFFECT |r)
aa = identity
тут нужен констрейнт, что
r гарантированно содержит effectЗП
ну и надо r1,r2
YL
ЗП
ты пытаешь заюзать identity для Rows
ЗП
но identity работает с каиндами обычными, а не row
ЗП
# Type != TypeЗП
у меня другая ошибка)
aa :: forall r. (aff :: Run.AFF | r) -> (aff :: Run.AFF, effect :: Run.EFFECT | r)
^^^^^^^^^^^^^^
Could not match kind
Type
with kind
# Type
while checking the kind of ( aff :: AFF
| r
)
-> ( aff :: AFF
, effect :: EFFECT
| r
)
in value declaration aa
ЗП
тебе надо type equality но для rows?
ЗП
возможно это какой-то бред, но вроде только так равенство типовое можно написать
ЗП
aa :: forall r1 r2
. Row.Union (aff :: Run.AFF) _ r1
=> Row.Union (aff :: Run.AFF, effect :: Run.EFFECT) _ r2
=> TypeEquals {| r1} {| r2}
=> {| r1}
-> {| r2}
aa = from <<< to
ЗП
или свой тайпкласс
class RowEquals (a ∷ # Type) (b ∷ # Type) | a -> b, b -> a where
toR ∷ forall f. f a -> f b
fromR ∷ forall f. f b -> f a
instance refl ∷ RowEquals r r where
toR = identity
fromR = identity
aa :: forall r1 r2
. Row.Union (aff :: Run.AFF) _ r1
=> Row.Union (aff :: Run.AFF, effect :: Run.EFFECT) _ r2
=> RowEquals r1 r2
=> {| r1}
-> {| r2}
aa = fromR <<< toR
2019 January 25
VY
в общем, возникла необходимость глобальные события использовать
а у меня щас все построено на
сходу не вижу ничего особенно плохого в этом, например, в слэмдата такого много https://github.com/natefaubion/slamdata/blob/8d7534b0a8e9819b2719ca088c620cf098630c80/src/SlamData/Wiring.purs#L138 (было во всяком случае)
а у меня щас все построено на
newtype AppM a = AppM (ReaderT Env Aff a)
так вот, я думаю использовать purescript-aff-bus и добавить пару Bus'es в Env свойсходу не вижу ничего особенно плохого в этом, например, в слэмдата такого много https://github.com/natefaubion/slamdata/blob/8d7534b0a8e9819b2719ca088c620cf098630c80/src/SlamData/Wiring.purs#L138 (было во всяком случае)
VY
кстати, если кто-то видел пример приложения на Halogen + Run — поделитесь плиз
ЗП
кстати, если кто-то видел пример приложения на Halogen + Run — поделитесь плиз
зачем тебе Run?
ЗП
ты чего ник сменил?