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

data family X (a :: [Type])
newtype instance X '[] = X1 (forall a b. a -> b)
newtype instance X '[a] = X2 (forall b. a -> b)
newtype instance X '[a, b] = X3 (a -> b)

источник

14:24пожаловаться #8

Jerzy Syrowiecki in Haskell

смотря что понимать под образцом.

если говорить только о проверке, то такой образец эквивалентен предикату a -> Bool

если о введении переменных, то есть извлечении значений, то такой образец эквивалентен селектору a -> Maybe b

этого, в принципе, достаточно

источник

14:28пожаловаться #9

¯\_(ツ)_/¯ in Haskell

хм, а можно ли обощить это? понятно, что можно для Nat написать, для Symbol и т.п., но вообще возможно сделать так:

data Message = Message {pac :: MatchValue (Packet ... ...), ...} deriving Generic?

источник

14:52пожаловаться #10

Maxim Koltsov in Haskell

Что такое Packet?

источник

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

¯\_(ツ)_/¯ in Haskell

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

источник

14:54пожаловаться #12

Maxim Koltsov in Haskell

Произвольные (более менее) типы умеет поднимать либа singletons

источник

14:55пожаловаться #13

Maxim Koltsov in Haskell

Это если тебе их надо на обоих уровнях использовать

источник

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

¯\_(ツ)_/¯ in Haskell

хорошо. спасибо. я посмотрю

источник

14:55пожаловаться #15

Cyberfined in Haskell

Привет. Есть ли какой-нибудь способ сделать так, чтобы следующий инстанс создавался автоматически, например, через deriving via для любого a?

Default ToFields a (Column a)

А то неудобно получается, что реализация метода def для всех интересующих типов есть, а приходится вручную инстанс создавать:

instance Default ToFields MyType (Column MyType) where
    def = defaultDef

источник

15:08пожаловаться #16

Maxim Koltsov in Haskell

Это что, opaleye?

источник

15:10пожаловаться #17

Cyberfined in Haskell

Да. Пытаюсь сделать работу с enum более удобной

источник

15:11пожаловаться #18

Maxim Koltsov in Haskell

А вообще можно конечно, если defaultDef для любого определен

источник

15:11пожаловаться #19

Maxim Koltsov in Haskell

Почему именно эта либа?)

источник

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