Экземпляр класса типа, который не используется при формировании структуры данных

Question

Я изучал использование более newtype оберток в моем коде для создания более разных типов. Я также делаю много дешевой сериализации с помощью Read/Show, особенно в виде простой формы сильно типизированного конфигурационного файла. Я столкнулся с этим сегодня:

Пример начинается, как это, и я определяю простую NewType, чтобы обернуть вокруг Int, наряду с именем поля для разворачивания:

module Main where 

import Debug.Trace (trace) 
import Text.Read (readEither) 


newtype Bar = Bar { unBar :: Int } 
    deriving Show 

Пользовательский экземпляр для чтения одного из них из простой синтаксис Int. Идея здесь заключается в том, что было бы здорово, если бы вместо «Bar {unBar = 42» «42» было добавлено «42» »

Этот экземпляр также имеет трассировку« logging », чтобы мы могли видеть, когда этот экземпляр действительно используется при наблюдении за проблемой.

instance Read Bar where 
    readsPrec _ s = [(Bar i, "")] 
     where i = read (trace ("[debug \"" ++ s ++ "\"]") s) 

Теперь другой тип, содержащий бар. Этот будет просто автоматически выводить Read.

data Foo = Foo { bar :: Bar } 
    deriving (Read, Show) 


main :: IO() 
main = do 

Десериализация типа Bar в одиночку прекрасно работает и использует экземпляр Read выше

print $ ((readEither "42") :: Either String Bar) 
    putStrLn "" 

Но по какой-то причине Foo, содержащей панель и автоматически выводится в Read, не сверлить вниз и собирания Экземпляры Бар! (Обратите внимание, что сообщение отладки из трассировки не отображается либо)

print $ ((readEither "Foo { bar = 42 }") :: Either String Foo) 
    putStrLn "" 

Так хорошо, как насчет шоу формы по умолчанию для бара, должны соответствовать по умолчанию Read правильно?

print $ ((readEither "Foo { bar = Bar { unBar = 42 } }") :: Either String Foo) 

Нет! Не работает! Опять же, нет отладочного сообщения.

Вот результат выполнения:

$ stack exec readbug 
    [debug "42"] 
    Right (Bar {unBar = 42}) 

    Left "Prelude.read: no parse" 

    Left "Prelude.read: no parse" 

Это выглядит багги для меня, но я хотел бы услышать, что я делаю неправильно.

Доступен полностью рабочий пример приведенного выше кода. См. Файл src/Main.lhs in a test project on darcshub

Answer 1

Проблема в Read. readsPrec должен учитывать возможность того, что после Bar может появиться еще несколько вещей. Quoting the Prelude:

readsPrec d s попытки разобрать значение из передней части строки, возвращает список (<parsed value>, <remaining string>) пара. Если успешного сеанса нет, возвращаемый список пуст.

В вашем случае, вы хотите:

instance Read Bar where 
    readsPrec d s = [ (Bar i, s') | (i, s') <- readsPrec d tracedS ] 
     where tracedS = trace ("[debug \"" ++ s ++ "\"]") s 

Тогда следующие работы:

ghci> print $ ((readEither "Foo { bar = 42 }") :: Either String Foo) 
[debug " 42 }"] 
Right (Foo {bar = Bar {unBar = 42}}) 

Ваша другая проблема, а именно:

Так хорошо, как о по умолчанию Показать форму для бара, должен соответствовать по умолчанию права на чтение?

print $ ((readEither "Foo { bar = Bar { unBar = 42 } }") :: Either String Foo) 

ваша вина: вы определили Read экземпляр для Bar таким образом, что read . show не является тождественной операцией. Когда Foo получает Read, он использует Bar s Read экземпляр (он не пытается восстановить код, который Bar был бы сгенерирован, если бы вы получили Read на нем).