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

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

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

fn (Thing 3) = True

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

import MyModule (thing) 

fn (thing 3) = True

。

可能な複製（http://stackoverflow.com：

extract :: Thing -> Int extract (Thing x) = x

はview patterns拡張子を使用してください/ questions/33722381/pattern-matching-on-a-private-data-constructor） –

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

{-# LANGUAGE ViewPatterns #-} 

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

2016-04-22 22:48:07 gdejohn

答えて