Телеграмм чат группы haskellru страница 16318

Немного не понял вопроса, но как делать дефолтные инстансы есть несколько методов. Первый это default signatures в котором ты задаёшь дифолтгное поведение элементов класса и дерайвишь их если не задаёшь конкретное их поведение. Второе это и правда обернуть дефолтное поведение в ньютайп и дерайвить его deriving SomeClass via YourNewtype

источник

15:36пожаловаться #4

Cyberfined in Haskell

Я хотел сделать второе. Там проблема была в том, что второй аргумента тайпкласса был в Column обёрнут

источник

15:36пожаловаться #5

Cyberfined in Haskell

Первый бы не прокатил, т.к. тайпкласс не мной написан

источник

15:37пожаловаться #6

Jerzy Syrowiecki in Haskell

traceM $ "*** sendMessage " ++ show msg
r <- try @_ @SomeException $ sendMessage msg
traceM $ "*** r = " ++ show r

проблема с servant-client. почему у меня первая строка выводится, а последняя — нет? думал, исключение вылетает, и где-то проглатывается, но нет.

может, ему таймаут выставить?

источник

18:52пожаловаться #7

кана in Haskell

полгода назад кто-то писал, что у него SomeException не все эксепшены ловил. Не знаю как такое может быть, и правда ли это была

источник

18:53пожаловаться #8

adam in Haskell

асинхронные вполне мог пропустить

источник

19:12пожаловаться #9

¯\_(ツ)_/¯ in Haskell

а можно не только на Bool? Ведь в данном случае Bool --- это тип, а не kind?

вообще вопрос в том, валидна ли эта конструкция:

data Packet = Packet { code :: MatchValue (0xFF :: Word32), body :: ...} deriving Generic

и каким должен быть MatchValue

источник

20:13пожаловаться #10

кана in Haskell

нет kind-ов, все типы

источник

20:14пожаловаться #11

¯\_(ツ)_/¯ in Haskell

если я напишу newtype MatchValue a = MatchValue, то это не будет работать (вроде бы, дома посмотрю)

источник

20:15пожаловаться #12

кана in Haskell

потому что тут ньютайп неправильный, это как написать

type X =