YP
Пасиб, гляну.
Size: a a a
2021 January 17
к
Yuriy Pachin
А это шутка такая, что ормолу из длинного data A | B | C | D | … делает высоченный столб?
ормолу переносит на новую строку только если ты сам перенес
собственно сделал намеренно в одной строке - ормолу в одной строке и оставит, сделал несколько строк - ормолу уже сам разнесет эту ноду на несколько строк как считает нужным
собственно сделал намеренно в одной строке - ормолу в одной строке и оставит, сделал несколько строк - ормолу уже сам разнесет эту ноду на несколько строк как считает нужным
YP
У меня несколько длинных строк, да.
IR
data Collection a = Collection
{ thingFoo :: a
, thingBar :: a
}
deriving stock (Show, Functor, Foldable, Traversable, Generic, Generic1)
deriving Applicative via (Co Collection)
instance Distributive Collection where
collect = genericCollect
instance Representable Collection
убрать бы теперь все эти портянки под ондин ньютайп...
IR
Distributive через что?
IR
говорят там надо прописывать руками коллект потому что оба метода имеют дефолты друг через друга
к
Distributive через что?
GenericDistributive
newtype GenericDistributive g a = GenericDistributive (g a)
instance (Generic1 g, GDistributive (Rep1 g)) => Distributive (GenericDistributive g) where
collect = coerce (genericCollect @... @...)
что-то такое наверное
data X a
deriving Distributive via GenericDistributive X
newtype GenericDistributive g a = GenericDistributive (g a)
instance (Generic1 g, GDistributive (Rep1 g)) => Distributive (GenericDistributive g) where
collect = coerce (genericCollect @... @...)
что-то такое наверное
data X a
deriving Distributive via GenericDistributive X
AV
Какая-то страная фигня со Stack под windows. Пытаюсь запустить приложение в виде
stack exec -- my-exe и приложение закрывается мгновенно, как будто первая инструкция return 0. Если запускать то же приложение через консоль, то получаю корректную работу + сообщения в консоль. Все каким-то образом связано с зависимостью на cairo, которую я ставил через стаковскую версию mingw: stack exec -- pacman -S bla-bla-bla-cairo
IR
ощущение, что не хватает dll, но я не понимаю как в stack организован path для вызова
stack exec, и еще не понимаю почему все завершается без какого-нибудь сообщения об ошибкеесли ничего не сообщается, то может не заказана консоль?
ghc-options: -optl-mconsoleIR
так прокатывает, а для дистрибутива нет:
• Couldn't match representation of type ‘f (WrapCollection
Collection a)’
with that of ‘f (Collection a)’
arising from the coercion of the method ‘distribute’
from type ‘forall (f :: * -> *) a.
Functor f =>
f (WrapCollection Collection a) -> WrapCollection Collection (f a)’
to type ‘forall (f :: * -> *) a.
Functor f =>
f (Collection a) -> Collection (f a)’
NB: We cannot know what roles the parameters to ‘f’ have;
we must assume that the role is nominal
• When deriving the instance for (Distributive Collection)
|
31 | deriving Distributive via (WrapCollection Collection)
| ^^^^^^^^^^^^IR
нужно репрезентабл ньютайп-дерайвнуть похоже еще
type role WrapCollection representational nominalтак всё ещё не знает роль
AV
если ничего не сообщается, то может не заказана консоль?
ghc-options: -optl-mconsoleне, самостоятельно вполне работает
AV
если ничего не сообщается, то может не заказана консоль?
ghc-options: -optl-mconsole
Может так понятнее будет