а у меня нет

точно

f <$> a <*> b

у меня возвращает обёрнутое значение

а так

?

Prelude> let g f a b = f <$> a <*> b Prelude> :t g g :: Applicative f => (a1 -> a -> b) -> f a1 -> f a -> f b

не тот тип

b не обёрнуто

f a_ b_ f = do a <- a_ b <- b_ f a b не?

да, спасибо, по типам сходится

я так понял человек хочет oneliner какой-то

a >>= (b >>=) . f

вот))

:) лучше так не писать:)

я понимаю

liftA2 и join выше уже предложили?

нет :(

liftA2 и join выше уже предложили?

ещё не знал про join, большое спасибо:) подходит идеально

Кто нить знает хорошие ресурсы по констрейнт солверам

:) лучше так не писать:)

Пчм?

Оно не очень понятно и читаемо, вот do или join будет всем понятно

Привет всем.

Кто-нибудь знает, как сделать toJson для типа data A = A {b :: Text, c :: [(Text,Text)]}

data A = ... deriving Generic Instance ToJSON A

Ну или код на TH, там там даже generic не надо

deriving Generic — все сделан. я не понимаю, как сделать кастомный вывод. хотелось бы, чтобы json выглядел так {"b" : b, "c" : [{"c11":"c12"}, {"c21":"c22"},...]}

пока что реализовано так instance ToJSON A where toJSON (A b c) = object [ "b" .= b , "c" .= ((\c1 c2 -> object[ c1 .= c2 ]) <$> c) ]

но это неверно

средствами feson вывод немного не тот, т.е. он тапл выводит как список из элементов через запятую

aeson

я сейчас проверю, но, возможно, надо просто c1 c2 обернуть в тапл

если кому интересно, то все так и делается)

а какие принципы для parseJSON? а то я ручками никогда не делал такие вещи(

Интересный у вас диалог

[ "b" .= b, "c" .= toJSON $ Map.fromList c ] не сработает?

вот тут статейка хорошая по aeson

https://artyom.me/aeson

почитай, может найдешь что для сеья

я toJSON написал уже, какой должен быть

хорошо, спасибо)

теперь parseJSON делаю

если кто-то знает, как сделать parseJSON для

{"c" : [{"c11":"c12"}, {"c21":"c22"},...]}

Я думаю тебе в гиттере быстрее ответят

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

Там больше опытных людей сидит

o .: "c" , а как уже сюда передать список объектов я в душе не знаю

что за гиттер?

(f :: Value -> [(Text, Text)]) <$> o .: "c"

и написать f, которая принимает произвольный Value и преобразует в то, что надо

https://gitter.im/ruHaskell/home

пиши или в forall или в novice

хорошо, спасибо)

да, получается f = map Data.Map.toList вроде бы

там много опытных людей, и они наверняка помогут

за помощь всем большое спасибо!

https://telegram.me/blockchain_news

http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf

http://www.stephendiehl.com/posts/haskell_2017.html

Видео докладов появились https://www.youtube.com/channel/UCmiGqOz-jojsWUVXLZJ8mCw/videos

ERROR: S client not available

http://www.haskus.org/system/

всем привет. Из присутствующих кто-то знает Scheme язык?

У меня вопрос есть. Есть значение va типа Maybe a, есть функция f :: a -> b. Есть булевая переменная isSmth. Если в va лежит Nothing, но предикат isSmth выполнен нужно вернуть Just B, если isSmth невыполнен, то просто можно применить fmap. Как это лучше реализовать?

я написал на guard ах но мне кажется как то криво это выглядит - можно так - но как лучше сделать есть cnfSat == True а find вернул Nothing чтобы возвращалось что-то типа Just NoCell fmap (TTTCellType . stepType) $ find (\stp -> position stp == tp) $ steps tttPlay

А можно типы всех функций?

сейчас

