Repa --- Jak utworzyć instancję odczytu?

Question

Jaki jest najlepszy sposób, aby

type Configuration = Array DIM1 (Double, Double, Double) 

instancję czytać? Więc później mógłbym wyprowadzić jako instancję Czytaj również.

Answer 1

Takim przykładem będzie orphan instance, którego należy zasadniczo unikać. Jednakże, jest to dość proste do napisania go:

{-# LANGUAGE TypeOperators #-} 

import Data.Array.Repa (Array, Shape, Elt, Z(..), (:.)(..)) 
import qualified Data.Array.Repa as R 

instance Read Z where 
    readsPrec _ r = do 
    ("Z", s) <- lex r 
    return (Z, s) 

instance (Read tail, Read head) => Read (tail :. head) where 
    readsPrec d = 
    readParen (d > prec) $ \r -> do 
     (tl, s) <- readsPrec (prec + 1) r 
     (":.", t) <- lex s 
     (hd, u) <- readsPrec (prec + 1) t 
     return (tl :. hd, u) 
    where prec = 3 

instance (Shape sh, Read sh, Elt a, Read a) => Read (Array sh a) where 
    readsPrec d = 
    readParen (d > app) $ \r -> do 
     ("Array", s) <- lex r 
     (sh, t) <- readsPrec (app + 1) s 
     (xs, u) <- readsPrec (app + 1) t 
     return (R.fromList sh xs, u) 
    where app = 10 

Jeśli używasz rozszerzenia StandaloneDeriving dwa pierwsze przypadki można uprościć:

deriving instance Read Z 
deriving instance (Read tail, Read head) => Read (tail :. head) 

te przypadki powinny prawdopodobnie w samej Repa; Właśnie oparłem je na przykładowej instancji podanej w Text.Show i wyjściu z repa na show. Proponuję wysłanie prośby o funkcję do repa za bug tracker i umieszczenie tych instancji w module twojego programu na teraz (chyba, że ​​chcesz całkowicie uniknąć osieroconych instancji, w takim przypadku będziesz musiał rozwiązać problem w zupełnie inny sposób).

---

Powiedział, że powinieneś rozważyć po prostu konwersji danych do listy (z toList) i za pomocą tego; omija instancję osieroconą i nie powinien mieć żadnych wad. Możesz także rozważyć użycie "prawdziwej" biblioteki do serializacji, takiej jak cereal, jeśli bardziej interesuje Cię przetwarzanie danych za pomocą kodu niż czytanie w zrozumiały dla człowieka sposób; Read jest generalnie uważany za raczej ograniczony użytek.