Откуда исходит IHaskellPrelude в этой ошибке? - PullRequest
Новая
       37

Откуда исходит IHaskellPrelude в этой ошибке?

0 голосов
/ 24 апреля 2019

Я работаю в ноутбуке ihaskell jupyter, поэтому знаю очевидный ответ на этот вопрос.

Но я также использую явный импорт из Data.List, где отображается эта ошибка 

import qualified Data.List as L

Так что я на самом деле запутался в связи со строкой, в которой вместо этого используется IHaskellPrelude. моего явного импорта из Data.List, который не является прелюдией. (Это более конкретный вопрос, следующий из этого )

Мое сообщение об ошибке: 

<interactive>:14:35: error:
    • Couldn't match type ‘Char’ with ‘String’
      Expected type: String -> String
        Actual type: String -> Char
    • In the ‘fieldLabelModifier’ field of a record
      In the first argument of ‘genericToJSON’, namely ‘defaultOptions {fieldLabelModifier = Data.Char.toLower . IHaskellPrelude.drop 3}’
      In the expression: genericToJSON defaultOptions {fieldLabelModifier = Data.Char.toLower . IHaskellPrelude.drop 3}
<interactive>:14:47: error:
    • Couldn't match type ‘String’ with ‘Char’
      Expected type: String -> Char
        Actual type: String -> String
    • In the second argument of ‘(.)’, namely ‘IHaskellPrelude.drop 3’
      In the ‘fieldLabelModifier’ field of a record
      In the first argument of ‘genericToJSON’, namely ‘defaultOptions {fieldLabelModifier = Data.Char.toLower . IHaskellPrelude.drop 3}’

Видите строку о поле LabelModifier? Он вызывает IHaskellPrelude.drop. Но если вы посмотрите ниже, мой код вызывает L.drop:

Полный код: 

{-# LANGUAGE DeriveGeneric,  OverloadedStrings, RankNTypes, KindSignatures #-}
:ext DeriveGeneric OverloadedStrings FlexibleContexts RankNTypes KindSignatures DataKinds

-- stack overflow question
import GHC.Generics
import Data.Aeson 
import Data.Aeson.Encode.Pretty 
import Data.Time
-- every dumb library working with any text in haskell requires
import Data.Text as T
import Text.Show.Pretty
import Data.Char(toLower)
import qualified Data.List as L
import qualified Data.Char as C
import Data.ByteString as BS
import Data.Aeson.Text (encodeToLazyText)
import Data.Text.Lazy.IO as I
--
import Text.Regex.PCRE
(.=) = (Data.Aeson..=)

type Code = Text
type Value = Float

-- currency parser
-- Sample
currency = "100.01"

-- -- Value part
vparse :: T.Text -> Float
vparse raw = (read ((T.unpack raw) =~ ("[\\d].*") :: String) :: Float)


data R3 = R3 { recCode :: Code 
             , recValue :: Value} deriving (Show, Generic)


makeR3 rawcode rawval = R3 code value where
                                     code = rawcode
                                     value = vparse rawval


instance ToJSON R3 where
  toJSON = genericToJSON defaultOptions {
             fieldLabelModifier = C.toLower . L.drop 3 }
-- this says L.drop not prelude!  


instance FromJSON R3 where
  parseJSON = withObject "R3" $ \r ->
      R3 <$> r .: "code"
         <*> r .: "value"

r3 = makeR3 "TD" "100.42"
as_json = encode r3


main = do
    let out = encodeToLazyText r3
    I.putStrLn out
    I.writeFile "./so2.json" out
    return ()

main

Я работаю в новом сеансе, новом терминале, только запустил это. Я не понимаю, почему в сообщении об ошибке, указанном для меня, используется функция, полученная из IHaskellPrelude.drop, а не L.drop, которую я явно вызываю.

Обновление

Из предложения в ответ, когда я пытаюсь: 

instance ToJSON R3 where
  toJSON = genericToJSON defaultOptions {
             fieldLabelModifier = map toLower . L.drop 3 }

Я получаю: 

<interactive>:14:35: error:
    Ambiguous occurrence ‘map’
    It could refer to either ‘BS.map’, imported from ‘Data.ByteString’
                          or ‘T.map’, imported from ‘Data.Text’
                          or ‘IHaskellPrelude.map’, imported from ‘Prelude’ (and originally defined in ‘GHC.Base’)
<interactive>:14:39: error:
    Ambiguous occurrence ‘toLower’
    It could refer to either ‘Data.Char.toLower’, imported from ‘Data.Char’ at <interactive>:1:18-24 (and originally defined in ‘GHC.Unicode’)
                          or ‘T.toLower’, imported from ‘Data.Text’

Какая комбинация из них совместима с тем, о чем просит Prelude?

1 Ответ

1 голос
/ 24 апреля 2019

Неважно, если это IHaskellPrelude.drop или Data.List.drop: они одно и то же .И стандартная Prelude, и IHaskell просто реэкспортируют функцию list drop.GHC замечает это и, таким образом, по-видимому, решает проинформировать вас о более «базовом» пути импорта, т. Е. Из прелюдии.(Я не знаю, как работает эвристика, но обычно GHC неплохо показывает наиболее удобное имя-квалификатор импорта для привязки.)

Проблема в том, что ваш toJSON просто не корректен по типупотому что toLower работает только на Char, а не на String.Это можно легко решить с помощью map toLower.

...