Haskell中如何隐藏自动派生的Read实例？

要实现你的需求——既利用编译器自动生成的Read实例，又不让库用户直接使用read或readMaybe解析Size，最简洁的方法是使用内部辅助类型承载自动派生的Read实例，对外暴露的Size类型则不派生Read。具体实现如下：

module Sizes (Size(..), readSize) where

import Text.Read (readMaybe)
import Data.Char (toUpper, toLower)

-- 对外暴露的尺寸类型，不派生Read
data Size = Original
          | Regular
          | Small
          | Thumb
          | Mini
          deriving (Show, Eq) -- 可根据需求添加其他派生类型类

-- 内部辅助类型，仅用于解析，自动派生Read
data InternalSize = InternalOriginal
                  | InternalRegular
                  | InternalSmall
                  | InternalThumb
                  | InternalMini
                  deriving (Read)

-- 内部转换函数：将辅助类型转为对外的Size
toSize :: InternalSize -> Size
toSize InternalOriginal = Original
toSize InternalRegular = Regular
toSize InternalSmall = Small
toSize InternalThumb = Thumb
toSize InternalMini = Mini

-- 对外提供的大小写不敏感解析函数
readSize :: String -> Maybe Size
readSize s = do
  -- 将输入字符串标准化为首字母大写、其余小写的格式
  let normalized = case s of
                     "" -> ""
                     c:xs -> toUpper c : map toLower xs
  -- 用readMaybe解析内部类型，避免抛出异常
  internalSize <- readMaybe normalized
  -- 转换为对外的Size类型
  Just (toSize internalSize)

方案说明 #

1. 复用自动派生Read：内部的InternalSize完全对应Size的枚举值，借助编译器自动生成的Read实例完成解析，无需手动实现繁琐的readsPrec。
2. 大小写不敏感处理：通过normalized步骤将任意大小写的输入转为符合Read实例要求的格式，保证所有大小写变体都能正确解析。
3. 隐藏Read实例：对外暴露的Size类型没有派生Read实例，库用户无法直接调用read或readMaybe解析Size，只能通过你提供的readSize函数完成操作，完全符合需求。

对原代码的优化 #

原代码中使用read函数存在抛出异常的风险（比如输入字符串标准化后仍不符合Read格式时），改用readMaybe可以让函数始终返回Maybe Size，避免运行时异常，提升代码健壮性。

内容的提问来源于stack exchange，提问作者Futarimiti