Можно ещё вопросик: data DS :: Symbol -> Type where

Question

Можно ещё вопросик: data DS :: Symbol -> Type where

DS :: DS k

как написать для него инстанс в ToJSON и FromJSON,чтобы был такой результат:
encode (DS :: DS "hello") ==> "hello"
decode' "hello" ::Maybe (DS "hello") ==> Just (DS :: DS "hello")
Конечно можно все это сделать при помощи TH,но как без?

#haskell #programming #russian

0

16.06.2020

1 ответов

16 просмотров

Alexander Vershilov · Accepted Answer

Alexander Vershilov

data DS :: Symbol -> * where DS :: DS k instance KnownSymbol s => ToJSON (DS s) where toJSON _ = toJSON $ symbolVal (Proxy @ s) instance KnownSymbol s => FromJSON (DS s) where parseJSON x = do s0 <- parseJSON x if (symbolVal (Proxy @ s)) == s0 then pure DS else fail "foo"

0

16.06.2020

169 похожих чатов

Можно ещё вопросик: data DS :: Symbol -> Type where

1 ответов

Похожие вопросы