PatternSynonyms

参考

パターンに対してsynonymを定義できる

code:定義.hs

pattern Nil = [] -- []というパターンに対して、Nilと命名

pattern Cons x xs = x:xs -- (x:xs)というパターンに対してConsと命名

code:使用.hs

len (Cons _ xs) = 1 + len xs -- len (x:xs) = ...と書いてるのと同じ

len Nil = 0 -- len [] = ...と書いてるのと同じ

関数を定義するのと同じノリで定義できる

書き方

code:hs

pattern pat_lhs = pat

双方向

code:hs

pattern pat_lhs <- pat

単方向

docsの序盤に書いている例

こんな型とコードを考える

code:hs

collectArgs _ = []

isInt (App "Int" []) = True

isInt _ = False

そこでPatternSynonymsが使える

code:hs

pattern Int = App "Int" []

元のコードはSynonymを使って、こう書き直せる

code:hs

collectArgs (Arrow t1 t2) = t1 : collectArgs t2

collectArgs _ = []

isInt :: Type -> Bool

isInt Int = True

isInt _ = False

「値コンストラクタを使った値」のsynonymを作るのね

code:hs

module NonZero

( NonZero()

, pattern NonZero

, unNonZero

, nonZero

) where

newtype NonZero a = UnsafeNonZero a

pattern NonZero a <- UnsafeNonZero a -- 疑似値コンストラクタを作って、これを公開

unNonZero :: NonZero a -> a

unNonZero (UnsafeNonZero a) = a

nonZero :: (Num a, Eq a) => a -> Maybe (NonZero a)

nonZero 0 = Nothing

nonZero i = Just (UnsafeNonZero i)

-- patternを定義していないと、この↓定義がerrorになる(これは外部module)

safeDivide :: Int -> NonZero Int -> Int

つまり、

外部でもパターンマッチできるが

外部で型を作ることはできない

の2点を満たすために使われている

何が嬉しい？

いつ使う？

値コンストラクタを使った値に別名を付ける感じ？

ただの変数束縛とは違うの？

イメージとしては同じっぽい

構造上ただの変数束縛がそもそもできない

recordでもサポート

パターンの別名