nasıl Haskell 98 belirli bir tip uygulama için bir örneğini tanımlayabiliriz?

Question

Ben Nasıl emin sadece Arbitrary (Set Int) örneği herhangi GHC uzantıları gerek kalmadan kullanılır yapabilirsiniz Data.Set için test paketi sadece gerçekten a ~ Int için makul Arbitrary Set a tanımlar fakat GHC özel ~ o

instance Enum a => Arbitrary (Set a) 

kullanır önlemek için fark ? GHC okunur kodunda, Kullanayım ya FlexibleInstances veya GADTs ve sonra ya

instance Arbitrary (Set Int) 

veya

instance a ~ Int => Arbitrary (Set a) 

Answer 1

Bu benim ilk Oleg KISELYOV bir yazıda karşılaşılan düşünüyorum bir fikir kullanmak mümkün; ve hangisi Control.Lens.Equality'un altındadır.

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 

Şimdi

instance IsInt a => Arbitrary (Set a) 

kullanmak ve gerçekten Int uğraşıyorum emin olabiliriz. Bu size sistemin dışında istediğiniz garantisi verir ama değil içindeki: Bu kayda değer olabilir

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