типом для которого не нужен deriving Show, но при этом для др. полей нужен.
Писать standalone 'deriving instance' для Show для того типа для которого не нужен Show?
newtype Hidden a = MkHidden a instance Show (Hidden a) where show _ = "undefined" data X = MkX{a :: Hidden (Int -> int), b :: Int} deriving stock (Show) show MkX{a = MkHidden (+ 1), b = 2} == "MkX{a = undefined, b = 2}" -- в строке закодирован валидный терм и он стайпчекается
Спасибо. deriving stock не пользовался.
Обсуждают сегодня