Làm thế nào tôi có thể xác định một cá thể cho một ứng dụng kiểu cụ thể trong Haskell 98?

Question

tôi nhận thấy rằng các bộ kiểm tra cho Data.Set chỉ thực sự định nghĩa Arbitrary Set a hợp lý cho a ~ Int, nhưng để tránh GHC đặc biệt ~ nó sử dụng

instance Enum a => Arbitrary (Set a) 

Làm thế nào tôi có thể chắc chắn rằng chỉ dụ Arbitrary (Set Int) được sử dụng mà không cần bất kỳ phần mở rộng GHC ? Trong GHC chỉ mã, tôi muốn sử dụng một trong hai FlexibleInstances hoặc GADTs và sau đó một trong hai

instance Arbitrary (Set Int) 

hoặc

instance a ~ Int => Arbitrary (Set a) 

Answer 1

Điều này có thể sử dụng một ý tưởng tôi nghĩ đầu tiên tôi gặp trong một bài báo của Oleg Kiselyov, và có phần dưới là Control.Lens.Equality.

import Data.Functor.Identity 

class IsInt a where 
    fromIntF :: f Int -> f a 

instance IsInt Int where 
    fromIntF fx = fx 

toIntF :: IsInt a => g a -> g Int 
toIntF = unf . fromIntF . F $ id 

newtype F g a b = F {unf :: g b -> a} 

fromInt :: IsInt a => Int -> a 
fromInt = runIdentity . fromIntF . Identity 

toInt :: IsInt a => a -> Int 
toInt = runIdentity . toIntF . Identity 

Bây giờ tôi có thể sử dụng

instance IsInt a => Arbitrary (Set a) 

và tự tin rằng tôi thực sự đối phó với Int. Để thuận tiện, tôi có thể hạn chế lớp IsInt với bất kỳ lớp học tôi cần trong đó Int là một ví dụ:

class (Show a, Read a, Integral a, Arbitrary a) => IsInt a where ...