[güvenli] işaretleyici ghci'de ne anlama geliyor?

Question

Prelude Data.Void> :info Void 
data Void  -- Defined in `Data.Void' 
instance [safe] Eq Void -- Defined in `Data.Void' 
instance [safe] Ord Void -- Defined in `Data.Void' 
instance [safe] Read Void -- Defined in `Data.Void' 
instance [safe] Show Void -- Defined in `Data.Void' 

[Güvenli] ne anlama geliyor?

Answer 1

Sadece veri türü, güvenli uzantı kullanılarak tanımlanan bir modülde tanımlandığı anlamına gelir. Uzatma in the user guide ayrıntılarını bulabilirsiniz. ghci bunu deneyerek sonra

{-#LANGUAGE Safe#-} 

data Test = Test deriving (Eq, Show) 

Ve:

Aslında, Safe uzantısını kullanan bir modül tanımlayarak kendinizi test edebilirsiniz

λ> :i Test 
data Test = Test  
instance [safe] Eq Test 
instance [safe] Show Test 

Ama şimdiki ghc unutmayın (7.10.2), güvenli uzantı, this ghc bug nedeniyle güven garantisinden yararlanamaz.