DS
Нет, не надо
Size: a a a
2021 April 05
а
Ок
DS
А для этой сигнатуры его кайнд и не важен же
EG
Я не понимаю по сигнатуре, что делает эта функция. Она принимает строку и парсер и возвращает парсер. И, собственно, что?
EG
Возможно, понимание участвующих типов дало бы мне больше информации. Возможно, нет, но информации в этой сигнатуре нет вообще.
ΑZ
m это твоя монада
ΑZ
почтивсегда
AN
Мой мозг взорвался на этом примере у братоша
instance (Bifunctor bf, Functor fu, Functor gu) =>
Bifunctor (BiComp bf fu gu) where
bimap f1 f2 (BiComp x) = BiComp ((bimap (fmap f1) (fmap f2)) x)
EG
В данном случае это не
Monad, а MonadParsec, кажетсяΑZ
ну в частности MonadParsec
ΑZ
но может быть любая
ΑZ
ну это как в расте F : Fn(...) хотя по факту почти всегда будет fn(...)
ΑZ
но ты пишешь генерик прост потому что так принято
ΑZ
но как и в расте обычно в самой структуре ограничений нет
ΑZ
они пишутся в функциях
ΑZ
(в импле в случае расте)
ΑZ
а в декларации их нет - поэтому и тут констрейнтов нет
ΑZ
но по неймингу m это монада
EG
Ну это неправда
ΑZ
собственно ParsecT означает что это монадический трансформер (отсюда Т на конце)