Haskell typeclass階層の問題

Question

私は、型のクラスを含むシナリオを持っていますが、私はそれを解決する方法についてはあまりよく分かりません。

私は私のコードで

class Event a where 
    timestamp :: a -> UTCTime 
    rawData :: a -> ByteString 

class Something a where 
    something :: a -> SomethingElse 

を持って、私はイベントや何かの両方を実装するオブジェクトを作成したいです。しかし、場合によっては、SomethingElseオブジェクトを構築するためにrawDataへの呼び出しからの戻りが必要になることがあります。 Xを変換呼び出すことができること

convert :: (Event a, Event b, Something b) => a -> b 

のような機能を構築することができるように、これらの型クラスを構造化することがあった場合、私は思っていた::（何かのインスタンス）に変換するためには、どのようにバイナリ取得のようなビット使用されている。

私はこれがかなり曖昧な記述であることを認識していますが、他に何か追加できるかどうか教えてください。型クラスで

おかげ

Answer 1

あなたはタイプA、タイプクラスのイベントを実施していることを確認する必要があるもの、それ故に何かの定義は次のようになります。

class Event a => Something a where 
    something :: a -> SomethingElse