我想使用字符串文字作为遍历,但我在类型中有点迷失。 是否可以创建此实例?
import Control.Lens
import Data.Aeson
import Data.Aeson.Lens
import Data.String
import Data.Default
{- Having:
key' :: AsValue t => Text -> Traversal' t (Maybe Value)
_JSON :: (ToJSON a, FromJSON a) => Traversal' t a
-}
instance (AsValue t, FromJSON v, ToJSON v, Default v) => IsString (Traversal' t v) where
fromString k = key' (fromString k) . non (toJSON def) . _JSON
在State monad中实现类似的目标:
"some-key" .= (3 :: Int)
普遍量化的类型实例的问题。谢谢!
答案 0 :(得分:5)
我无法编译代码,但这无关紧要。我假设你有一个类型为
的函数fromStringTraversal :: (AsValue t, FromJSON v, ToJSON v, Default v)
=> String -> Traversal' t v
fromStringTraversal = undefined
然后编写实例,只需将Traversal'
的定义内联到实例头中。这是有效的,因为实例中的任何类型变量无论如何都会被隐式地量化。
{-# LANGUAGE RankNTypes, FlexibleInstances, GADTs #-}
instance (a ~ a', b ~ b', AsValue b, Default a, FromJSON a, ToJSON a, Applicative f)
=> IsString ((a -> f a') -> b -> f b') where
fromString = fromStringTraversal
a ~ a', b ~ b'
约束可以从上下文移动到实例头,但这种方式可以提供更好的类型推断。然后
{-# LANGUAGE OverloadedStrings, NoMonomorphismRestriction #-}
-- Infered type:
-- test :: (AsValue s, MonadState s m) => m ()
test = "some-key" .= (3 :: Int)