У меня вопрос есть. Есть значение va типа Maybe a, есть функция f :: a -> b. Есть булевая переменная isSmth. Если в va лежит Nothing, но предикат isSmth выполнен нужно вернуть Just B, если isSmth невыполнен, то просто можно применить fmap. Как это лучше реализовать?

А как вы здесь получите В у вас же ни одной зацепки или константу кидать надо

В случае если Nothing

data TTTStepType = Krestig | Nolek deriving (Show, Eq) data TTTCellType = TTTCellType TTTStepType | EmptyCell deriving (Show, Eq) data TTTPosition = TTTPosition Int Int deriving (Show, Eq) calcPos :: TTTPlay -> TTTPosition -> Maybe TTTCellType calcPos tttPlay tp = fmap (TTTCellType . stepType) $ find (\stp -> position stp == tp) $ steps tttPlay

data TTTPlay = TTTPlay { config :: TTTConfig, steps :: [TTTStep] } deriving Show

Если вы хотите pip'oм сделать, то не получится. Мне кажется gaurd'ы здесь самое то.

У меня вопрос есть. Есть значение va типа Maybe a, есть функция f :: a -> b. Есть булевая переменная isSmth. Если в va лежит Nothing, но предикат isSmth выполнен нужно вернуть Just B, если isSmth невыполнен, то просто можно применить fmap. Как это лучше реализовать?

вам все равно придется guard'ы прописывать для случая Nothing mf: Maybe a -> Maybe b mb True va = mf va mb False _ = Nothing

я вот так сделал

calcPos :: TTTPlay -> TTTPosition -> Maybe TTTCellType calcPos tttPlay tp = mdfFun $ fmap (TTTCellType . stepType) $ find (\stp -> position stp == tp) $ steps tttPlay where cnfSat = isConfigPositionSat (config tttPlay) tp mdfFun Nothing | cnfSat = Just EmptyCell | otherwise = Nothing mdfFun x = x

calcPos :: TTTPlay -> TTTPosition -> Maybe TTTCellType calcPos tttPlay tp = mdfFun $ fmap (TTTCellType . stepType) $ find (\stp -> position stp == tp) $ steps tttPlay where cnfSat = isConfigPositionSat (config tttPlay) tp mdfFun Nothing | cnfSat = Just EmptyCell | otherwise = Nothing mdfFun x = x

я видимо тугодум, очень много неопределенных типов для меня )))

я видимо тугодум, очень много неопределенных типов для меня )))

https://github.com/neongreen/haskell-ex - отсюда задачки

https://github.com/neongreen/haskell-ex - отсюда задачки

круто

ну я так понимаю вы хотели написать функцию типа mb :: Bool -> Maybe a -> Maybe b так?

Да!

вам все равно придется guard'ы прописывать для случая Nothing mf: Maybe a -> Maybe b mb True va = mf va mb False _ = Nothing

ну так вот рецепт, только надо mf прописать правильно, тоже кстати на guard'ах mf Just a = Just (f a) mf Nothing = Just NoCell если я правильно понял при true и nothing вы хотите выводить NoCell

maybe :: b -> (a -> b) -> Maybe a -> b

нашел кстати

даже если включить в игру твою функцию f у тебя в игре будет 3 переменных, а в сигнатуре этой функции maybe только 2

а что у тебя будет если False и va = Nothing?

сделал так -

calcPos :: TTTPlay -> TTTPosition -> Maybe TTTCellType calcPos tttPlay tp = maybe val (Just . TTTCellType . stepType) step where cnfSat = isConfigPositionSat (config tttPlay) tp val = if cnfSat then Just EmptyCell else Nothing step = find (\stp -> position stp == tp) $ steps tttPlay

Не подскажете, где в Stack указать свои данные, чтобы он их в cabal при stack new прописывал? - author: Author name here maintainer: example@example.com copyright: 2016 Author name here category: Web

Вроде hpack для этого можно использовать

ну для этого hpack использовать совсем не серьезно