KV
Только в другом порядке
Size: a a a
2020 November 30
KV
Ну так-то почище, конечно, да
AA
тогда уж
> ("not needed", [(True, "print me"), (False, "print me too")]) ^. _2 & each . _2 %%~ (\x -> putStrLn x >> return x)
print me
print me too
[(True,"print me"),(False,"print me too")]KV
На самом деле там не putStrLn, а asksLookup, и нужно вернуть результат лукапа
KV
Ну понятно короче, спасибо
AV
а как назывался класс алгоритмов токенов привзанных ко времени типа ключей на github и всего этого?
AV
RFC 6238: TOTP: Time-Based One-Time Password Algorithm
это же оно?
это же оно?
VD
Вроде оно
AA
почему
x, y :: a
работает, а
type (>=), (<) :: Nat -> Nat -> Type
нет
x, y :: a
работает, а
type (>=), (<) :: Nat -> Nat -> Type
нет
может автор стендалон кайнд сигнатур не знал/забыл про такой синтаксис, а может ненавидит его
KV
ладно, я понял, что пока не появятся лямбды, трогать тайплевел зависимые типы бессмысленно
Лень дефункционализировать руками или какие-то ещё ессть причины?
AV
@maksbotan а почему lookupInput :: Either String T.Text и что он там в String пишет?
MK
Какой инпут не найден
MK
Айзер чтобы ошибки репортить