ハスケルでバイナリリトルエンディアンデータをデコード/エンコードするより良い方法は何ですか？

Question

ハスケルのバイナリデータをシリアライズ/デシリアライズするボイラープレートコードを削除し、エンディアンを考慮に入れて最適な方法はありますか？

data Foobar = Foobar { foo :: Word16, bar :: Word32 } 

そしてData.Binary.Binary型クラスのインスタンスを派生：ビッグエンディアンとして

instance Binary Foobar where 
    get = do 
    foo <- get 
    bar <- get 
    return $ Foobar foo bar 

decode stream :: Foobar扱いのデータを、すなわち、この構造体を与えられました。

明白な方法はgetWord16le/getWord32le機能を使用することですが、それは（自動的にうまくderiveと相まってテンプレートハスケルによって行うことができる）、マニュアル作業の多くを必要とします。

おそらく、パラメータ化された型がソリューションですか？

Answer 1

リトルエンディアンの新しいタイプの単語を定義するのはどうですか？

newtype LWord16 = LWord16 { unLWord16 :: Word16 } 
newtype LWord32 = LWord32 { unLWord32 :: Word32 } 
instance Binary LWord16 where get = LWord16 <$> getWord16le 
instance Binary LWord32 where get = LWord32 <$> getWord32le 

次に定義

data Foobar = Foobar { foo :: LWord16, bar :: LWord32 } 

用のバイナリを導出することは正しいことを行う必要があります。

Answer 2

次のような異なる単語の種類、用型クラスを定義することができます。

class BinaryEndian a where 
    getEndian :: Get a 
    putEndian :: a -> Put 

instance BinaryEndian Word16 where 
    getEndian = getWord16le 
    putEndian = putWord16le 

などTHコードになるだろう

書き込みが簡単、おそらく少し。