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

Size: a a a

Haskell

1577 membersпожаловаться на группу

2021 May 06

I O in Haskell

instance Universe a => Foldable ((->) a) ftw

источник

01:44пожаловаться #1

Сергей in Haskell

не знаю!

источник

01:44пожаловаться #2

Danil Berestov in Haskell

так вопрос то про траверсабл был

источник

01:45пожаловаться #3

Kir in Haskell

Что за Universe?

источник

01:45пожаловаться #4

Maxim Koltsov in Haskell

тьфу блин, это я слепой что ли

источник

01:45пожаловаться #5

[

[BRM]White Rabbit in Haskell

Я просто не знал, что они отличаются

источник

01:45пожаловаться #6

[

[BRM]White Rabbit in Haskell

🌚

источник

01:45пожаловаться #7

Danil Berestov in Haskell

приколист

источник

01:45пожаловаться #8

Maxim Koltsov in Haskell

ну естественно, ((->) e) a это же не контейнер каких-то a

источник

01:46пожаловаться #9

[

[BRM]White Rabbit in Haskell

Крч, вопрос был (подразумевался) про то, что в sequenceA пробрасывается

источник

01:46пожаловаться #10

Maxim Koltsov in Haskell

блин, спать пора давно

источник

01:46пожаловаться #11

I O in Haskell

-- | Laws
-- forall x . elem x unvierse
class Universe a where
  universe :: [a]

источник

01:46пожаловаться #12

I O in Haskell

aka [minBound..maxBound]

источник

01:46пожаловаться #13

Kir in Haskell

Ааа.

источник

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

Kir in Haskell

Как оно поможет реализовать foldMap?

источник

01:47пожаловаться #15

I O in Haskell

foldMap f g = foldMap (f . g) universe

источник

01:47пожаловаться #16

Kir in Haskell

Хммм

источник

01:48пожаловаться #17

I O in Haskell

> toList (show @Bool)
["False","True"]

источник

01:49пожаловаться #18

Danil Berestov in Haskell

Double это Universe?)

источник

01:49пожаловаться #19

Danil Berestov in Haskell

чекнул, нет)

источник

01:51пожаловаться #20