Прототипировать надо на лиспе, а потом из лиспа генерить хаскель

макросами

вечно вы всё к смехуёчкам сводите. сами то поди на кложе прод пишете

я вообще рубист

а я фронтендер на жиес

все так, прототипируем на руби, потом переписываем на фронтенд

А я студент 🌚

кроме шуток, прямо сейчас сидим и перносим логику с бэка на фронт

тонкий сервер?

не совсем тонкий, просто рендер переносим

но в рендере логики побольше чем в бэке

case foo ^. bar of X -> pure () ; _ -> Left "Bad foo" как с линзами хорошо написать?

foo ^? bar . _X . to Right ^. non (Left "Bad Foo") ?

пасиб

case мне больше нравится

мне кажется это снепривычки

хотя я тоже с трудом читаю

@A64m_qb0 а аналог is есть?

не понял

чтобы что-то типа unless (foo ^. bar . _X ....) $ Left "Bad Foo" написать

.to (const $ True) . non False

только чтобы человечно было

какой-то maybeToEither "error!"

не знаю, может и есть, но это думать надо

можно еще matching (bar . _X) foo & _Left .~ "Bad foo"

хм..

пока все ещё страшнее, но спасибо вроде понял

более тупой вопрос есть Lens

есть Lens M (Maybe X) есть Prism X Y как сделать из первой Lens M (Maybe Y) ?

есть Lens M (Maybe X) есть Prism X Y как сделать из первой Lens M (Maybe Y) ?

как нибудь hoist?

a . _Just . b, но получится призма, линза невозможна

хотя...

а как сделать линзу? у меня все во все стороны есть

хотя может это и должна быть призма

в общем-то это изначально 0, or 1 target

в общем вся задача

есть Map X Y хочу линзу/призму wtf которая работает с определенным ключем

ну там не Map, но у него есть At класс

at возвращает линзу, т.е. я и думал, что мне тоже линза нужна

ну из at призмы линза как раз делается non т.е. [1] ^. at 2 . non 0 или что-то вроде

_go :: Lens' Metadata (Maybe Text) _go = at lblName

есть такая штука, она падает с:

• Couldn't match type ‘Text’ with ‘MetadataValue’ Expected type: (Maybe Text -> f1 (Maybe Text)) -> Metadata -> f1 Metadata Actual type: (Maybe (Control.Lens.At.IxValue Metadata) -> f1 (Maybe (Control.Lens.At.IxValue Metadata))) -> Metadata -> f1 Metadata

есть Prism MetadataValue Text

почему не разворачиваются семейства не знаю но там MetadataValue будет

или я чушь пишу?

я бы сейчас явно попытвался профунктором воспользоваться

Есть хаскельный проект в докере, контейнер билдится через stack. Как правильно прокинуть в него папку с конфигами? В Dockerfile я сделал бы это через COPY, а как сделать это в stack?

_go :: Lens' Metadata (Maybe Text) _go = at lblName . lmap _foo . rmap _bar _foo :: Maybe MetadataValue -> Maybe Text _foo x = join $ fmap (^? _ValueText) x _bar :: Functor f => f (Maybe Text) -> f (Maybe MetadataValue) _bar = fmap (fmap (\y -> y ^. re _ValueText))

@cblp_su @A64m_qb0 как из этого человеческое что-то сделать?

по типам сходится, по смыслу тоже

далее ещё вопрос, есть Metadata, At => Metadata каким комбинатором по ключу получить и убрать значение из Metadata?

: (

чего-то я сходу не разобрался, это надо в репле с чем-то работающим поэкспериментировать

newtype Metadata = Metadata (Map Text MetadataValue) data MetadataValue = MetadataInt Int | MetadataText Text

это упрощенные до достаточные для воспроизведения типы из пасты выше

могу и компиляющийся пример наверное

хочу lens normalizer

которому даешь линзу, а он её в каноническую форму приводит

@s9gf4ult https://bitbucket.org/s9gf4ult/postgresql-query/issues/2/fails-to-build-with-either-5 Ну Семён Семёныч

линзами только с тайпчеккером можно пользоваться

Есть хаскельный проект в докере, контейнер билдится через stack. Как правильно прокинуть в него папку с конфигами? В Dockerfile я сделал бы это через COPY, а как сделать это в stack?

смонтировать (Ctrl-f://mount на https://docs.haskellstack.org/en/stable/docker_integration/) пробовали?

линзами только с тайпчеккером можно пользоваться

+

смонтировать (Ctrl-f://mount на https://docs.haskellstack.org/en/stable/docker_integration/) пробовали?

не примонтировалось

запустило в интерактиве а там ничего

хотя тайпчекер не всегда помогает

без тайпчекера вообще неюзабельно

@A64m_qb0 ещё помощь нужна

name = gen ^. nameL . to(Right . RefName) . non(Left "Name not present") nameL линза в Maybe Text

тут точно to надо, чтобы применилось для just только?

а там на выходе-то перед non Maybe будет?

я бы вообще не советовал все эти линзы с мейбями использовать, а лучше призмы - траверсалы

не примонтировалось

если не монтируется, значит где-то бага. баги надо репортать.

то не взлетело, пробую ещё раз

а не это я дурак

если не монтируется, значит где-то бага. баги надо репортать.

а где он ошики пишет? есть логи?

newtype Metadata = Metadata (Map Text MetadataValue) data MetadataValue = MetadataInt Int | MetadataText Text

ну смотря что с этим делать, для мапа есть траверсал ix, ну или из at можно призму сделать, скомбинировав at "foo" . _Just

и призмы _MetadataInt и _MetadataText

там что с этим всем делать-то надо?

а. сделать линзу/траверсал wtf, который позволяет записать/прочитать определенный ключ из Map

name :: Either Text Text$ name = gen ^? nameL . to(Right) ^. non(Left "Name not present") Couldn't match type ‘Text’ with ‘Maybe Text’

для ньютайп обертки Iso же сгенерировано?