к
с BlockArguments, который я никогда нигде не выключаю, да
Size: a a a
2020 May 28
Y
Оо.
Y
Забавно, что Хугль по
<&> такие штуки находит:data (<&>@#@$$) a6989586621679731619 a6989586621679731620
singletons Data.Singletons.Prelude.Functor
(%<&>) :: forall f_a31L5 a_a31L6 b_a31L7 (t_a31NI :: f_a31L5 a_a31L6) (t_a31NJ :: (~>) a_a31L6 b_a31L7) . SFunctor f_a31L5 => Sing t_a31NI -> Sing t_a31NJ -> Sing (Apply (Apply (<&>@#@$) t_a31NI) t_a31NJ :: f_a31L5 b_a31L7)
singletons Data.Singletons.Prelude.Functor
DB
с BlockArguments, который я никогда нигде не выключаю, да
обалденно, спасибо
AA
Типы какие?
do ведь должен минимум Applicative a => a вернуть, не?нет
Y
Я про
ApplicativeDo. А что тогда?к
RebindableSyntax
к
можно вообще без констрейнтов вроде
DB
RebindableSyntax
ЩИТ, скока всего интересного есть)
AA
Я про
ApplicativeDo. А что тогда?Prelude> :t do map
do map :: (a -> b) -> [a] -> [b]
AA
Я про
ApplicativeDo. А что тогда?вот если не только do а еще и <- и pure/return тогда минимум Functor
Y
Prelude> :t \x -> do {pure x}
<interactive>:9:1: error: lexical error at character '\ESC'лолчто
Y
А, это у меня консолька поломалась
Y
Prelude> :t \x -> do {pure x}
\x -> do {pure x} :: Applicative f => a -> f aк
ЩИТ, скока всего интересного есть)
AA
Prelude> :t \x -> do {pure x}
\x -> do {pure x} :: Applicative f => a -> f aну это то же самое что pure
Y
вот если не только do а еще и <- и pure/return тогда минимум Functor
Можно пример, когда do возвращает самый общий Functor?
Y
Ой, что-то массовый оффтоп пошёл
к
это блах
к
слишком много хаскеля?