2
可以說我有約束操縱包
class C1 t
和
class C2 t
注意到這裏：
C1 :: * -> Constraint
C2 :: * -> Constraint
我可以讓
class (C1 t, C2 t) => C3 t
instance (C1 t, C2 t) => C3 t
因此，我們有
C3 :: * -> Constraint
指出，C3 t只有當有效C1 t和C2 t是。
此外，如果我們加了一堆擴展：
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeOperators #-}
我們甚至可以做更多的事情一般是這樣的：
class (c1 a, c2 a) => And c1 c2 a
instance (c1 a, c2 a) => And c1 c2 a
type C3 = C1 `And` C2
而這按預期工作。
這不是限制，我希望能夠做的唯一的組合，例如，我想能夠約束結合兩個變量，說And2：
class (c1 a b, c2 a b) => And2 c1 c2 a b
instance (c1 a b, c2 a b) => And2 c1 c2 a b
或添加額外約束第一個變量：
class (c1 a, c2 a b) => AddFirst c1 c2 a b
instance (c1 a, c2 a b) => AddFirst c1 c2 a b
當然有很多可能性。
現在不想推倒重來，我一直在尋找的constraints包，從中我引述：做類型類分爲不同的類型了一種新的，約束的
ConstraintKinds。
Eq :: * -> Constraint
Ord :: * -> Constraint
Monad :: (* -> *) -> Constraint
隨着ConstraintKinds我們可以投入代碼有很多工具 沒有這樣尷尬的變通辦法處理這些新類型。
這看起來好像符合法案，但我有點迷失在文檔中。
constraints包是否符合我在本文中列出的內容？如果是這樣，你能舉一個例子嗎？如果沒有，是否還有其他軟件包用於約束處理，或者我應該自己將其填充到庫中？