假设我想创建一个新的数据类型并使构造函数可以显示,只是小写而不是大写的定义.例如:
data Day = Monday | Tuesday | Wednesday| Thursday | Friday | Saturday | Sunday
通过添加派生显示,ghci会将它们打印为"星期一,星期二......等" 为了让它显示"星期一,星期二......等",我试图制作一个特殊的show实例:
import Data.Char
strToLower :: [Char] -> [Char]
strToLower (x:xs) = toLower x : strToLower xs
strToLower [] = []
instance Show Day where
show d = strToLower (show d)
show的第一次出现应该指定我新修改的show函数(每次打印时都会调用),而对于第二次我打算通常派生的show版本,从构造函数名称到String.
当然这不起作用(循环定义),因为ghci对我的"show"这个词的单独含义没有任何线索,但我无法弄清楚如何让他知道这个区别,因为这两个版本都需要命名为show ,第一个是因为这是打印调用和第二个因为它是一个预定义的haskell函数,它可以给我一个构造函数名称的字符串.我试过了
show d = strToLower ((showsPrec 0 d) "")
但这归结为相同的循环定义,至少这是我从ghci卡在循环中的猜测.
我理解为什么构造函数名称需要以大写字母开头,但显示小写字母应该不是问题,是吗？我知道我可以单独为每个案例定义我的show函数,例如show Monday = "monday" show Tuesday = "tuesday"etc,但我只是以星期几为例,我的真实数据类型由64个构造函数组成,所以我认为它会更优雅以某种方式解决它.
是否有可能深入了解show的haskell定义并更改该代码的副本？这是我能想到的唯一可能的解决方案,但我不知道该怎么做,如果可能的话.可能不是.所以其他解决方案也非常受欢迎!
感谢您抽出宝贵时间
杰勒(哈斯克尔初学者)