QuasiQuoteでopen-unionを書きやすくするライブラリを作ってみました - Qiita

はじめに 前回の記事では、open-unionを使ってみました。 そこで今回はopen-unionをより書きやすくするために、ちょっとしたライブラリを作ってみたので、紹介します。 普通のopen-union そのままの、open-unionでは、関数を書くときは以下のようにして、型ごとにマッチさせます。きっと型安全でとてもいいのですが、見た目が、通常のパターンマッチングらしくないですよね。 {-# LANGUAGE DataKinds #-} {-# LANGUAGE ScopedTypeVariables #-} import Data.OpenUnion -- 普通のopen-union showMyUnion :: Union '[Char, Int, [()]] -> String showMyUnion = (\(c :: Char) -> "char: " ++ show c)