Haskell: поднимите обычную функцию на линзу

У меня есть HashMap, который содержит разные вещи (значение от Aeson):

cs :: Hashmap Text Value
cs = fromList [("phone", String "+00"), ("count", Number 1)]

Я понял, что могу легко извлекать элементы с помощью Lens и, в частности, lens-aeson :

import Data.Aeson.Lens
import Data.Lens

phone :: Maybe Text
phone = preview (at "phone" . _Just . _String) cs

Это хорошо работает. Но как я могу получить свой счет как Int? Я попытался:

count :: Maybe Int
count = preview (at "count" . _Just . _Number) cs

Но это возвращает Maybe Scientific. Я нашел (в Data-Scientific):

toBoundedInteger :: forall i. (Integral i, Bounded i) => Scientific -> Maybe i

Как поднять toBoundedInteger для работы в качестве линзы (или призмы) в моем предварительном просмотре выше?


haskell haskell-lens
person cdupont    schedule 27.10.2020    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Используйте folding :

count :: Maybe Int
count = preview (at "count" . _Just . _Number . folding boundedInteger) cs

Также есть to но это дает вам дополнительный слой Maybe, который вы должны свернуть с помощью join:

count :: Maybe Int
count = preview (at "count" . _Just . _Number . to boundedInteger . to join) cs
person Li-yao Xia    schedule 27.10.2020
comment
Спасибо, я думаю, что это хороший ответ. Ранее я пробовал: preview (at "count" . _Just . _Number . _Just . to boundedInteger) cs Почему не работает? - person cdupont; 27.10.2020
comment
После _Number цель имеет тип Scientific, а не Maybe a. _Just — оптика с типом источника Maybe a (Fold (Maybe a) a), а to boundedInteger — оптика с типом источника Scientific (Fold Scientific Int). - person Li-yao Xia; 27.10.2020