は、どのように私は導出を実行します。インスタンスのカテゴリ（ムーアAB - >ムーアのBC）

Question

私はムーアオートマトンの変圧器のためのCategoryインスタンス、導出しようとしています：

data Moore a b = Moore b (a -> Moore a b) 
type MooreT a b c = (Moore a b -> Moore a c) 

問題はあるが、MooreTが持っています3つのパラメータがありますが、Categoryは2つしかありませんでした。私は書き込みを試みました：instance Category (MooreT a)、しかし私は動作しませんでした。

パラメータaは、実際にはidと(.)の定義は関係ありません。例：

id :: MooreT a b b 
id x = x 

このようなインスタンスを定義する方法はありますか。または、特定のタイプaのMooreTを定義する必要がありますか？例えば、type IntMooreT a b = MooreT Int a b？

私はまだハスケルに新しいので、これはばかな質問であればごめんなさい。

Answer 1

MooreT aはのサブタイプ(->)の同義語です。 (->)にはすでにCategoryのインスタンスがあるため、MooreT aもあります。

ghciMooreTが既に.で構成されているかどうかを確認できます。 、MooreT値カップルはダミー組成物は

Control.Category Prelude> :t g . f 
g . f :: Moore A B -> Moore A D 

を動作することを fと g

Control.Category Prelude> data A = A 
Control.Category Prelude> data B = B 
Control.Category Prelude> data C = C 
Control.Category Prelude> data D = D 
Control.Category Prelude> f = undefined :: MooreT A B C 
Control.Category Prelude> :t f 
f :: MooreT A B C 
Control.Category Prelude> g = undefined :: MooreT A C D 

チェックを行い、我々は

Prelude> data Moore a b = Moore b (a -> Moore a b) 
Prelude> type MooreT a b c = (Moore a b -> Moore a c) 
Prelude> :t (.) 
(.) :: (b -> c) -> (a -> b) -> a -> c 
Prelude> import Control.Category 
Prelude Control.Category> import Prelude hiding ((.), id) 
Control.Category Prelude> :t (.) 
(.) :: Category cat => cat b c -> cat a b -> cat a c 

を輸入し、右.を持っていることを確認し、あなたの定義とCategoryを輸入して起動します