スマートコンストラクタを使用したパターンマッチング

Question

スマートコンストラクタは、モジュール外でパターンマッチングする方法はありますか？

このような何か：thingはThingのためのスマートコンストラクタです

fn (Thing 3) = True 

：これを書くことができず

import MyModule (thing) 

fn (thing 3) = True 

。

Answer 1

MyModuleでこれを定義し、それをエクスポートします[プライベートデータコンストラクタに一致するパターン]の

{-# LANGUAGE ViewPatterns #-} 

fn :: Thing -> Bool 
fn (extract -> 3) = True