Comment déconstruire proprement les nouveaux types imbriqués dans des enregistrements?

Question

J'utilise un newtype comme champ d'un enregistrement, et la correspondance de motif sur le type « parent » pour extraire la valeur imbriquée est lourd:

newtype CityName = CityName String 
newtype City = City { 
    name :: CityName 
} 
instance showCity :: Show City where 
    show (City { name }) = case name of (CityName cn) -> "City(" <> cn <> ")" 

je peux déconstruire le type « parent », mais je utilisez un autre modèle correspondant pour extraire la chaîne encapsulée - même si le newtype n'a qu'un seul constructeur de données. Il serait plus pratique de déconstruire tout le type en un seul motif.

Est-ce possible? Si oui, je ne peux pas obtenir la syntaxe correcte. J'ai essayé quelque chose comme show (City { name :: (CityName cn) }) = cn mais cela me donne des erreurs de syntaxe. PureScript by Example ne m'a pas aidé non plus, mais peut-être qu'il y a une façon plus simple de faire ce que je veux?

Answer 1

Qu'est-ce que vous avez essayé est presque droit, mais vous avez seulement besoin du côlon unique lorsque motif enregistrements correspondants:

instance showCity :: Show City where 
    show (City { name: CityName cn }) = "City(" <> cn <> ")" 

côlon double est utilisé uniquement pour les annoter, des trucs de niveau de valeur utilise toujours un seul colon.