AV
==True -> idSize: a a a
2020 May 22
AV
а что хочется получить?
JS
. non False вызывает примерно такой же зуд как и == True
да, чуть меньше, но тоже странно, согласен
ЗП
почему нет _True/_False призм?
Можно через iso для Maybe как-то
JS
Можно через iso для Maybe как-то
non False :: Iso' (Maybe Bool) Bool?JS
. non False вызывает примерно такой же зуд как и == True
само по себе нет, только в контексте has
AV
мне fromMaybe False . (^? key ..) нравится
AV
хотя non(False) тоже ок
JS
has' g s = preview g s == Just True
filtered (has' $ key "shouldBeIncremeneted" . _Bool)
MK
тогда уж
isTrue, а не has'JS
is
JS
isJ g s = preview (g . _Bool) s == Just True
filtered (isJ $ key "shouldBeIncremeneted")
AA
почему нет _True/_False призм?
не знаю, действительно выглядит как очень странное упущение
AA
че он тут такое пишет? какой тут инстанс ненайден, кто его ищет, зачем его вообще искать?
> So, what would a nicer error message look like? I prefer something like this:
> So, what would a nicer error message look like? I prefer something like this:
Main.hs:3:11: error:
• An instance 'Num a' is required by the use of '+', but no instance was found.
'(+)' has type '(Num a) => a -> a -> a', but its operands were not required to have the '(Num a)' constraint.
Possible fix:
add (Num a) to the constraints of
the type signature for foo:
foo :: a -> a -> a
foo :: (Num a) => a -> a -> a
• In the expression: a + b
In an equation for ‘foo’: foo a b = a + b
|
3 | foo a b = a + b
| ^^^^^
АГ
че он тут такое пишет? какой тут инстанс ненайден, кто его ищет, зачем его вообще искать?
> So, what would a nicer error message look like? I prefer something like this:
> So, what would a nicer error message look like? I prefer something like this:
Main.hs:3:11: error:
• An instance 'Num a' is required by the use of '+', but no instance was found.
'(+)' has type '(Num a) => a -> a -> a', but its operands were not required to have the '(Num a)' constraint.
Possible fix:
add (Num a) to the constraints of
the type signature for foo:
foo :: a -> a -> a
foo :: (Num a) => a -> a -> a
• In the expression: a + b
In an equation for ‘foo’: foo a b = a + b
|
3 | foo a b = a + b
| ^^^^^
чтобы складывать значения нужен type class Num, его нет, он предлагает добавить констрейнт